|
以文本方式查看主题 - 计算机科学论坛 (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=18465) |
|
-- 作者：windbird -- 发布时间：5/18/2005 8:36:00 AM -- 关于概念属性继承问题 在protege中,借助RACER推理机可以推导出自定义概念(namedconcept)与原子概念(primitiveconcept)之间的SUBCLASSOF关系,但是自定义概念为何无法继承原子概念的相关属性呢? |
|
-- 作者：iamwym -- 发布时间：5/19/2005 5:11:00 AM -- 这是你自己定义的谓词关系吧，试问protege怎么知道你是子类呢？ 本体建立中的子类，是自动继承属性的。 |
|
-- 作者：windbird -- 发布时间：5/19/2005 9:14:00 AM -- 概念属性有本质与非本质之分,以本质属性为基础可以建立primitiveclass的充要条件,在定义namedclass的充分条件后,可以利用RACER推理机判断namedclass是否属于某个primitiveclass的子类,这一步是可以实现的.但是这个子类却与该primitiveclass的其它预定义好的子类有所不同,它并没有继承primitiveclass的所有属性,那么作出这个推理判断的意义何在呢? |
|
-- 作者：iamwym -- 发布时间：5/20/2005 7:37:00 AM -- ok，我再解释一下吧…… 这个关系是你自己定义的，是不是？protege不可能知道你定义的这个关系是不是子类关系，它只是一个逻辑上的联系，表示的是这两个不同的概念之间，根据你定义的充要条件，表示他们的逻辑关系。换句话说，我把名字从issubclass改称isnotsubclass，结果还是一样，对不对？ 因此，因果关系是这样子。 推理的过程，只是一个把隐含的关系表达出来，而不是创造新的关系，这个关系在你定义玩属性后，本来就已经是存在的。 如果你要继承原先类的属性，就把那个类建立在原始类的子类下面好了。 |
|
-- 作者：windbird -- 发布时间：5/20/2005 10:58:00 AM -- 非常感谢iamwym的热心答复,在这里我想说一下我应用本体的思路.促进知识的共享与重用是我们建本体的最根本目的,由于不同主体对同一对象会有不同的理解,因此我们需要关注事物的本质属性建立起相应的本体模型.比如说,A主体对事物O1有一个概念理解框架,定义了一系列属性以及概念成立的充要条件,而B主体对事物O2给出了另一个概念理解框架也定义了一系列属性以及概念成立充要条件,需要注意的是,B主体给出的概念属性可能与A主体给出的概念属性不尽相同.如果通过描述逻辑的推理我们可以得出这样一个结论:O2 isSubclassof O1,那么O2就应该可以继承O1所有的属性,B主体也应该可以获取由A主体自定义的那些属性,这是否就是知识共享与交流的本质所在呢? 也许我是把本体的作用夸大了一些,细细分析一下,本体可能只是提供了一个异构概念映射的公共平台,具体的信息搜索与加载可能需要继续开发相应的工具来完成.不知道我这种理解是否对路呢? |
|
-- 作者：iamwym -- 发布时间：5/20/2005 6:18:00 PM -- 出发点是完全没有问题的，这只是一个逻辑上的问题，有点像鸡和蛋的问题。 推理器根据你所定义的属性进行推理，可是推理器不能去更改概念的属性。另一个方面，你定义了b为a的子类，那么b默认就应该具有a的一些属性而不是全部，如果属性都相同，那就是等价类了。所以b是不可能获取a的所有属性的，部分更加不可能了。 如果根据你的定义，b不具备a的一些属性好需要通过推理获取a的属性，那b本身就不是a的子类了，你所建立的关系也不是subclass关系，你只是如此命名而已。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |