SEM: rdfs:subPropertyOf cases

I gathered that

owl:allDifferent rdfs:subPropertyOf owl:oneOf .
owl:backCompatWith rdfs:subPropertyOf owl:priorVersion .
owl:imports rdfs:subPropertyOf rdfs:seeAlso .
owl:sameClassAs rdfs:subPropertyOf rdfs:subClassOf .
owl:samePropertyAs rdfs:subPropertyOf rdfs:subPropertyOf .
owl:versionInfo rdfs:subPropertyOf rdfs:comment .

and wonder if that's OK and wether there are other cases?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS I met a dragon (*) in stating that
   owl:sameClassAs rdf:type owl:SymmetricProperty .
   owl:sameClassAs rdf:type owl:TransitiveProperty .
   which is of course true, but redundant as we have
   that rdfs:subClassOf is already symmetric/transitive

(*) using Ian's word to say that we had tooo many
    inference steps (but dragons have a weak spot
    as Bilbo found out in "Lord of the Rings"...)

Received on Saturday, 7 December 2002 19:17:42 UTC