Re: Axiomatic Semantics of OWL

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

Hi,

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.debruijn@deri.org

Jos de Bruijn, http://homepage.uibk.ac.at/~c703239/
+43 512 507 6475    
                              jos.debruijn@deri.org

Digital Enterprise Research Institute (DERI)
                               http://www.deri.org/

Received on Monday, 18 October 2004 08:15:46 UTC