Login / Signup
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.
Linh Anh Nguyen
Joanna Golinska-Pilarek
Published in:
Fundam. Informaticae (2014)
Keyphrases
</>
description logics
number restrictions
knowledge base
expressive description logics
inverse roles
semantic web
reasoning tasks
knowledge representation
computational properties
dl lite
reasoning systems
model theoretic
ontology languages
exptime complete
computational complexity
owl ontologies