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 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
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License