Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.
David Tena CucalaBernardo Cuenca GrauIan HorrocksPublished in: Description Logics (2017)
Keyphrases
- description logics
- inverse roles
- number restrictions
- transitive roles
- exptime complete
- conjunctive query answering
- knowledge base
- knowledge representation
- expressive description logics
- reasoning tasks
- dl lite
- semantic web
- computational properties
- reasoning problems
- reasoning systems
- ontology languages
- pspace complete
- model theoretic
- query processing
- computational complexity
- artificial intelligence