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