Model change for description logic concepts

Ozaki, Ana and Santos Ribeiro Santos, Jandson 2026. Model change for description logic concepts. Presented at: The 40th Annual AAAI Conference on Artificial Intelligence, Singapore, 20 - 27 January 2026. Published in: Koenig, Sven, Jenkins, Chad and Taylor, Matthew E. eds. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, pp. 19321-19328. 10.1609/aaai.v40i23.39008

PDF - Accepted Post-Print Version Download (268kB)

Abstract

We consider the problem of modifying a description logic concept in light of models represented as pointed interpretations. We call this setting model change, and distinguish three main kinds of changes: eviction, which consists of only removing models; reception, which incorporates models; and revision, which combines removal with incorporation of models in a single operation. We introduce a formal notion of revision and argue that it does not reduce to a simple combination of eviction and reception, contrary to intuition. We provide positive and negative results on the compatibility of eviction and reception for EL-bottom and ALC description logic concepts and on the compatibility of revision for ALC concepts.

Item Type:	Conference or Workshop Item - published (Paper)
Date Type:	Published Online
Status:	Published
Schools:	Schools > Computer Science & Informatics
Publisher:	AAAI Press
ISSN:	2159-5399
Date of First Compliant Deposit:	6 February 2026
Last Modified:	14 Apr 2026 15:30
URI:	https://orca.cardiff.ac.uk/id/eprint/184377

Actions (repository staff only)

Edit Item