Practical Reasoning with Nominals in the EL Family of Description Logics.
Yevgeny KazakovMarkus KroetzschFrantisek SimancikPublished in: KR (2012)
Keyphrases
- description logics
- practical reasoning
- expressive description logics
- knowledge base
- reasoning tasks
- dl lite
- knowledge representation
- computational properties
- inverse roles
- number restrictions
- reasoning systems
- special case
- concept descriptions
- semantic web
- reasoning problems
- argumentation frameworks
- computing least common subsumers
- exptime complete
- model theoretic
- ontology languages