以文本方式查看主题

-  计算机科学论坛  (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=19238)


--  作者:abigsmile
--  发布时间:6/4/2005 10:18:00 PM

--  一个简单的问题:owl是怎么支持推理的?
如题:一个简单的问题:owl是怎么支持推理的?
--  作者:jiexincao
--  发布时间:6/4/2005 11:18:00 PM

--  
不是OWL支持推理吧,jena的推理规则还是三元组结构的,所以我认为应该说是RDF的结构支持推理。
举例说[sameIndividualAs5: (?X owl:sameIndividualAs ?Y), (?V ?P ?X) -> (?V ?P ?Y) ]是jena规则中的一条记录,其含义就是资源?X 的属性owl:sameIndividualAs的值为?Y,并且?V的属性?P的值为?X,就可以推理出?V的属性?P的值也为?Y。这些规则中的属性与OWL似乎没有特别的关系。当然我们可以专门为OWL写一些规则(上面的例子就是一个),我们也可以为任意的RDF定义规则。
--  作者:abigsmile
--  发布时间:6/6/2005 10:33:00 AM

--  
我觉得是owl通过定义自身的一张词汇表来实现的比如,owl:sameIndividualAs 就是owl提供的词汇。至于jena那时一种的实现工具,还是对owl推理部分支持的工具,因此是不完备的。
而owl是一个说明性标准 jena是实现这个标准的工具。
--  作者:jiexincao
--  发布时间:6/6/2005 4:25:00 PM

--  
owl本身也只是定义好的一些词汇集,但是怎么使用还是由使用者决定的。这些词汇表达了特定的语义关系,OWL的一系列文档使用#自然语言#解释了这些语义关系,因此我们理解了owl:sameIndividualAs所要表达的含义,说明了两个实例相同。
但是机器如何理解?我们除了定义词汇以外,还要定义一些规则来表达这些词汇所能推理出的结论。我说jena是因为我看到了jena的规则,因此用它来解释。如果你自己开发一个开发包,那么你可以自定义这些规则的表达形式,你甚至可以用图来表达,只要你能方便的解析处理这些规则,并用它来推理。
OWL是基于RDF来定义了一些词汇集,我们可以针对这些词汇集建立推理规则;对于DAML以及其他的在RDF基础上扩展出来的本体语言也是如此。
这些推理应该属于比ontology更高一个层次的proof的范畴之类,并不局限在某种本体语言中!

——————————————————————————
以上只是一些个人理解,请多指正!


--  作者:abigsmile
--  发布时间:6/6/2005 7:34:00 PM

--  
楼上的,有见地
赞一个先
--  作者:npuzhanglei
--  发布时间:6/6/2005 8:27:00 PM

--  
愚以为本体是定义词汇及其词汇之间的关系(用关系词汇表示),本体位于W3C语义堆栈的本体层,对本体推理没有什么意义。推理要用位于本体上层的logic层,通过公理、定理等基于本体对现有实例(事实)推理,得出潜在的一些事实,这才是有意义的。
个人拙见,请大家指正。
--  作者:npuzhanglei
--  发布时间:6/6/2005 8:33:00 PM

--  
owl描述taxonomical knowledge
SWRL提供推理逻辑
--  作者:jiexincao
--  发布时间:6/6/2005 9:07:00 PM

--  
以下是引用npuzhanglei在2005-6-6 20:27:09的发言:
愚以为本体是定义词汇及其词汇之间的关系(用关系词汇表示),本体位于W3C语义堆栈的本体层,对本体推理没有什么意义。推理要用位于本体上层的logic层,通过公理、定理等基于本体对现有实例(事实)推理,得出潜在的一些事实,这才是有意义的。
个人拙见,请大家指正。


确实应该是logic层,我说错了。在logic基础上才应该是proof!
--  作者:yanxq
--  发布时间:6/7/2005 8:54:00 PM

--  
owl是知识的表示方式,无法进行推理
需要上层的支持才能进行推理
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
62.988ms