Re: TEST/SEM: sem-intersection test

> Deb, you said you wanted to check something
> about the first one in particular, and
> I have that much done, in premise/conclusion
> format:
>
> http://www.w3.org/2002/03owlt/sem-intersectionP.rdf
> http://www.w3.org/2002/03owlt/sem-intersectionC.rdf
>
> I'm using the old (daml.org) namespace name
> for now; it seems that's easiest for
> most tool-builders (including myself)
> at present; I intend to duplicate the files
> with the new (w3.org) namespace, but I don't
> think that's on the critical path to
> getting Deb what she needs.

we used the w3.org namespace and got that kind
of entailment working in the testcase

  <http://www.agfa.com/w3c/euler/owl-facts.n3>
  |= <http://www.agfa.com/w3c/euler/owl-query.n3> .

using
  <http://www.agfa.com/w3c/euler/owl-rules.n3>

(but we had to redo our implementation again
in that [ list-operator list ] is always denoting
some *same* thing wherever it is used)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Thursday, 28 March 2002 17:19:43 UTC