Web Rules Need Two Kinds of Negation
Web Rules Need Two Kinds of Negation
复制标题
DOI：
10.1007/978-3-540-24572-8_3
复制
发表时间：
2003-12
影响因子：
3.3
通讯作者：
Gerd Wagner
中科院分区：
文献类型：
--
作者：
Gerd Wagner
在自然语言和某些知识表示系统（如扩展逻辑程序）中，存在两种否定：表示非真的弱否定和表示显式假的强否定。在本文中，我认为，像在几个基本的计算语言，如OCL和SQL，两种否定也需要一个Web规则语言。
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 for a Web rule language.