OWL的类与个体

1.类
   为了区分一个类是作为对象还是作为包含元素的集合。称由属于某个类的个体所构成的集合为该类的外延(extension)。

   一个领域中的最基本概念应分别对应于各个分类层次树的根。OWL中的所有个体都是类owl:Thing的成员。因此，各个用户自定义的类都隐含地是 owl:Thing的一个子类。要定义特定领域的根类，只需将它们声明为一个具名类（named class）即可。OWL也可以定义空类，owl:Nothing。

   rdfs:subClassOf是用于类的基本分类构造符。它将一个较具体的类与一个较一般的类关联。如果X是Y的一个子类（subclass），那么X的每个实例同时也都是Y的实例。rdfs:subClassOf关系是可传递的，即如果X是Y的子类，而Y又是Z的子类，那么X就是Z的子类。
<owl:Class rdf:ID="Wine">
     <rdfs:subClassOf rdf:resource="&food;PotableLiquid"/>
     <rdfs:label xml:lang="en">wine</rdfs:label>
     <rdfs:label xml:lang="fr">vin</rdfs:label>
     ... 
</owl:Class>
rdfs:label是可选的，它为该类提供一个人类可读的名称。负责呈现的工具可以利用这个元素。“lang”属性为多语言提供了支持。
一个label（标号）就像一个注释，不向本体的逻辑解释添加任何内容。

2.个体
   要引入一个个体（individual），只需将它们声明为某个类的成员。

   个体描述例子：
   <owl:Class rdf:ID="WineGrape">
       <rdfs:subClassOf rdf:resource="&food;Grape" />
   </owl:Class>
   <WineGrape rdf:ID="CabernetSauvignonGrape" />

   CabernetSauvignonGrape is WineGrape ---- 赤霞珠葡萄树

   关于OWL中类与个体的区别，有一些重要的问题。一个类仅是一个名称和一些描述某集合内个体的属性；而个体是该集合的成员。因此，类应自然地对应于与某论域中的事物的出现集合，而个体应对应于可被归入这些类的实际的实体。