News
Paper accepted for NMR 2023
[30.07.2023]The paper “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” by Ricardo Guimaraes (University of Bergen), Ana Ozaki (University of Bergen) and Jandson S Ribeiro has been accepted at NMR 23.
Abstract of the paper
"Eviction and Reception for Description Logic Ontologies" (Preliminary Results)
by 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.