Sciweavers

619 search results - page 1 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
SEMWEB
2005
Springer
13 years 10 months ago
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 prop...
Sebastian Schaffert, François Bry, Philippe...
FOIKS
2010
Springer
13 years 11 months ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
SLOGICA
2011
12 years 11 months ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky
ESWS
2007
Springer
13 years 10 months ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin
LANMR
2007
13 years 6 months ago
GLukG logic and its application for non-monotonic reasoning
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
Mauricio Osorio