owl:equivalentClass のドメインと範囲は、答えを見つけることができなかったいくつかの疑問を提起します。
まず、OWL 自体では、owl:equivalentClass のドメインと範囲が rdfs:Class に設定されます。このドメインと範囲は、仕様 ( http://www.w3.org/TR/owl-ref/#equivalentClass-def ) で指定されている定義と多少衝突しているように見えます。
「そのようなクラス公理[つまり、owl:equivalentClass]の意味は、関係する2つのクラス記述が同じクラス拡張を持っているということです(つまり、両方のクラス拡張がまったく同じ個体のセットを含んでいます)。」
これは、rdfs:Class ではなく owl:Class のより具体的なドメインと範囲を示唆しています (インスタンスではなく個人が言及されていることを考慮して)。
Jena の推論エンジンを使用して、OWL 推論規則に次の興味深い要素が含まれていることに気付きました。 other は互いに owl:equivalentClass でなければなりません。
したがって、基本的に、ここではドメインと範囲が owl:Class に制限されていますが、これは理解できるようです。ただし、そのドメインと範囲がそのように狭められる場合、(2) のルールも、owl:equivalentClass 関係を伴うために、両方のリソースが owl:Class 型である必要があることを示すように限定されるべきではありませんか? 結局のところ、rdfs:subClassOf 関係は rdfs:Classes で完全にうまく機能します。互いのサブクラスであるクラスが rdfs:Classes である場合、(1) で owl:equivalentClass の定義が絞り込まれている場合、ルールは rdfs:Classes が実際には owl:Classes であることをすぐに暗示するべきではありません。
owl:equivalentClass の正しい解釈が何であるかについての答えを知っている人はいますか?
前もって感謝します！