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