|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请问如何验证本体的一致性呢？ (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=17543) |
|
-- 作者：sjmei -- 发布时间：4/26/2005 8:51:00 PM -- 请问如何验证本体的一致性呢？ 请问如何验证本体的一致性呢？欢迎讨论和指点 |
|
-- 作者：iamwym -- 发布时间：4/27/2005 9:04:00 AM -- 问题太大了，不是很明白你要问什么 |
|
-- 作者：sjmei -- 发布时间：4/27/2005 9:19:00 PM -- 斑竹你好，我的意思是：当我们手工写好一个领域本体后，如何来验证你所设计的本体是完整的，一致的，正确的。
|
|
-- 作者：sylvia_sun -- 发布时间：4/28/2005 10:48:00 AM -- sjmei你好 请问你做的是哪个领域的本体？ |
|
-- 作者：sjmei -- 发布时间：4/28/2005 10:13:00 PM -- To sylvia_sun :我做的是教育领域的本体。 |
|
-- 作者：sjmei -- 发布时间：4/28/2005 10:19:00 PM -- 但我想不管是哪个领域的本体都应该存在这样一个问题吧？现在有一些工具可以验证本体，如OiLED和RACER，这两个工具我都没有用过，不知哪位前辈用过这两个工具，能否指点迷津，不胜感激。 而且好象这两个工具也都还有一些缺陷。比如，RACER能指出有不一致，但不能指出哪里不一致。 OilEd可以进行小规模的本体开发和一致性检查。不是一个完整的本体开发工具。OilEd使用FaCT进行一致性检查。FaCT是一个描述逻辑分类器，也可用做模态逻辑的满足性测试。可以检查DAML+OIL本体的一致性，但他不能检查DAML+OIL本身。 |
|
-- 作者：ChouBill -- 发布时间：4/29/2005 5:35:00 PM -- 你有做好的教育本体吗？ |
|
-- 作者：sjmei -- 发布时间：4/30/2005 9:39:00 PM -- 本站的相关资源中给出的几个本体库中有很多的现成的本体，也有教育领域的，可以先看别人的，然后再自己建 |
|
-- 作者：dongzi_xml -- 发布时间：5/3/2005 10:07:00 PM -- 请问这样的本体库在哪里可以找到呢？请明示 |
|
-- 作者：sjmei -- 发布时间：5/4/2005 4:07:00 PM -- 在本论坛顶置的找资料必读中提供三个关于本体库的连接： http://protege.stanford.edu/plugins/owl/owl-library/( by chencc403 )
|
|
-- 作者：微生物 -- 发布时间：8/11/2005 10:13:00 PM -- 以DL做Ontology的foundation, 用DL的tableau algorithm to judge the consistency of the TBox. That's all. |
|
-- 作者：sjmei -- 发布时间：8/12/2005 10:07:00 AM -- 能具体的给出一个例子吗？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
109.375ms |