DL Knowledge Base A TBox is a set of schema axioms (sentences), e.g.: { Dog Animal, Dog Woman hasFather hasBrother hasUncle, feed love feed } – i.e., a background theory An ABox is a set of data axioms (ground facts), e.g.: {d1:Dog, w1:Woman, c1:Animal, (w1,d1):feed, (d1,c1):love } An NBox (Negation as Failure Box) is a set of complete concepts and properties e.g.: { Dog, Animal }
{}