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

Re: Moving forward

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 23 Mar 2002 13:32:47 +0100
To: "Pat Hayes <phayes" <phayes@ai.uwf.edu>
Cc: "\"\"Peter F. Patel-Schneider\" <pfps\"" <pfps@research.bell-labs.com>, "Jonathan Borden <jonathan" <jonathan@openhealth.org>, "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OF242D334B.9FC3E1D9-ONC1256B85.0044E3CA@agfa.be>

Pat wrote:
>>I am confident that this will be a viable solution. Existing code
>>does this, in effect, and seems to work reliably, and there is a
>>clear strategy for providing a coherent semantics. I do not even
>>think that it will require significant changes to DAML+OIL; the only
>>extra requirement is that the daml:list triples be unasserted in RDF.

my first reply
>right, fully agreed

I have to correct that, we can let all our test cases
work when we assert all top level owl:List statements
For details see http://www.agfa.com/w3c/euler/#R29083
Premise/Consequent triples are of course not asserted

--
Jos
Received on Saturday, 23 March 2002 07:33:26 GMT

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