以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  关于PROTEGE中的约束  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=125859)

--  作者：rubbishgod
--  发布时间：11/3/2012 10:57:00 AM

--  关于PROTEGE中的约束

全值约束，存在约束，基数约束，还有一个HASVALUE约束
这些约束的介绍到处都有，但怎么用呢。貌似对推理的结果没有太大的影响啊

关于充分必要条件（等价类约束）和必要条件（超类约束），我明白，但对必要条件我确实不知道能干啥。
我的问题是：
这些约束有什么用？在推理中和在PROTEGE的OWLModel中如何体现的，或者说在PROTEGE API中是否有相应的函数来支撑它们的使用（关于创建约束我了解了，但使用上确实不懂怎么用）

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