Conservative Extensions in Horn Description Logics with Inverse Roles.
Jean Christoph JungCarsten LutzMauricio MartelThomas SchneiderPublished in: CoRR (2020)
Keyphrases
- decision procedures
- description logics
- inverse roles
- transitive roles
- number restrictions
- conjunctive queries
- conjunctive query answering
- query answering
- exptime complete
- data complexity
- reasoning problems
- knowledge base
- np hard
- reasoning tasks
- knowledge representation
- function free horn
- computational properties
- double exponential
- dl lite
- special case
- reasoning systems
- semantic web
- combined complexity
- expressive power
- integrity constraints
- ontology languages
- np complete
- data integration
- answering queries
- default logic
- modal operators
- complexity bounds
- logic programming
- horn clauses