The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics.
Robert DionneEric MaysFrank J. OlesPublished in: IJCAI (1993)
Keyphrases
- description logics
- model theoretic
- knowledge base
- reasoning tasks
- knowledge representation
- reasoning mechanism
- computational properties
- ontology languages
- reasoning problems
- dl lite
- artificial intelligence
- concept descriptions
- snomed ct
- autoepistemic logic
- computational complexity
- owl dl
- machine learning
- refinement operators