-- 发布时间：3/13/2010 10:56:00 AM
-- 描述逻辑的这两个概念有区别吗？
以下两个概念有区别吗？“有孩子”不就意味着“至少有一个孩子吗”？
此主题相关图片如下：
|
以文本方式查看主题 - 计算机科学论坛 (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=83821) |
|
-- 作者：cqcookie -- 发布时间：3/13/2010 10:56:00 AM -- 描述逻辑的这两个概念有区别吗？ 以下两个概念有区别吗？“有孩子”不就意味着“至少有一个孩子吗”？ 此主题相关图片如下：
|
|
-- 作者：laotao -- 发布时间：3/16/2010 3:56:00 PM -- 俺认为语义上没有区别 不过推理起来前者复杂度低？ |
|
-- 作者：cqcookie -- 发布时间：3/23/2010 3:05:00 PM -- 是不是可以这样理解：前者在实例化的时候可以不用指定孩子是谁，如：Father(Tom)；后者必须指定这个孩子，如：Father(Tom)，hasChild(Tom,Petter) |
|
-- 作者：cjdby -- 发布时间：3/24/2010 1:46:00 AM -- 前者不用检查cardinality， 后者必须有这一步。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.988ms |