An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in $\mathcal{ALCQI}$ w.r.t. general axioms.
This paper is submitted in 2007

Keywords

Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/125804

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0703051
 http://arxiv.org/abs/cs/0703051

Collections

arXiv