Re: OWL semantics

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: OWL semantics
Date: Tue, 6 Aug 2002 15:02:45 +0200

> [...]
> 
> > 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 even
> > 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 also
> > 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 will
> > 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/

If we don't produce an axiomatization, then we don't need to have this work
done.

Simple.

peter