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 - Semantics

  • The semantics of DL are based on standard First Order Model theory

  • A translation is usually very straightforward, according to the following correspondences (for ALC):

    • A description is translated to a first-order formula with one free variable

    • An individual assertion is translated to a ground atomic formula

    • An axiom is translated to an implication, closed under universal implication

  • More complex DLs can be handled in a similar way

Speaker notes:

Content Tools


There are currently no sources for this slide.