On the Complexity of Finding Good Proofs for Description Logic Entailments.
Christian AlrabbaaFranz BaaderStefan BorgwardtPatrick KoopmannAlisa KovtunovaPublished in: Description Logics (2020)
Keyphrases
- description logics
- exptime complete
- reasoning problems
- computational properties
- knowledge base
- reasoning tasks
- computing least common subsumers
- dl lite
- semantic web
- snomed ct
- knowledge representation
- reasoning mechanism
- decision problems
- theorem proving
- concept descriptions
- relational databases
- computational complexity
- model theoretic
- semantic web ontologies