RDF再入門その４，クラスとdisjoint問題 : セマンティックウェブ・ダイアリーやっと，クラスとdisjoint問題に入ります． RDF意味論とOWL意味論において，クラスとはその外延で定義されます．以前の私のブログでは，次のように書いています． 「今，何か世の中にあるオブジェクトを考えて（ベースオブジェクト），何かの考え方でもってそれを分類して，複数の集合を作ったとします．そしたらそのある集合ごとに名前をつけましょう．たとえば，この集合は『イヌ』，この集合は『ネコ』，これには『ネコヤナギ』，これには『イヌフグリ』．そうしたときに，そのつけた名前が表示するものをクラスと呼んで，ベースオブジェクトの集合をそのクラス外延と呼びます．」 「イヌ」のクラス外延と「ネコ」のクラス外延が一部でも重なることはありませんから，こういうクラスを「互いに素」(disjoint)あるいは「離接」(disjointness)と言います．どちらの日本語訳もいまいちピンときませんので，以下ではそ
