Reasoning with Individuals for the Description Logic SHIQ

Simple item page
dc.creatorHorrock, Ian
dc.creatorSattler, Ulrike
dc.creatorTobies, Stephan
dc.date2000-05-11
dc.date.accessioned2026-07-07T03:16:13Z
dc.date.available2026-07-07T03:16:13Z
dc.descriptionWhile there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this paper we present an algorithm for combined Tbox and Abox reasoning in the SHIQ description logic. This algorithm is of particular interest as it can be used to decide the problem of (database) conjunctive query containment w.r.t. a schema. Moreover, the realisation of an efficient implementation should be relatively straightforward as it can be based on an existing highly optimised implementation of the Tbox algorithm in the FaCT system.
dc.descriptionTo appear at CADE-17
dc.identifierhttps://arxiv.org/abs/cs/0005017
dc.identifierhttp://arxiv.org/abs/cs/0005017
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30268
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1, I.2.3, I.2.4
dc.titleReasoning with Individuals for the Description Logic SHIQ
dc.typetext

Files

Collections

arXiv