Aktuelles
Erweiterte Zusammenfassung akzeptiert für die Präsentation bei der DL 2023
[02.08.2023]Die erweiterte Zusammenfassung “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” von Ricardo Guimaraes (Universität von Bergen), Ana Ozaki (Universität von Bergen) und Jandson S Ribeiro wurde für die Präsentation bei der DL 2023 akzeptiert.
Inhalt
Inhalt des Papiers
"Eviction and Reception for Description Logic Ontologies" (Preliminary Results)
von Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro
Abstract: In this work, we consider the problem of modifying a knowledge base in the light of a (set of) models, while preserving the finite representation of the new knowledge base. We analyse the operation of removing models, called eviction, and the operation of adding models, called reception. Given that not all description logics (DLs) are eviction and reception compatible, we analyse natural restrictions of the general problem. In particular, we investigate eviction and reception in DL knowledge bases (ontologies), focusing on the very popular EL language and ALC extended with boolean operators over the axioms.
