Reasoning with Individuals for the Description Logic SHIQ

From International Center for Computational Logic

Toggle side column

Reasoning with Individuals for the Description Logic SHIQ

Ian HorrocksIan Horrocks,  Ulrike SattlerUlrike Sattler,  Stephan TobiesStephan Tobies
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ
In David MacAllester, eds., Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Lecture Notes in Computer Science, 2000. Springer
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ HorrSattTob-CADE-2000,
  address = {Germany},
  author = {I. {Horrocks} and U. {Sattler} and S. {Tobies}},
  booktitle = {Proceedings of the 17th International Conference on Automated Deduction {(CADE-17)}},
  editor = {David {MacAllester}},
  number = {1831},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Reasoning with Individuals for the Description Logic SHIQ},
  year = {2000},
}