- 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
[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 UTC