An ontology is a representation in a logical language of a domain. An ontology can change; a changing ontology can became inconsistent, thus preventing its further use for machine reasoning. We analyze what an ontology is from a computer science perspective, why it can change, and how to manage inconsistency in changing ontologies. The belief revision approach is not the only possible approach to maintain consistency during evolution: an ontology reengineering can rationally prefer to discard incoming information, or to refine the nature of conflicting implication axioms to derive meaningful answer from inconsistent ontology using paraconsistent logic.
ONTOLOGY EVOLUTION: HOW AN ONTOLOGY CAN CHANGE, AND HOW TO MANAGE INCONSISTENCY / Mazzieri, Mauro; Dragoni, Aldo Franco. - STAMPA. - (2012), pp. 147-160. (Intervento presentato al convegno Fifth National Conference of the Italian Systems Society tenutosi a Marche Polytechnic University, Italy nel 14 – 16 October 2010) [10.1142/9789814383332_0010].
ONTOLOGY EVOLUTION: HOW AN ONTOLOGY CAN CHANGE, AND HOW TO MANAGE INCONSISTENCY
MAZZIERI, MAURO;DRAGONI, Aldo Franco
2012-01-01
Abstract
An ontology is a representation in a logical language of a domain. An ontology can change; a changing ontology can became inconsistent, thus preventing its further use for machine reasoning. We analyze what an ontology is from a computer science perspective, why it can change, and how to manage inconsistency in changing ontologies. The belief revision approach is not the only possible approach to maintain consistency during evolution: an ontology reengineering can rationally prefer to discard incoming information, or to refine the nature of conflicting implication axioms to derive meaningful answer from inconsistent ontology using paraconsistent logic.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
