A tableau algorithm for reasoning about concepts and similarity

Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) A tableau algorithm for reasoning about concepts and similarity. In: Mayer, M.C. and Pirri, F. (eds.) Tableaux 2003: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science 2796. Springer, pp. 134-149. ISBN 9783540407874.

Full text not available from this repository.

Official URL: https://doi.org/10.1007/978-3-540-45206-5\_12

Abstract

We present a tableau-based decision procedure for the fusion (independent join) of the expressive description logic ALCQO and the logic MS for reasoning about distances and similarities. The resulting ‘hybrid’ logic allows both precise and approximate representation of and reasoning about concepts. The tableau algorithm combines the existing tableaux for the components and shows that the tableau technique can be fruitfully applied to fusions of logics with nominals—the case in which no general decidability transfer results for fusions are available.

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	01 Nov 2021 14:35
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46561

Statistics

Archive Staff Only (login required)

Edit/View Item