Re: yet another non-entailment

Thanks Peter for the correction
the entailment I had in mind was the one Peter identified:

:p rdfs:domain :A .
:q rdfs:domain :B .
:A owl:disjointWith :B .
:p rdfs:subPropertyOf :r .
:q rdfs:subPropertyOf :r .

entails

_:x rdf:type rdfs:Class .
_:x owl:intersectionOf [
   <<:p owl:minCardinality iii>>
   <<:q owl:minCardinality jjj>>
] .
_:x rdfs:subClassOf
   <<:r owl:minCardinility kkk>> .

(using notation from
http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-C.html
)

Jeremy

Received on Tuesday, 27 August 2002 07:05:27 UTC