- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 4 Dec 2002 21:30:28 +0100
- To: "connolly" <connolly@w3.org>
- Cc: www-webont-wg@w3.org
Dan, I saw you somewhere thinking about owl:allDifferent and some while ago I did some quick hack for that in http://www.agfa.com/w3c/euler/gedcom-facts.n3 and http://www.agfa.com/w3c/euler/owl-rules#rule7d1 such that we could show that (<http://www.agfa.com/w3c/euler/gedcom-relations> <http://www.agfa.com/w3c/euler/gedcom-facts> <http://www.w3.org/2000/01/rdf-schema> <http://www.w3.org/2002/07/owl>) => <http://www.agfa.com/w3c/euler/gedcom-query> . along http://www.agfa.com/w3c/euler/gedcom-proof.n3 -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 4 December 2002 15:31:14 UTC