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

Details
Bibtex

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}
}