以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  用jena进行推理是不是只能对owl或rdf文件进行处理?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=32718)


--  作者:chris
--  发布时间:5/19/2006 9:12:00 PM

--  用jena进行推理是不是只能对owl或rdf文件进行处理?
如果是的话,我如何推理出用户的输入是否与我本体里的约束或规则相冲突呢
我看jena文档里的例子,他是把一个实例用rdf的语法描述的。我现在是用java编了一个界面,用户在界面上选择一些部件,最后把这些部件进行组装,在组装的过程中要检验用户的选择是否匹配,也就是所谓推理。我现在不知道应该把用户输入数据存成什么格式,该如何实现,在哪实现?存成字符串是最方便的,但似乎不能推理阿?
困惑中!
--  作者:iamwym
--  发布时间:5/20/2006 3:47:00 AM

--  
你这个情景,比较典型不是用规则,而是用各种axiom约束和domain range的约束。
--  作者:chris
--  发布时间:5/20/2006 10:05:00 AM

--  
各种axiom约束和domain range的约束,并不能表达所有知识,所以我要用pal来表达一些复杂约束(如比较大小等等)。现在的问题就是在程序中调用pal-constraint check engine参数的传递有点问题,该engin是对知识库中的实例进行检查,但现在我要检查的是用户输入的实例,二者之间如何连接呢?还在考虑中~~~~~~~~~~
--  作者:iamwym
--  发布时间:5/20/2006 4:47:00 PM

--  
问题是pal添加的东西是不是标准owl dl,是的话,本来就是axiom的限制,不是的话,reasoner一般不支持,你添加了以后,靠什么去推理呢?
对于你的问题,把用户输入添加到支持库不就可以了
--  作者:chris
--  发布时间:5/21/2006 10:08:00 AM

--  
我也是想把用户输入添加的知识库,只是目前同组人员都还没考虑过这个问题,明天见了导师后讨论出一个方案把
protege网站上给了一个程序,我只要直接调用它就可推理了,该程序也是要求把用户输入存入知识库
由于大家以前都没考虑,我真担心存不进去啊,因为她把用户输入都存成字符串了,这样的话他的工作量估计会很大啊
谢谢阿,斑斑
--  作者:iamwym
--  发布时间:5/21/2006 6:21:00 PM

--  
其实本来owl的处理就是字符串处理,我觉得这个不是问题。知识库本来就在不断变化之中的,也算是一个特性
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
82.031ms