CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishAs 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:
Copyright © 2020