| ||||
| ||||
![]() Title:AGM Revision in Description Logics Under Fixed-Domain Semantics Conference:DL 2022 Tags:Belief revision, Description Logics and Fixed-domain semantics Abstract: While semantic approaches for revising knowledge bases are fine-grained and independent of the syntactical forms, they are unable to be straightforwardly applied in the standard semantic DLs. In this paper, we present a characterization of KB revision in DL under the fixed-domain semantics, where the domain is fixed and finite to accommodate the use of knowledge bases adapting a closed-world assumption. We also introduce an instantiation of a model-based revision operator which satisfies all standard postulates using the notion of distance between interpretations. The model set of the revision result is shown to be expressible into a KB in our setting. In addition, by weakening the KB based on certain domain elements, an individual-based revision operator is provided as an alternative approach. AGM Revision in Description Logics Under Fixed-Domain Semantics ![]() AGM Revision in Description Logics Under Fixed-Domain Semantics | ||||
Copyright © 2002 – 2025 EasyChair |