System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.
Markus BenderBjörn PelzerClaudia SchonPublished in: CADE (2013)
Keyphrases
- description logics
- knowledge representation formalisms
- knowledge base
- knowledge representation
- computational properties
- reasoning tasks
- computing least common subsumers
- dl lite
- semantic web
- reasoning systems
- reasoning problems
- model theoretic
- concept descriptions
- snomed ct
- default logic
- ontology languages
- refinement operators
- machine learning
- computational complexity
- reasoning services