Inproceedings3344: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Faiq Miftakhul Falakh (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Faiq Miftakhul |ErsterAutorNachname=Falakh |FurtherAuthors=Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Ti…“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=AGM Revision in Description Logics under Fixed-Domain Semantics | |Title=AGM Revision in Description Logics under Fixed-Domain Semantics | ||
|To appear= | |To appear=0 | ||
|Year=2022 | |Year=2022 | ||
|Month=August | |Month=August | ||
| Zeile 16: | Zeile 16: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
|Download=DL22-Falakh-Rudolph.pdf | |Download=DL22-Falakh-Rudolph-camera-ready.pdf | ||
|Slides=DL-2022-MiftakhulRudolph.pdf | |||
|Link=http://star.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-3263/paper-8.pdf | |||
|Projekt=ScaDS.AI | |Projekt=ScaDS.AI | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
}} | }} | ||
Aktuelle Version vom 27. Mai 2023, 23:44 Uhr
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}
}
