Matching with Respect to General Concept Inclusions in the Description Logic EL.
Franz BaaderBarbara MorawskaPublished in: Description Logics (2014)
Keyphrases
- description logics
- formal logic
- concept descriptions
- number restrictions
- logical implication
- knowledge base
- dl lite
- special case
- computational properties
- knowledge representation
- refinement operators
- reasoning tasks
- semantic mapping
- formal ontologies
- reasoning systems
- description logic alc
- transitive closure of roles
- machine learning
- owl dl
- model theoretic
- ontology languages
- semantic web
- computing least common subsumers
- reasoning problems
- owl ontologies