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

Re: Axiomatic Semantics of OWL

From: Jos de Bruijn <jos.debruijn@deri.org>
Date: Mon, 18 Oct 2004 10:08:45 +0200
Message-ID: <41737A0D.6080200@deri.org>
To: Enrico Franconi <franconi@inf.unibz.it>
CC: waldinger@AI.SRI.COM, waldinger@kestrel.edu, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>

>>  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)?


I would assume this would not be the case, since it was already 
demonstrated in [1, Appendix B.2] that OWL Full semantics allows for 
more entailments than OWL DL semantics for an OWL DL ontology. So, if it 
properly implements the OWL Full semantics, it does not properly 
implement the OWL DL semantics.

Best, Jos

[1] Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web 
ontology language semantics and abstract syntax. Recommendation 10 
February 2004, W3C, 2004. http://www.w3.org/TR/owl-semantics/

> 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

Please take notice of my new email address:

Jos de Bruijn, http://homepage.uibk.ac.at/~c703239/
+43 512 507 6475    

Digital Enterprise Research Institute (DERI)
Received on Monday, 18 October 2004 08:15:46 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:43 UTC