%0 Conference Paper %1 iswc2007inconsistency %A Mazzieri, M. %A Dragoni, A. F. %B Poster at the Int. Semantic Web Conference (ISWC 2007) %C Busan, South Corea %D 2007 %K imported %T Can Inconsistent Reasoning Be Complete? %X 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.

@inproceedings{iswc2007inconsistency, 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.}, added-at = {2007-11-23T14:13:20.000+0100}, address = {Busan, South Corea}, author = {Mazzieri, M. and Dragoni, A. F.}, biburl = {https://www.bibsonomy.org/bibtex/2838abcadd8973e75fa7ec0883f6deb14/ramaz}, booktitle = {Poster at the Int. Semantic Web Conference (ISWC 2007)}, interhash = {e1fef5703eb279ef4afc44ebd937e506}, intrahash = {838abcadd8973e75fa7ec0883f6deb14}, keywords = {imported}, month = {Nov. 11-15}, owner = {mauro}, timestamp = {2007-11-23T14:13:36.000+0100}, title = {Can Inconsistent Reasoning Be Complete?}, year = 2007 }