Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

HP.com home

Technical Reports


HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» People
» Worldwide sites
» Downloads
Content starts here

Click here for full text: PDF

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

Back to Index

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Printable version
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.