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

TEST: I5.18 Unique Names Assumption Support in OWL

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 2 Nov 2002 17:34:39 +0100
To: "connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OF49B3F7E6.CD806B7C-ONC1256C65.005A9BE3-C1256C65.005B173A@agfa.be>

before I forget... in the last telecon we discussed
I5.18 Unique Names Assumption Support in OWL
and I mentioned that I did some tests in the past with
declaring the mutual different individuals in a list
something like

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule7d1> .
  :dt owl:allDifferent ( :Jos Maaike :Goedele :Veerle :Nele :Karel).
  ( :Veerle ( :Jos Maaike :Goedele :Veerle :Nele :Karel)) math:indexOf "3".
  ( :Nele ( :Jos Maaike :Goedele :Veerle :Nele :Karel)) math:indexOf "4".
  "3" math:notEqualTo "4"} log:implies
{:Veerle owl:differentIndividualFrom :Nele}.

but the implementation could be improved...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 2 November 2002 11:35:22 GMT

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