The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
Víctor Gutiérrez-BasultoJean Christoph JungThomas SchneiderPublished in: Description Logics (2015)
Keyphrases
- description logics
- exptime complete
- knowledge base
- knowledge representation
- dl lite
- reasoning tasks
- computational properties
- knowledge representation and reasoning
- computational complexity
- knowledge representation formalisms
- concept descriptions
- reasoning problems
- model theoretic
- reasoning systems
- ontology languages
- worst case
- temporal reasoning
- temporal information
- semantic web
- reasoning services
- temporal constraints
- decision problems
- special case
- number restrictions
- computing least common subsumers