Re: TEST: sameBagAs testcase

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