An Efficient Tableau Prover using Global Caching for the Description Logic ALC

Abstract

We report on our implementation of a tableau prover for the description logic ALC, which is based on the EXPTIME tableau algorithm using global caching for ALC that was developed jointly by us and Goré [10]. The prover, called TGC for “Tableaux with Global Caching”, checks satisfiability of a set of concepts w.r.t. a set of global assumptions by… (More)
DOI: 10.3233/FI-2009-0102

Topics

5 Figures and Tables

Cite this paper

@article{Nguyen2009AnET, title={An Efficient Tableau Prover using Global Caching for the Description Logic ALC}, author={Linh Anh Nguyen}, journal={Fundam. Inform.}, year={2009}, volume={93}, pages={273-288} }