On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Vitaliy L. KhizderDavid TomanGrant E. WeddellPublished in: Description Logics (2000)
Keyphrases
- description logics
- exptime complete
- knowledge base
- knowledge representation
- conjunctive query answering
- reasoning tasks
- dl lite
- computational properties
- semantic web
- knowledge representation and reasoning
- knowledge representation formalisms
- computing least common subsumers
- reasoning problems
- owl dl
- inverse roles
- worst case
- machine learning
- complexity bounds
- ontology languages
- combined complexity
- conp complete
- constraint satisfaction problems
- reasoning services
- knowledge representation languages
- constraint networks