Position Paper: Paraconsistent Reasoning for the Semantic Web

ISWC 2005 : 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005 ; position paperInternational audienceDue to the Semantic Web’s decentralised and distributed management, contradictory information is and will remain frequent. However, classical reasoning systems fail to work properly in the presence of inconsistencies, because they implicitly or explicitly assume the ex contradictione quod libet (ECQL) principle stating that anything follows from contradictory premises. Paraconsistent reasoning challenges this ECQL principle. Stressing practical cases of reasoning on the Web, this position paper first argues that paraconsistent reasoning is likely to become a key issue for successful deployment of the Semantic Web. Then, it briefly introduces the main approaches to date to paraconsistent reasonin