W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

comparing owl semantics

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 10 Sep 2007 09:59:56 +0100
Message-ID: <46E5078C.9030507@hpl.hp.com>
To: Owl Dev <public-owl-dev@w3.org>

Dave Turner has finished his time at HP, the final report on his work on 
OWL Semantics, particularly on Full vs DL can be found at:


Comparing OWL Semantics

Turner, David; Carroll, Jeremy J.


Keyword(s): OWL; semantic web

Abstract: The OWL Web Ontology Language is endowed with two model 
theories, reflecting its origins as a compromise between two different 
communities. By design these model theories give rise to very similar 
semantics, and a precise statement of the correspondence between the 
model theories is conjectured with a sketch proof at the end of the OWL 
semantics specification document. We have filled in the details of this 
sketch proof using the Isabelle/HOL proof assistant, and developed 
machinery for further study of the formal semantics of OWL. Our study 
was sufficiently detailed to find a handful of minor errors in the 
specification of the semantics of OWL that previous work had overlooked. 
We also sought a stronger result by showing a partial converse to the 
known correspondence, but it proved impossible to achieve this within 
our time constraints; instead we conjecture a possible method for 
strengthening the correspondence.

21 Pages



Hewlett-Packard Limited
registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Monday, 10 September 2007 09:00:18 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:15 UTC