Finding Small Proofs for Description Logic Entailments: Theory and Practice.
Christian AlrabbaaFranz BaaderStefan BorgwardtPatrick KoopmannAlisa KovtunovaPublished in: LPAR (2020)
Keyphrases
- description logics
- computational properties
- knowledge base
- knowledge representation
- model theoretic
- reasoning tasks
- computing least common subsumers
- snomed ct
- reasoning problems
- reasoning mechanism
- refinement operators
- semantic web
- dl lite
- semantic mapping
- knowledge representation languages
- logical implication
- inductive learning
- ontology mappings
- ontology languages
- theorem proving
- concept descriptions
- commonsense reasoning
- ontology reasoning