以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  教你如何用swrl写规则-傻瓜入门  继续上传PDF版本  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=60499)


--  作者:micropuss
--  发布时间:3/27/2008 8:56:00 AM

--  教你如何用swrl写规则-傻瓜入门  继续上传PDF版本

PPT版本

PDF版本
http://www.mit.edu/~bgrosof/paps/swrl-editor-iswc2005.pdf

另外,protege4.0版本支持pellet推理机,而pellet全面支持SHOIN(D)即OWL DL推理,建议使用pellet推理机,而且RacerPro等推理机仅支持的OWL Lite推理!!

跟贴无法上传附件,另外开贴上传!!


--  作者:micropuss
--  发布时间:3/27/2008 9:04:00 AM

--  
Pellet推理机网站:
http://pellet.owldl.com/

Pellet is an open source, OWL DL reasoner in Java that is developed, and commercially supported, by Clark & Parsia LLC. OWL is an international, web standard produced by the W3C.

Based on the tableaux algorithms for expressive Description Logics (DL), Pellet supports the full expressivity of OWL DL, including reasoning about nominals (enumerated classes). As of version 1.4, Pellet supports all the features proposed in OWL 1.1, with the exception of n-ary datatypes.

Pellet provides standard and cutting-edge reasoning services. It also incorporates various optimization techniques described in the DL literature and contains several novel optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in the Pellet Documentation.


--  作者:happykite
--  发布时间:3/27/2008 9:58:00 AM

--  
谢谢!下载了研究一下。
--  作者:micropuss
--  发布时间:3/28/2008 12:10:00 PM

--  
Pellet推理机不需要OWL API,但是我们都想在程序中调用Pellet呀,所以还是Protege4+Pellet组合吧!!
--  作者:littlea
--  发布时间:3/28/2008 1:55:00 PM

--  
谢谢!
--  作者:dena3814
--  发布时间:4/13/2008 10:24:00 AM

--  
楼主,我想问问,到底什么样的推理才要用到推理机,只是基于规则的推理才能用到吗?将本体保存到数据库中是不是就体现不了本体的推理能力了
--  作者:micropuss
--  发布时间:4/13/2008 7:19:00 PM

--  
关于推理,DL中的ABox基本上都要用到推理,规则只是实现推理的一种方式。将本体保存到数据库只是持久化本体,跟推理本身无关。

Protege OWL API实现了简单的推理,比方说a属于A,B包含A,则a属于B。复杂的推理就要求助于推理机了,如Racer,FaCT++和Pellet等。


--  作者:dena3814
--  发布时间:4/14/2008 10:05:00 AM

--  
谢谢楼主,那是不是说,如果我用protege建立一个本体,然后将其保存在数据库中,然后在应用程序中用sql语句来查询本体的话,其实这中间一点推理都没有用到呢,这样建本体是不是就多此一举呢,我想实现a属于A,B包含A,则a属于B这样的简单推理是不是就不能用这种方法呢
--  作者:littlea
--  发布时间:4/14/2008 6:30:00 PM

--  
应该是的,数据库只是保存本体的手段,推理还得由形式化描述来做!
--  作者:dena3814
--  发布时间:4/14/2008 8:33:00 PM

--  
譬如我将本体用owl来描述,就可以直接在查询的时候自动根据owl文件中概念和概念之间的关系自动推理了吗,不用借助于什么工具就可以吗,譬如jena之类的?
--  作者:xiawared
--  发布时间:4/14/2008 10:02:00 PM

--  
我按照protege 入门基础篇和推理篇,建立animal 本体,也下载了racer,但是连接的时候总是白屏,关闭racerpro就报错,“could not obtain reasoner identity”. 是版本的问题么?我的protege是3.3.1,racer是1.9。求助各位拉。。。
--  作者:bluebirdme
--  发布时间:5/21/2008 4:40:00 PM

--  

谢谢!下载了研究一下。


--  作者:xiaozf
--  发布时间:6/30/2008 10:37:00 PM

--  
11楼,可能是你的端口不对吧,8080
--  作者:hyue2009
--  发布时间:7/1/2008 9:12:00 AM

--  
谢谢!
--  作者:zhenzixiong
--  发布时间:7/6/2008 3:21:00 PM

--  
谢谢,值得学习!
--  作者:bluebirdme
--  发布时间:8/4/2008 12:19:00 PM

--  
谢谢,希望能有所帮助吧。
--  作者:63henry.black
--  发布时间:8/5/2008 4:14:00 PM

--  
恩,很值得学习,正在研究推理,提不出有建设性的看法
--  作者:hupiyuan
--  发布时间:2/1/2009 1:02:00 AM

--  
11楼 我遇到了和你一样的问题 能不能指点下我该怎么解决呀?十万火急
先谢过了!!
--  作者:n0132424
--  发布时间:2/4/2009 12:26:00 AM

--  
xie xie
--  作者:xjgis
--  发布时间:3/20/2009 2:30:00 PM

--  
谢谢!楼主太好了!
--  作者:n0132424
--  发布时间:3/20/2009 11:40:00 PM

--  
ding
--  作者:nfxu
--  发布时间:3/21/2009 8:01:00 PM

--  
以下是引用xiawared在2008-4-14 22:02:00的发言:
我按照protege 入门基础篇和推理篇,建立animal 本体,也下载了racer,但是连接的时候总是白屏,关闭racerpro就报错,“could not obtain reasoner identity”. 是版本的问题么?我的protege是3.3.1,racer是1.9。求助各位拉。。。

peotege 3.3.1能连上pellet 1.5.2,没有问题,我就是这么用的,唯一需要注意的是端口,在peotege里修改一下就好了。


--  作者:bladefang
--  发布时间:6/13/2009 5:10:00 PM

--  
很不错的PDF,非常简洁,不过如果再细仔点就好了。
--  作者:lipeiqiang1997
--  发布时间:9/14/2009 7:31:00 PM

--  
我问LZ一个问题,现在我用Jena已经实现了对一个本体的简单分类,就是实现了一个类的subclass和superclass区分,现在我想用pellet或者racer做这个实验,请问我这个实验可以用这两个推理机吗?谢谢!!
--  作者:loong21
--  发布时间:10/16/2009 11:25:00 AM

--  
谁用Protege和SWRL写过规则吗?
Person(?p) ^ hasSibling(?p, ?s) ^ Man(?s) -> hasBrother(?p, ?s)
其中P.  S分别是什么意思啊?

或者推荐一下关于书写规则语言的学习资料


--  作者:_h_h_
--  发布时间:10/20/2009 10:24:00 AM

--  
?p和?s只是一种变量表示方法,没有具体表示本体中的哪一个个体。
--  作者:2010JLJ
--  发布时间:3/24/2011 10:46:00 AM

--  
楼主你好,下面是我自己写的一两条SWRL规则,为什么不能执行呢?
hasValue(x, ?a) ∧ hasValue(y, ?b) ∧ swrlb:add(?c, ?a, ?b) →  hasValue(z, ?c) ∧ sqwrl:select(?c);(x,y是我定义的两个个体,而且都通过hasValue赋值了)
Number_1(?n) ∧ hasValue(?n, ?value) →  sqwrl:select(?value)
--  作者:lavender_22
--  发布时间:3/24/2011 1:55:00 PM

--  
回复11楼: protege是3.3.1+racer_1.9  我调试过那例子,是可以的,可能路径端口之类的没设好吧,直接按默认路径进行安装试试
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
101.563ms