Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs.
Franz BaaderFrancesco KriegelPublished in: KR (2022)
Keyphrases
- description logics
- dl lite
- mathcal shiq
- expressive description logics
- knowledge base
- knowledge representation
- tight complexity bounds
- reasoning tasks
- semantic web
- knowledge representation languages
- dynamic programming
- highly expressive
- terminological reasoning
- optimal solution
- np hard
- model theoretic
- ontology languages
- owl dl
- reasoning problems
- query answering
- integrity constraints
- worst case
- reasoning systems
- query rewriting
- owl ontologies
- conjunctive queries
- exptime complete
- metadata
- inverse roles
- function free horn
- expressive power
- artificial intelligence