An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ.
Yevgeny KazakovPublished in: IJCAR (2010)
Keyphrases
- description logics
- knowledge base
- transitive closure of roles
- number restrictions
- computational properties
- knowledge representation
- expressive description logics
- reasoning tasks
- reasoning systems
- dl lite
- medical terminology
- semantic web
- reasoning problems
- exptime complete
- owl dl
- np complete
- knowledge management
- logical implication
- model theoretic
- machine learning