Free Description Logic for Ontologists.
Fabian NeuhausOliver KutzGuendalina RighettiPublished in: JOWO (2020)
Keyphrases
- description logics
- knowledge base
- computational properties
- knowledge representation
- reasoning tasks
- snomed ct
- knowledge representation and reasoning
- dl lite
- computing least common subsumers
- semantic mapping
- reasoning problems
- ontology languages
- concept descriptions
- semantic web
- owl dl
- model theoretic
- conceptual modeling
- ontology reasoning
- query language
- database systems