draft response for LC comment 14

[Response for LC Comment 14]

Dear Michael,

Thank you for your message
http://lists.w3.org/Archives/Public/public-owl-wg/2009Jan/0031.html on
the OWL 2 Web Ontology Language last call drafts.

The definition of ontology entailment in the OWL 2 Direct Semantics
document [1] is consistent with, and nearly identical to, the
definition of entailment presented in the OWL Direct Model-Theoretic
Semantics [2]. The definition of entailment used in the original RDF
Compatible Semantics [3] and the updated OWL 2 RDF Based Semantics [4]
differs from the definition used in in Direct Semantics documents.
Your comment highlights the difference between the Direct and RDF
based semantics, not a difference between OWL and OWL 2.

The difference is demonstrated by the test case you have cited [5],
which is a positive entailment under the direct semantics and a
negative entailment under the RDF Based Semantics.  The test, as
approved by the WebOnt WG, was incorrect with respect to the direct
semantics (of both the original and updated specifications).

This WG will issue an errata to the OWL Web Ontology Language Test
Cases document noting this problem and will include corrected versions
of this test in the approved OWL 2 Test Case Repository.

The definition of entailment in the OWL 2 Direct Semantics document
will not be changed in response to your comment.


-- 
Mike Smith

Clark & Parsia

[1] http://www.w3.org/2007/OWL/wiki/Direct_Semantics#Inference_Problems
[2] http://www.w3.org/TR/owl-semantics/direct.html
[3] http://www.w3.org/TR/owl-semantics/rdfs.html
[4] http://www.w3.org/2007/OWL/wiki/RDF-Based_Semantics#Satisfaction.2C_Consistency_and_Entailment
[5] http://www.w3.org/2002/03owlt/Class/Manifest005#test

Received on Monday, 16 February 2009 22:08:43 UTC