%0 Journal Article %1 Flouris2005 %A Flouris, Giorgos %A Plexousakis, Dimitris %A Antoniou, Grigoris %D 2005 %K kiwi %P 8 %T Updating Description Logics using the AGM Theory %X We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.

@article{Flouris2005, abstract = {We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Flouris, Giorgos and Plexousakis, Dimitris and Antoniou, Grigoris}, biburl = {https://www.bibsonomy.org/bibtex/287e524c510660bc21365b150aa47b2ba/fraktalek}, citeulike-article-id = {3508800}, interhash = {471b333f8d931ebc2d349dd2200f888f}, intrahash = {87e524c510660bc21365b150aa47b2ba}, keywords = {kiwi}, pages = 8, posted-at = {2008-11-13 14:13:56}, priority = {2}, timestamp = {2008-11-14T13:33:39.000+0100}, title = {Updating Description Logics using the AGM Theory}, year = 2005 }