以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  owl如何表达组成关系  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=16898)


--  作者:jiachong
--  发布时间:4/12/2005 7:20:00 PM

--  owl如何表达组成关系
如何表达诸如“操作A=操作A1+操作A2+操作A3”的关系
虽然可以在A1,A2,A3和A之间定义组成关系,但总感觉这样只能表达A包括A1,A2和A3,
表达不出“操作A1+操作A2+操作A3”就是A

如果有“组成”这个多元关系似乎可以解决问题,但OWL里面只允许二元关系,
请大家赐教


--  作者:iamwym
--  发布时间:4/13/2005 7:53:00 PM

--  
A hasPart A1 and A hasPart A2 and A hasPart A3
把这个axiom放到necessary and sufficient condition,应该就可以表示A是由A1 A2 A3组成
--  作者:jiachong
--  发布时间:4/14/2005 9:19:00 AM

--  
谢谢了,necessary and sufficient condition是OWL Lite就允许的吗
--  作者:heightor
--  发布时间:4/24/2005 5:56:00 AM

--  
扩展RDF的原语啦。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
62.500ms