SEM: AS&S Comprehension conditions (principles)

Peter,

In AS&S Comprehension conditions (principles)
how can one be sure that

  _:x owl:onProperty :p.
  _:x owl:maxCardinality 1.
  _:x owl:onProperty :p.
  _:x owl:minCardinality 5.

is not entailed from the empty KB?

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


PS using AS&S Comprehension conditions (principles)
   we now have implementation experience that

     :X a _:x. _:x owl:oneOf (:a :b :c).
     :Y a _:y. _:y owl:intersectionOf (:A :B :C :D).
     :Z a _:z. _:z owl:unionOf (:M :N :O).

   entails

     :X a _:u. _:u owl:oneOf (:d :c :b :a).
     :Y a _:v. _:v owl:intersectionOf (:C :B :A).
     :Z a _:w. _:w owl:unionOf (:P :O :N :M).