As classical reasoning from inconsistent ontologies can't give meaningful answers to queries, it is necessary to either revise the ontology, discarding some axioms in order to restore consistency, or make use of a non-standard notion of logical entailment that allows to give meaningful answers from inconsistent premises. We propose a complete procedure to reason with inconsistent ontologies and show how ontology revision can be obtained from inconsistency reasoning.
Can Inconsistent Reasoning Be Complete? / Mazzieri, M; Dragoni, Aldo Franco. - (2007). (Intervento presentato al convegno International Semantic Web Conference (ISWC 2007) tenutosi a Busan, South Corea nel 11-15/11/2007).
Can Inconsistent Reasoning Be Complete?
DRAGONI, Aldo Franco
2007-01-01
Abstract
As classical reasoning from inconsistent ontologies can't give meaningful answers to queries, it is necessary to either revise the ontology, discarding some axioms in order to restore consistency, or make use of a non-standard notion of logical entailment that allows to give meaningful answers from inconsistent premises. We propose a complete procedure to reason with inconsistent ontologies and show how ontology revision can be obtained from inconsistency reasoning.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
