OWLクラス定義の概要

• スキーマとは異なるレイヤーとしてのClass
  • owl:Class要素によるクラス定義
• クラス同士の関係
  • rdfs:subClassOf, owl:disjointWith, owl:sameClassAs
• クラスの集合（論理組合せ）としての定義
  • owl:intersectionOf, owl:unionOf, owl:complementOf
• クラス内でのプロパティの限定
  • 限量子に相当するowl:allValuesFrom, owl:someValuesFrom
    • DAMLではhasClass, toClass
  • 出現回数を制約するcardinality