Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.
Nicolas MatentzogluUli SattlerBijan ParsiaPublished in: Description Logics (2015)
Keyphrases
- description logics
- knowledge base
- snomed ct
- reasoning tasks
- computational properties
- ontology languages
- reasoning problems
- knowledge representation
- concept descriptions
- logical implication
- decision trees
- reasoning mechanism
- semantic web
- dl lite
- classification algorithm
- ontology reasoning
- model theoretic
- computational complexity
- owl dl
- refinement operators
- knowledge representation languages