以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请教:Ontology的形式化定义(三元组或四元组形式的定义)哪些文献中有呀?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=28459)


--  作者:dpyk
--  发布时间:3/11/2006 8:22:00 PM

--  请教:Ontology的形式化定义(三元组或四元组形式的定义)哪些文献中有呀?
以前看过一些文献,有本体的形式化定义,即把本体定义成三元组或四元组。现在,却找不到是哪些文献资料了,书到用时方恨少啊!
请教大侠,谁知道哪些文献资料中,有本体形式化的定义,推荐一下吧,谢谢了先!

--  作者:houbc2002
--  发布时间:3/11/2006 8:41:00 PM

--  
看看http://forumabc.net/cgi-bin/topic.cgi?forum=12&topic=89&show=0。顺便问一下,本体的这种形式化定义和本体语言是什么关系?
--  作者:dpyk
--  发布时间:3/11/2006 9:28:00 PM

--  谢谢楼上的热情帮助
我个人觉得,本体的形式化定义,主要用在理论讨论方面。而表示本体语言,则侧重于对本体的表达,不同的语言,对本体的表达能力有强弱之分。比如,RDF(S)本体语言,表达本体的能力,就不如OWL强,好象是在推理能力方面不如OWL。现在,好象OWL,是最好用的本体表示语言吧?
--  作者:houbc2002
--  发布时间:3/12/2006 12:28:00 AM

--  
那是不是说每个本体语言都是符合某种形式化定义方式的?像rdf\owl\daml\oil等本体语言都分别采用哪种形式化定义方式?有没有讨论这一问题的相关文章啊?
--  作者:dpyk
--  发布时间:3/12/2006 12:37:00 AM

--  好象不能这么说。
本体表示语言,只是在表示本体的方便程度方面,不断更新换代的。
并不是为了适合相应地形式化表示而推陈出新的。

顺便请教一下:
据说Gruber曾给出过比较著名的本体四元组定义。
可是我一直没有找到相应的文献。
请大侠帮帮忙
究竟谁的?哪一篇文献中,有比较著名的本体N元组定义呀?


--  作者:Ambrosia
--  发布时间:3/12/2006 3:51:00 PM

--  
现在地inference大部分还是用的rdfs吧!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
70.313ms