Re: Exactly one element in a RDFS class http://lists.w3.org/Archives/Public/semantic-web/2014Nov/0100.html インスタンスが1つしかないクラス（シングルトン）を定義する方法はというスレッド。 [ a owl:Restriction; owl:onProperty [ owl:inverseOf rdf:type ]; owl:cardinality  1 ]という逆プロパティによる空白ノードが使えるなら、具体化してクラスで表現した関係RがIFPであることも同様に記述できるか。[ a :MJ] :Rp [ a :MJ]. ← [ a :Rc; :subj [ a :MJ]; :obj [ a :MJ]]. であるとき、:RpがIFPであることは :MJ owl:equivalentClass [a owl:Restriction; owl:onProperty [ owl:inverseOf :subj ]; owl:onClass :Rc; owl:maxQualifiedCardinality 1 ]でいいのかな