-- 发布时间：7/3/2005 11:17:00 AM
--
高手阿
澄清我好多想不通的地方，非常感谢！以后还请多指教
|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请教大家关于个体(individual),实例(instance)与subclass (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=20042) |
|
-- 作者：westnorth -- 发布时间：6/30/2005 5:33:00 PM -- 请教大家关于个体(individual),实例(instance)与subclass 本人刚刚开始接触本体 对很多概念都不清楚 前两天在一片文章中看到个体(individual)，作者说等同于实例(instance)，今天又看到说个体是类的成员： 关于OWL中类与个体的区别，有一些重要的问题。一个类仅是一个名称和一些描述某集合内个体的属性；而个体是该集合的成员。因此，类应自然地对应于与某论域中的事物的出现集合，而个体应对应于可被归入这些类的实际的实体。 可实例总不是类的成员吧？ 现在我有点晕：个体与子类，个体与实例，实例与子类，它们到底是什么关系？怎么界定它们？ 请大家都发表一下看法，谢谢！ |
|
-- 作者：npubird -- 发布时间：7/1/2005 9:33:00 AM -- 先从层次上来解释： 首先，类（概念）和子类（子概念）是抽象层次上的东西，是对现实世界中实体的抽象，比如说概念Person，现实世界并不存在Person这个实实在在的东西，它仅仅是对现实世界上所有“人”这一类实体的抽象。 其次，实例(instance)和个体(individual)是具体的，宇宙中独一无二的、具体的、实际存在的事物，因此，实例和个体强调它的唯一性和具体性。比如"Mao Zedong"就是一个实例和个体。 接下来再做进一步的分析和澄清： （1）首先的事物之间也是有层次的，根据事物抽象层次的不同，就有了父类和子类的关系，或者说SuperClassof-SubClassof, Is-a, Kind-of等。例如，Man也是一个概念，但是它和Person相比，则是Person的子类，同理，Woman, Student,Boy等等也是Person的子类，但是，你不能问Car是不是Person的子类，因为这两个概念对应的事物没有相交的东西存在，就抽象层次上来说，它们是无关的。 因此，可以说父子类是抽象的概念上的关系。 （2）光有抽象的概念不足以满足具体应用的需求，因此，对于具体的应用，常常要为抽象的概念添加实例。注意，这就是为了建立抽象世界和现实世界的连接，因此，Instance-of关系也是很特殊的，它跨越着抽象和现实两个界限。这有问题吗？ （3）一些外文文献将实例和个体等同，这没有错，但是我个人一直觉得不妥。我认为，个体的含义更广，现实世界中的任何物体都是一个个体，而实例，则更强调某个个体属于什么抽象的概念。因此，我一般这样对待：在事物和概念建立Instance-of关系之前，我都称之为个体，在确定某个事物与一个概念有Instance-of关系后，我称这个事物为该概念的实例。 因此，个体的含义更广，实例是在讨论概念的时候来说的。 （4）依照上面的分析，既然概念是抽象的，是对个体的抽象，那么一个概念就可以看做它对应的实例的集合，这称为概念的外延。（关于概念的内涵和外延，请参看形式化概念分析（FCA）的理论） 因此，如果概念A是概念B的父类，那么，概念A对应的实例应该包含概念B对应的实例。如果从另外一个方向来考虑这个问题，它同时告诫我们，如果声明一个个体是本体中某个概念的实例，应该声明与实例最近的那个概念，因为这能保证这个最近概念的所有父概念都能包含这个实例。这是标注实例的一个最基本准则。 （5）虽然类和实例之间有着明显的界限，但需要注意，在RDF（S）语言中，Instance和Class是不区分的，一个概念可以是另一个概念的实例，这需要注意。例如Jiangsu可以是Province的实例。 暂时写这么多，希望对入门的同学有点帮助！不妥之处请大家一起讨论 |
|
-- 作者：windbird -- 发布时间：7/1/2005 12:17:00 PM -- 实例与子类如何区分的确是一个问题,个人感觉应该和应用环境有关. 在此我还想提一个问题,在经典的PIZZA本体中,如果我现在要建立tomatoPizza的一个实例,记为tomatoPizzaOne,由于tomatoPizza的充要条件是pizza+hasTopping.tomatoTopping,因此fruitPizzaOne的hasTopping属性的取值应该是归属于tomatoTopping的一个实例,这个实例有必要建立吗?因为,如果照此来推,每建立一个tomatoPizza的实例都必须到tomatoTopping中定义一个实例,这好象不太合理喔,而且命名也有问题,因为在OWL中似乎不支持重名,因此可能只能记为tomatoToppingOne,tomatoToppingTwo.............感觉似乎有些累赘,而且意义不大. 不知道各位有何高见???? |
|
-- 作者：westnorth -- 发布时间：7/3/2005 11:17:00 AM -- 高手阿 澄清我好多想不通的地方，非常感谢！以后还请多指教
|
|
-- 作者：jlyh930 -- 发布时间：7/12/2005 10:55:00 AM -- 写的不错，顶！
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |