W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

TEST: sameBagAs testcase

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 27 Apr 2002 00:31:27 +0200
To: "connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OFE407C0BB.7904D79C-ONC1256BA7.007B57A6@agfa.be>
Dan,

Being a test guy (again), let's assume
  eg:Bag rdfs:subClassOf owl:List .
and have entailment rules for eg:sameBagAs
such as the ones we are experimenting with
http://www.agfa.com/w3c/euler/owl-rules.n3

In that case we can, given nothing, entail
  ( :a :a :b ) eg:sameBagAs ( :b :a :a ) .

or in triples
  _:1 owl:first :a .
  _:1 owl:rest _:2 .
  _:2 owl:first :a .
  _:2 owl:rest _:3 .
  _:3 owl:first :b .
  _:3 owl:rest owl:nil .
  _:4 owl:first :b .
  _:4 owl:rest _:5 .
  _:5 owl:first :a .
  _:5 owl:rest _:6 .
  _:6 owl:first :a .
  _:6 owl:rest owl:nil .
  _:1 eg:sameBagAs _:4 .

However I fail to see that
  _:1 owl:sameIndividualAs _:4 .
together with
  _:1 owl:first :a .
  _:4 owl:first :b .
(and)
  owl:first a owl:UniqueProperty .

--
Jos
Received on Friday, 26 April 2002 18:32:11 GMT

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