Towards Efficient Reasoning for Description Logics with Inverse Roles.
Yu DingVolker HaarslevPublished in: Description Logics (2005)
Keyphrases
- description logics
- inverse roles
- number restrictions
- reasoning tasks
- transitive roles
- knowledge base
- reasoning problems
- reasoning systems
- computational properties
- exptime complete
- knowledge representation
- knowledge representation and reasoning
- conjunctive query answering
- reasoning services
- owl dl
- computing least common subsumers
- dl lite
- fuzzy description logics
- ontology languages
- expressive power
- data complexity
- expert systems
- knowledge representation languages
- semantic web
- logic programming