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

  • Most Description Logics are based on a 2-variable fragment of First Order Logic
    • Classes (concepts) correspond to unary predicates
    • Properties correspond to binary predicates
  • Restrictions in general:
    • Quantifiers range over no more than 2 variables
    • Transitive properties are an exception to this rule
    • No function symbols (decidability!)
  • Most DLs are decidable and usually have decision procedures for key reasoning tasks
  • DLs have more efficient decision problems than First Order Logic
  • We later show the very basic DL ALC as example
    • More complex DLs work in the same basic way but have different expressivity

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.