Decidability of Expressive Description Logics with Role Compositions.
Fabio GrandiPublished in: Description Logics (2002)
Keyphrases
- expressive description logics
- description logics
- exptime complete
- knowledge base
- computational properties
- knowledge representation
- owl dl
- pattern matching
- reasoning tasks
- reasoning systems
- ontology languages
- reasoning problems
- np complete
- semantic web
- query answering
- decision procedures
- query processing
- artificial intelligence