以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (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=14050)


--  作者:jiachong
--  发布时间:1/27/2005 10:44:00 AM

--  请问如何表达复杂的概念关系
我看过的一篇论文提出根据描述逻辑的TBox把概念分层建立为一棵树,这样当然可以表达概念间的层次关系,但是有些复杂语义还不仅仅是包含。例如构件的服务语义中,可能定义:
1)服务1=服务2+服务3+服务4   (表示服务2到4组合成服务1,但没有先后关系)
2)服务1=服务2->服务3->服务4 (表示服务2到4组合成服务1,2-4必须依次进行)
这种复杂关系怎么表达?我好像看到描述逻辑中可以引入时序算子,是不是引入时序算子就可以了

另外,本体和描述逻辑的关系我还有点不明白,按我的理解,本体是表示已有知识的,描述逻辑可以用来在已有知识基础上推理得到隐含的知识,那么这里的断言1)和2)按说应该在本体中表达的,但是本体能表达这种关系吗?

不是很明白,敬请大家赐教


--  作者:windbird
--  发布时间:1/27/2005 1:30:00 PM

--  
复杂关系的定义需要依赖于概念属性的定义,通过属性关系及其逻辑组合可以实现概念之间复杂的关联.至于推理则需要用户根据应用需求自定义推理规则.这是我的理解,敬请指正.
--  作者:jiachong
--  发布时间:1/27/2005 2:46:00 PM

--  
也是,似乎这些时序和组合关系都是可以通过自定义属性(或者概念间关系?)来描述
这样看来我前面的提问主要是基于这样的想法:概念组合以及时序关系和概念包含关系一样,应该属于逻辑世界中天然的关系,因为像概念包含这样的关系似乎就不用再定义了

请指正


--  作者:windbird
--  发布时间:1/27/2005 4:23:00 PM

--  
可参考一下"本体方法及其时空推理应用"
--  作者:jiachong
--  发布时间:1/27/2005 9:56:00 PM

--  
"本体方法及其时空推理应用"是什么资料,没搜到
--  作者:windbird
--  发布时间:1/29/2005 8:01:00 PM

--  


本体方法及其时空推理应用
--  作者:jiachong
--  发布时间:2/1/2005 10:15:00 PM

--  
谢谢,已下载到
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
7,386.719ms