On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Vitaliy L. KhizderDavid TomanGrant E. WeddellPublished in: ICDT (2001)
Keyphrases
- inverse roles
- description logics
- exptime complete
- conjunctive query answering
- number restrictions
- knowledge base
- knowledge representation
- combined complexity
- reasoning tasks
- knowledge representation formalisms
- computational properties
- knowledge representation and reasoning
- reasoning problems
- concept descriptions
- decision problems
- computing least common subsumers
- computational complexity
- owl dl
- reasoning services
- incomplete information
- semantic web
- worst case
- ontology languages