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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.