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