Re: yet another non-entailment (was Re: another revision of semantics document)

I found one two, or rather an infinite set ...

for any three natural numbers iii, jjj, kkk such that
   iii+jjj>=kkk

following Peter's semantics we have:


: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
)

Since this entailment uses rather more arithmetic than I feel confortable
with, I prefer it being a non-entailment.

Jeremy