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