Web Rules Need Two Kinds of Negation [chapter]

Gerd Wagner
2003 Lecture Notes in Computer Science  
In natural language, and in some knowledge representation systems, such as extended logic programs, there are two kinds of negation: a weak negation expressing non-truth, and a strong negation expressing explicit falsity. In this paper I argue that, like in several basic computational languages, such as OCL and SQL, two kinds of negation are also needed in the Semantic Web.
doi:10.1007/978-3-540-24572-8_3 fatcat:nsernefakvdwlknmx7dkbhm7de