Quasi-Classical Semantics for Expressive Description Logics.
Xiaowang ZhangGuilin QiYue MaZuoquan LinPublished in: Description Logics (2009)
Keyphrases
- expressive description logics
- owl dl
- description logics
- reasoning tasks
- formal semantics
- reasoning systems
- model theoretic
- regular path queries
- exptime complete
- computational properties
- semantic web
- domain ontology
- semantic information
- ontology languages
- expressive power
- normal form
- knowledge base
- reasoning problems
- domain specific
- knowledge management