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

Re: OWL semantics

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 6 Aug 2002 15:02:45 +0200
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: horrocks@cs.man.ac.uk, www-webont-wg@w3.org
Message-ID: <OF807BF70A.F4E095A3-ONC1256C0D.0046B2C0@agfa.be>


> However, what does that have to do with proving that a large number of
> axioms (say, about 140) are correct with respect to a model theory, or 
> that they capture the meaning of a complex language (such as OWL)?  To
> prove the former requires considerable work - work that can build on
> similar efforts in the past, but still new work.  To show the latter 
> requires considerable work - work of a very different kind, but still
> work.  Will this work have to be done before the WG is finished?  Who 
> do it?

I don't see an alternative to avoid the work
I would even recommend that we have many, many more
such attempts as http://www.w3.org/2002/03owlt/ontAx.n3

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 6 August 2002 09:03:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:33 UTC