Conservative Extensions in Horn Description Logics with Inverse Roles.
Jean Christoph JungCarsten LutzMauricio MartelThomas SchneiderPublished in: J. Artif. Intell. Res. (2020)
Keyphrases
- description logics
- inverse roles
- transitive roles
- number restrictions
- exptime complete
- query answering
- conjunctive query answering
- knowledge base
- np hard
- double exponential
- reasoning tasks
- function free horn
- computational properties
- knowledge representation
- dl lite
- data complexity
- reasoning systems
- reasoning problems
- semantic web
- ontology languages
- model theoretic
- default logic
- artificial intelligence
- machine learning
- pspace complete
- propositional logic
- data model