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