Aktuelles
Ein Papier akzeptiert für die NMR 2023
[30.07.2023]Das Papier “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 NMR 2023 akzeptiert.
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.
