W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2004

Re: Axiomatic Semantics of OWL

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Mon, 18 Oct 2004 09:22:50 +0200
Message-Id: <84DB722C-20D6-11D9-A8CB-0003939BC0B0@inf.unibz.it>
Cc: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
To: waldinger@AI.SRI.COM, waldinger@kestrel.edu

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 GMT

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