以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  jena支持可废止逻辑么  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=70256)


--  作者:dulm
--  发布时间:12/9/2008 3:50:00 AM

--  jena支持可废止逻辑么
3X


--  作者:wolfel
--  发布时间:12/9/2008 9:28:00 AM

--  
It shouldn't, I guess
--  作者:wanggou
--  发布时间:12/9/2008 10:00:00 AM

--  
jena实际上并不是支持某种逻辑,而是一个语义web的开发包
主要是解析RDF/RDFS,OWL,DAML+OIL
附加一些简单的推理支持
和楼主的理解有一定差距
--  作者:zhangjiazimei
--  发布时间:12/9/2008 11:19:00 AM

--  
恩,受用了
--  作者:dulm
--  发布时间:12/9/2008 12:42:00 PM

--  
以下是引用wanggou在2008-12-9 10:00:00的发言:
jena实际上并不是支持某种逻辑,而是一个语义web的开发包
主要是解析RDF/RDFS,OWL,DAML+OIL
附加一些简单的推理支持
和楼主的理解有一定差距

其自带的推理支持是否支持可废止逻辑。或者可以与它共用的推理机中(如fact++或racerpro等)有哪些是支持哪些是不支持的。


--  作者:wolfel
--  发布时间:12/9/2008 12:43:00 PM

--  
defeasible logic是一个很无聊的东西,为什么要支持它?
--  作者:wanggou
--  发布时间:12/9/2008 1:46:00 PM

--  
你一定要知道答案,为什么不去查查文档呢?

--  作者:dulm
--  发布时间:12/9/2008 2:04:00 PM

--  
以下是引用wanggou在2008-12-9 13:46:00的发言:
你一定要知道答案,为什么不去查查文档呢?


找到了

hide(p)   Declares that statements involving the predicate p should be hidden. Queries to the model will not report such statements. This is useful to enable non-monotonic forward rules to define flag predicates which are only used for inference control and do not "pollute" the inference results.


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms