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.

The Description Logic Family

  • Description Logics are actually a family of related logics
    • Difference in expressivity and features, as well as complexity of inference
  • Description Logics follow a naming schema according to their features
    • ALC = Attributive Language with Complements
    • S often used for ALC extended with transitive roles
  • Additional letters indicate other extensions, e.g.:
    • H for role hierarchy
    • O for nominals, singleton classes
    • I for inverse roles (e.g., isChildOf ≡ hasChild–)
    • N for number restrictions
    • Q for qualified number restrictions
    • F for functional properties
    • R for limited complex role inclusion axioms, role disjointness
    • (D) for datatype support

Speaker notes:

Content Tools


There are currently no sources for this slide.