|
以文本方式查看主题 - 计算机科学论坛 (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 --
确实应该是logic层，我说错了。在logic基础上才应该是proof！ |
|
-- 作者：yanxq -- 发布时间：6/7/2005 8:54:00 PM -- owl是知识的表示方式，无法进行推理 需要上层的支持才能进行推理 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
2,296.875ms |