以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  有没有一种能够检测Individual不一致的工具,我用的是kaon2,只能检测Description的满足性  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=78206)


--  作者:zihui
--  发布时间:11/14/2009 11:03:00 AM

--  有没有一种能够检测Individual不一致的工具,我用的是kaon2,只能检测Description的满足性
如果Individual不满足类属性的限制,如cardinality限制。kaon2检测不了,有其他工具可以检测吗?希望前辈能够指点一下!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms