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.
Titolo: | Can Inconsistent Reasoning Be Complete? |
Autori: | |
Data di pubblicazione: | 2007 |
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. |
Handle: | http://hdl.handle.net/11566/49168 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.