An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.
Linh Anh NguyenJoanna Golinska-PilarekPublished in: CS&P (2013)
Keyphrases
- description logics
- number restrictions
- knowledge base
- inverse roles
- knowledge representation
- computational properties
- expressive description logics
- reasoning tasks
- semantic web
- dl lite
- exptime complete
- reasoning systems
- reasoning problems
- ontology languages
- conjunctive query answering
- model theoretic
- transitive roles
- owl dl
- computational complexity