Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
Christian AlrabbaaFranz BaaderStefan BorgwardtPatrick KoopmannAlisa KovtunovaPublished in: CADE (2021)
Keyphrases
- description logics
- quality measures
- knowledge base
- dl lite
- reasoning tasks
- knowledge representation
- computational properties
- semantic web
- reasoning problems
- ontology reasoning
- concept descriptions
- snomed ct
- computing least common subsumers
- ontology languages
- reasoning mechanism
- logical implication
- reasoning services
- owl ontologies
- information sources
- owl dl