以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  MM求救：protege中使用SWRLJESS TAB 遇到的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=91687)

--  作者：shenjin_klee
--  发布时间：7/8/2011 4:49:00 PM

--  MM求救：protege中使用SWRLJESS TAB 遇到的问题
这是控制窗给出的信息
  Message: error occured when inferring OWL property assertion axiom: .
Exception running rule engine: error running Jess rule engine: Jess reported an error in routine inferOWLPropertyAssertionAxiom
 while executing (inferOWLPropertyAssertionAxiom retrofit_constitutedBy ?x ?z)
 while executing defrule MAIN::Rule-34.
  Message: error occured when inferring OWL property assertion axiom: .

只用了Rule-34进行推理
Rule-34是这样的：
BuildingSolution(?x) ∧ emergencyM_constituteBy(?x, ?y) ∧ EmergencyMaintenance(?y) ∧ Retrofit(?z) →
retrofit_constitutedBy(?x, ?z)
instance里已经建立了分别为BuildingSolution，EmergencyMaintenance， Retrofit建立了instance，关系 emergencyM_constituteBy也明确，原本设想经过推理，应该使retrofit_constitutedBy成立。
不懂哪里出现了问题，这个SWRL语句的写法与某文献是一致的
郁闷 郁闷  达人求教！！！！！！！！！！

--  作者：shenjin_klee
--  发布时间：7/8/2011 6:42:00 PM

--  
我发现原因在于以上建立的类和关系都是另一些的subclass/subproperty，如何解决？？？？？？
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 58.594ms