オントロジー エディタ Protegé には、 Class hierarchy (inferred)というタブがあります。このような推論されたクラスを作成するための最小限の例を探してい:RedCar rdfs:subClassOf :Car
ます。
:RedCar a owl:Class ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf
(
:Car
[ a owl:Restriction ;
owl:onProperty :hasColor ;
owl:hasValue :Red
]
)
] .