Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference

Ludwig, M and Konev, B ORCID: 0000-0002-6507-0494 (2014) Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference. In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning.

Text LK14.pdf - Author Accepted Manuscript Download (543kB)

Abstract

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem for real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm.

Item Type:	Conference or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	01 Feb 2017 10:51
Last Modified:	19 Jan 2023 07:19
Related URLs:	Author
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3005485