|
以文本方式查看主题 - 中文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=88717) |
|
-- 作者：spf3d1415926 -- 发布时间：12/17/2010 5:04:00 PM -- 请教高手，关于描述逻辑解释的问题 在描述逻辑写的本体中，如果一个可满足的，那么一定存在一个解释I使这个概念D不为空，我的问题是，如果一个概念D是可满足的，是否表示他可以有任意多个实例，也就是说是否可以存在一个解释I，使得在此解释I下概念D可以用任意多个实例？？？ |
|
-- 作者：markcarmen -- 发布时间：2/22/2011 5:16:00 PM -- 我的理解：应该不是这样的，当解释的领域是有限集时，解释I下概念D不可能有无限多的实例。我也是初学者。。呵呵 |
|
-- 作者：niedengguo -- 发布时间：2/24/2011 3:48:00 PM -- 我的理解是解释说有限的，所谓解释就是论域的子集。 |
|
-- 作者：spf3d1415926 -- 发布时间：2/28/2011 4:40:00 PM -- 请在帮我看一下这个问题http://bbs.w3china.org/dispbbs.asp?boardid=2&id=89479，谢谢 |
|
-- 作者：spf3d1415926 -- 发布时间：2/28/2011 4:42:00 PM -- 请在帮我看一下这个问题http://bbs.w3china.org/dispbbs.asp?boardid=2&id=89479，谢谢 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |