Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal

Bruno Berstel-Da Silva, Amina Chniti. Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal. In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Volume 7994 of Lecture Notes in Computer Science, pages 198-203, Springer, 2013. [doi]

Abstract

Abstract is missing.