以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  弱弱地问一下，怎么用描述逻辑定义同义词和反义词  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=87364)

--  作者：cqcookie
--  发布时间：10/29/2010 8:56:00 PM

--  弱弱地问一下，怎么用描述逻辑定义同义词和反义词
如概念A和概念B是同义词，概念C和概念D是反义词
怎么用描述逻辑来定义？


[此贴子已经被作者于2010-10-29 21:36:02编辑过]
--  作者：laotao
--  发布时间：11/1/2010 10:14:00 AM

--  
这样行不行
A≡B
C≡┓D
--  作者：cqcookie
--  发布时间：11/1/2010 5:49:00 PM

--  
谢谢这位热心朋友
A≡B，相当于概念定义，如OWL的定义：
<owl:Class rdf:about="#A">
  <owl:equivalentClass rdf:resource="#B"/>
</owl:Class>
但是，在OWL中同义词的定义好像是：
<owl:Class rdf:ID="A">
  <owl:sameAs rdf:resource="#B"/>
</owl:Class>
后一种在描述逻辑中如何表示？
期待您的回复
--  作者：laotao
--  发布时间：11/2/2010 9:57:00 AM

--  
owl:equivalentClass定义的是等价类
owl:sameAs定义的是individual equality
同义词是一个没有明确语义的模糊中文概念

--  作者：Kejia
--  发布时间：12/2/2010 12:42:00 AM

--  
tongyiof(A, B) \and tongyiof(B, A) \and
fanyiof(C, D) \and fanyiof(D, C)
因为同义不一定是等价，所以，根据我的建模经验，最好定义两个关系（OWL：ObjectProperty）：tongyiof和fanyiof。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 2,984.375ms