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

Re: TEST/SEM: sem-intersection test

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 28 Mar 2002 23:19:05 +0100
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OF9B95A932.83C224CB-ONC1256B8A.0078B92A@agfa.be>

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

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