- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Mon, 18 Oct 2004 09:22:50 +0200
- To: waldinger@AI.SRI.COM, waldinger@kestrel.edu
- Cc: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
On 18 Oct 2004, at 06:22, Richard Waldinger wrote: > A validated set of first-order axioms for OWL, with discussion, is > available at > http://www.ai.sri.com/daml/owl/axiomatic.htm > Comments are solicited. Hi. I wonder whether it has been proved that the proposed axiomatisation - restricted to the OWL-DL fragment - is proved sound and complete with respect to the published normative model theoretic semantics of OWL-DL. In other words: how can we be sure that if we use your axiomatisation for just OWL-DL we get the same behaviour as if we were just using a standard DL reasoner (already proved to be sound and complete wrt the published normative model theoretic semantics of OWL-DL)? cheers --e. Enrico Franconi - franconi@inf.unibz.it Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/ Faculty of Computer Science - Phone: (+39) 0471-016-120 I-39100 Bozen-Bolzano BZ, Italy - Fax: (+39) 0471-016-129
Received on Monday, 18 October 2004 07:24:10 UTC