Semantic Web Dog Food

Presented at: 6th International and 2nd Asian Semantic Web Conference (ISWC2007+ASWC2007)

by Mauro Mazzieri, Aldo Franco Dragoni

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? was presented at this event.

Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/posters-demos/papers/389
Same as: http://revyu.com/things/iswc-aswc-2007-posters-demos-paper-389-can-inconsistent

Explore this resource elsewhere:

• on Snorql
• on VisiNav
• on Sindice