EL Embeddings: Geometric construction of models for the Description Logic EL ++.
Maxat KulmanovWang Liu-WeiYuan YanRobert HoehndorfPublished in: CoRR (2019)
Keyphrases
- description logics
- reasoning tasks
- knowledge base
- dl lite
- knowledge representation
- reasoning systems
- computational properties
- model theoretic
- number restrictions
- reasoning problems
- semantic web
- reasoning mechanism
- logical implication
- dl programs
- ontology reasoning
- accurate models
- machine learning
- owl ontologies
- formal semantics
- concept descriptions
- snomed ct
- computing least common subsumers