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 12:25:06 +0200
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: www-webont-wg@w3.org
Message-ID: <OF0011A343.2947C3B1-ONC1256C0D.003844DB@agfa.be>


> Moreover, I would be interested in your suggestions as to how one
> might go about proving that such an axiomatisation is correct. As you
> refer to engineering, I presume that this means testing. Testing wont
> PROVE anything (there are infinitely many possible inputs), it can
> only show that you didn't find any errors yet. In fact, given that the
> axiomatisation is in FOL, which is undecidable, even inputs that would
> in principal lead to errors may not reveal anything due to
> incompleteness in the FOL reasoner.

of course not only testing, but lots of theoretical work too
over the past 2300 years many smart people have already done
lots of sound axiomatisations; no doubt that that will go on

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 6 August 2002 06:25:47 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:46 UTC