|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- [求助]怎样从描述逻辑语言转换成FaCT++、pellet推理机的输入语言 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=72950) |
|
-- 作者：xinanw -- 发布时间：3/12/2009 4:10:00 PM -- [求助]怎样从描述逻辑语言转换成FaCT++、pellet推理机的输入语言 例如： V1T (∀R.V2T) ¬V1T (∀R.¬V2T) V2T (∀R.V3T) ¬V2T (∀R.¬V3T) V3T (∀R.V1T) ¬V3T (∀R.¬V1T) ((¬V3T)&V1)(∀R.V1) ((¬V3T)&(¬V1))(∀R.(¬V1)) ((¬V3T)&V2)(∀R.V2) ((¬V3T)&(¬V2))(∀R.(¬V2)) ((¬V3T)&V3)(∀R.V3) ((¬V3T)&(¬V3))(∀R.(¬V3)) 描述逻辑中的subsumption，开口向右,如下图中所表示的， 像这样的形式怎么转成到推理机中去啊？ [IMG]D:\桌面\1.jpg[/IMG]
|
|
-- 作者：xinanw -- 发布时间：3/13/2009 7:48:00 PM -- 怎么没人说下啊 |
|
-- 作者：xiuleiliu -- 发布时间：3/20/2009 1:27:00 AM -- 最近我也在考虑这个问题： 初步想法，应该使用jena，或者owl api里的类，操纵pellet |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |
此主题相关图片如下：