[LC Response] To Mike Smith - Re: Comment on RDF Mapping: variables in sequence pattern

Dear Mike:

Thank you for your comment
on the OWL 2 Web Ontology Language last call drafts. 

You have indeed identified a bug in the mapping from RDF to the
functional syntax. The WG has decided to address this mapping by adding
an extra condition to the mapping from RDF graphs to the functional
syntax that prohibits the multiple use of list nodes. This outlaws
malformed lists, including lists with internal loops and lists that
cross. This is a change to the technical specification of OWL 2. 

The changes to the OWL 2 documents are:


Please acknowledge receipt of this email to
<mailto:public-owl-comments@w3.org> (replying to this email should
suffice). In your acknowledgment please let us know whether or not you
are satisfied with the working group's response to your comment. 

Peter F. Patel-Schneider 
on behalf of the W3C OWL Working Group 

From: "Mike Smith" <msmith@clarkparsia.com>
Subject: Comment on RDF Mapping: variables in sequence pattern
Date: Tue, 6 Jan 2009 09:53:10 -0500

> While verifying some WebOnt test cases against the RDF to structural
> mapping defined at [1], I noticed that there is no constraint
> preventing variables within the sequence pattern from matching the
> same node (see the second row of Table 3 at [1]).  I found this
> problematic, particularly when trying to avoid things like cyclic
> lists (as in the nonconclusion ontology of [I5.5-006]).
> I believe that adding the constraint to the mapping document will
> clarify the expected behavior.
> -- 
> Mike Smith
> Clark & Parsia
> http://clarkparsia.com/
> [1] http://www.w3.org/TR/2008/WD-owl2-mapping-to-rdf-20081202/#Mapping_from_RDF_Graphs_to_the_Structural_Specification
> [I5.5-006] http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/TestCase:WebOnt-I5.5-006

Received on Wednesday, 4 February 2009 19:09:48 UTC