以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请问描述逻辑中,R.C和ALC都是什么意思?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=13484)


--  作者:xiaolee
--  发布时间:1/12/2005 11:18:00 AM

--  请问描述逻辑中,R.C和ALC都是什么意思?
刚开始学习DL,
先有2个问题,
1。 存在R.C 和对于任意一个R.C中的R.C什么意思? 概念上的关系?
2。DL ALC什么含义呢? ALC是什么的缩写呢?

//bow


--  作者:wason21cn
--  发布时间:1/12/2005 5:25:00 PM

--  
1)R is role(规则), C is concept(概念) 对于R.C来说它是DL的syntax(句法结构)决定了这样表示, 如果要理解它的具体意思,就应该从semantic(语义)方面来看,for all R.C 和 for some R.C表示的是the set of individuals(个体集合),是一个什么样的个体结合? 对于 for all RC 对于所有的个体b,如果(a,b)属于R的一个解释, 能够推出b属于C的一个解释,那么a就是这个(set of individuals)个体集合的一个元素;  对于for some RC,如果有一些个体b,如果(a,b)属于R的一个解释,and(并且)b属于C的一个解释,那么 a就是这个set of individuals的一个 元素。
2) ALC是DL的一种,DL包括很多种子语言,最基本的语言是 AL(Attributive Language), ALC是AL的一个子语言,C表示Complement,但是这个Complement是对于任意的一个概念(因为在AL定义的仅仅是原子否定),你可以理解为对任意一个概念的否定,所以ALC(Attribute Language Complement)是在AL语言上加上可以对任意一个概念否定。
--  作者:xiaolee
--  发布时间:1/13/2005 9:08:00 AM

--  
太感谢了!
--  作者:jenny5466
--  发布时间:3/3/2005 3:04:00 PM

--  我看过DL的讲义,好像role更倾向于解释为relationship,也就是关系吧
:》
--  作者:Jackli
--  发布时间:3/17/2005 1:31:00 AM

--  
我更倾向于jenny的理解。R 其实就是描述C之间的关系。
--  作者:leeze
--  发布时间:3/17/2005 6:31:00 PM

--  hello
nice seeing this.hope to know DLs and its aplication in practice!and keep on touch.
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
56.641ms