Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Description Logic Knowledge Bases

  • Typically a DL knowledge base (KB) consists of two components
    • Tbox (terminology): A set of inclusion/equivalence axioms denoting the conceptual schema/vocabulary of a domain
      • Bear ⊑ Animal ⊓ Large
      • transitive(hasAncestor)
      • hasChild ≡ hasParent

    • Abox (assertions): Axioms, which describe concrete instance data and holds assertions about individuals
      • hasAncestor(Susan, Granny)
      • Bear(Winni Puh)

  • From a theoretical point of view this division is arbitrary but it is a useful simplification


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.