UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description.
Franz BaaderJulian MendezBarbara MorawskaPublished in: IJCAR (2012)
Keyphrases
- description logics
- mathcal alc
- knowledge representation
- dl lite
- knowledge base
- reasoning tasks
- computational properties
- semantic web
- transitive closure of roles
- theorem proving
- ontology languages
- refinement operators
- computing least common subsumers
- logical implication
- reasoning mechanism
- theorem prover
- owl ontologies
- reasoning problems
- number restrictions
- dl programs
- ontology reasoning
- model theoretic