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

TEST: owl:allDifferent

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
Message-ID: <OFD76BED2F.73DBFD79-ONC1256C85.006F5DC1-C1256C85.0070A7FC@agfa.be>

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 GMT

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