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

Re: TEST: sameBagAs testcase

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 28 Apr 2002 13:45:36 +0200
To: "connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OF52145C5E.1D2F9805-ONC1256BA9.003E7A7A@agfa.be>

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

[some further thoughts]

one approach (dl) could be to have the first/rest
triples unasserted, however they are asserted
*within* the context of their own subject

another approach could be to have representative
resources such as in
  _:1 eg:sameBagAs _:4 .
  _:1 owl:representative _:1r .
  _:4 owl:representative _:4r .
  _:1r owl:first :a .
  _:1r owl:rest _:2 .
  _:2 owl:first :a .
  _:2 owl:rest _:3 .
  _:3 owl:first :b .
  _:3 owl:rest owl:nil .
  _:4r owl:first :b .
  _:4r owl:rest _:5 .
  _:5 owl:first :a .
  _:5 owl:rest _:6 .
  _:6 owl:first :a .
  _:6 owl:rest owl:nil .

--
Jos
Received on Sunday, 28 April 2002 07:46:18 GMT

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