AGM Revision in Description Logics under Fixed-Domain Semantics
From International Center for Computational Logic
AGM Revision in Description Logics under Fixed-Domain Semantics
Faiq Miftakhul FalakhFaiq Miftakhul Falakh, Sebastian RudolphSebastian Rudolph
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
- KurzfassungAbstract
While semantic approaches for revising knowledge bases are fine-grained and independent of the syntactical forms, they are unable to be straightforwardly applied to description logics (DLs) under standard semantics. In this paper, we present a characterization of revision for (finite) knowledge bases in DLs under the fixed-domain semantics, where the domain is fixed and finite. 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 in 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. - Weitere Informationen unter:Further Information: Link
- Projekt:Project: ScaDS.AI
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{FR2022,
author = {Faiq Miftakhul Falakh and Sebastian Rudolph},
title = {AGM Revision in Description Logics under Fixed-Domain Semantics},
editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and
Marie-Laure Mugnier},
booktitle = {Proceedings of the 35th International Workshop on Description
Logics (DL 2022)},
publisher = {CEUR Workshop Proceedings},
year = {2022},
month = {August}
}