W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT