Paraconsistent Reasoning for the Semantic Web

(2005): Paraconsistent Reasoning for the Semantic Web

Due 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 reasoning.

How to find us
Salzburg Research Forschungsgesellschaft
Jakob Haringer Straße 5/3
5020 Salzburg, Austria