Decidability of Circumscribed Description Logics Revisited.
Piero A. BonattiMarco FaellaCarsten LutzLuigi SauroFrank WolterPublished in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- conjunctive query answering
- reasoning tasks
- semantic web
- knowledge representation formalisms
- dl lite
- computing least common subsumers
- reasoning systems
- exptime complete
- computational properties
- reasoning services
- inverse roles
- knowledge representation and reasoning
- model theoretic
- knowledge representation systems
- number restrictions
- artificial intelligence
- reasoning problems
- owl dl
- databases