SEM: AS&S Comprehension conditions (principles)

• From: Jos De_Roo <jos.deroo@agfa.com>
• Date: Mon, 23 Jun 2003 02:14:43 +0200
• To: pfps@research.bell-labs.com
• Cc: www-webont-wg@w3.org
• Message-ID: <OF0BA3E1F4.6132024F-ONC1256D4D.0082F60E-C1256D4E.00015D3C@agfa.be>

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

Received on Sunday, 22 June 2003 20:14:58 UTC