TEST: I5.18 Unique Names Assumption Support in OWL

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/