Reasoning with Individuals for the Description Logic SHIQ

Details Reasoning with Individuals for the Description Logic SHIQ Reasoning with Individuals for the Description Logic SHIQ

2000-05-11

arxiv.org/abs/cs/0005017v1

Computer Science

Logic in Computer Science

To appear at CADE-17

Scientific paper

While 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.

Affiliated with

Also associated with

No associations

Rating

Reasoning with Individuals for the Description Logic SHIQ does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reasoning with Individuals for the Description Logic SHIQ, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning with Individuals for the Description Logic SHIQ will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-392673