以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (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=85441)


--  作者:roudera
--  发布时间:6/24/2010 10:00:00 PM

--  owl文件转换成一阶谓词的办法
求助各位大侠,我对owl刚刚了解,现在项目需要,由protege建好本体,得到owl本体文件然后要把owl的文件转换为一阶谓词形式的语言,再有其他后续工作。。。。现在不知道怎么实现转换,是把owl语句解析再生成一阶谓词语法呢还是什么?求助,提点方向都行,另外有owl语句的解析器吗?谢谢
--  作者:niuqi
--  发布时间:7/8/2010 9:17:00 PM

--  
同样的问题,顶!
--  作者:Leon.Essence
--  发布时间:7/9/2010 10:04:00 PM

--  
OWL对应为DL,DL的axiom可以完全转化为FOL的formula,Desription Logic Handbook上已经提到了一些语法的转换,下面这篇文章有比较完整的转化对应方法
Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: Journal of Web Semantics, Springer (2004) 549–563


--  作者:roudera
--  发布时间:7/12/2010 3:55:00 PM

--  
非常感谢~~~~希望还有机会向你请教!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms