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 02:02:20 +0200
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: www-webont-wg@w3.org
Message-ID: <OFD3287E8B.45C6B95B-ONC1256C0C.0083CD96@agfa.be>

[only a very partial reply]

[...]

> It is also worth pointing out that such axiomatisations are invariably
> large and complex, and that it is difficult/impossible to be sure that
> they are correct. E.g., take a look at the axiomatisation of
> DAML+OIL/RDF in [3], which contains around 140 axioms. FOL reasoners
> can be used to detect "obvious" inconsistencies (as happened with
> earlier versions of [3]), but simply ironing these out is a LONG way
> from proving that the axiomatisation correctly captures the meaning of
> the language.

that is not enough to suggest a
  "impossible to be sure that they are correct"
let's just call it difficult/challenging
engineering and no more

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 5 August 2002 20:03:03 GMT

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