Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2007+aswc2007/tracks/posters-demos/papers/389> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- 389 creator aldo-franco-dragoni.
- 389 creator mauro-mazzieri.
- 389 type InProceedings.
- 389 label "Can Inconsistent Reasoning Be Complete?".
- 389 sameAs 389.
- 389 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.".
- 389 hasAuthorList authorList.
- 389 isPartOf proceedings.
- 389 title "Can Inconsistent Reasoning Be Complete?".