以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Web Services & Semantic Web Services 』  (http://bbs.xml.org.cn/list.asp?boardid=10)
----  A-Box consistency check  (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=68220)

--  作者：alextoqiang
--  发布时间：10/13/2008 8:38:00 PM

--  A-Box consistency check
请问有没有哪个reasoner可以检查OWL里 A-Box的consistency?

我的意思是我定义一个 Concept (City), 一个property (isLargerThan). isLargerThan的range和domain都是City. 而且是transitive property

我声明3个instances of City,  Beijing, Wuhan, Haikou. 然后建立关系: Beijing isLargerThan Wuhan, Wuhan isLargerThan Haikou,  Haikou isLargerThan Beijing. 这几个声明完是inconsistent.

请问有没有reasoner能检验出这种A-Box里的inconsistency?
我试过pellet，没有这个功能。 Racer要等验证， Fact++还没试。 请问有这种reasoner能检查这种inconsistency的吗？

--  作者：wanggou
--  发布时间：10/13/2008 9:10:00 PM

--  
第一个，你写的这个小本体不存在inconsistent的问题
第二个，pellet可以检查abox的consistency
--  作者：meng_ke
--  发布时间：10/14/2008 10:50:00 AM

--  
这个ABox的确有inconsistency; 而且我也发现用reasoner来查，查不出ABox inconsistency，至少pellet如此，他会说是TBox inconsistent.
--  作者：wanggou
--  发布时间：10/15/2008 2:07:00 PM

--  
。。。。。。。。。。。。。。。。。。。。。。。。
我对此表示沉默
--  作者：alextoqiang
--  发布时间：10/15/2008 5:13:00 PM

--  
我又仔细研究了一下。 在OWL 1.1里，我定义的本体的确没有 inconsistency.

Beijing isLargerThan Wuhan
Wuhan isLargerThan HaiKou
=>Beijing isLargerThan HaiKou

Haikou isLargerThan Beijing
Beijing isLargerThan Haikou
=>Haikou isLargerThan Haikou

最后结果Haikou isLargerThan Haikou在OWL 1.* 版本下是允许的， 这叫reflexive property。
但在OWL 2下，如果我们定义 isLargerThan 是irreflexive property. 那么最后的结论就是inconsistency.

Protege 4支持 OWL 2的，但是我如果定义一个object property 同时 transitive和irreflexive，pellet就会报inconsistency。 但在W3C网上并没有看到 transitive和irreflexive不能同时定义啊.

求达人继续解答我的问题。

--  作者：wanggou
--  发布时间：10/16/2008 9:13:00 AM

--  
运用你的理性和判断，你应该能知道为什么
--  作者：alextoqiang
--  发布时间：10/16/2008 4:42:00 PM

--  
楼上的哥们，你能说详细点吗？

为什么transitive和 irreflexive不能同时定义？

如果可以， 哪种推理机能检测这种inconsistency呢？

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