AGM Revision in Description Logics under Fixed-Domain Semantics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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