W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2009

Re: Bugs found in the editor draft for OWL 2 RL - RIF

From: Ivan Herman <ivan@w3.org>
Date: Wed, 30 Sep 2009 19:35:41 +0200
Message-ID: <4AC396ED.8020403@w3.org>
To: Dave Reynolds <der@hplb.hpl.hp.com>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>


Dave Reynolds wrote:
> 
> Thanks Ivan. Very helpful to have these problems spotted. I'm copying 
> the WG list for proper archiving.
>

o.k.
[skip]
> 
> Actually in that case the bug was a superflous ')' before the ':-', the 
> one at the end is right.  I hope I never have to write any of this 
> Presentation Syntax!

:-)

> 
>> --------------
>>
>> Also, though this is more editorial than other... My understanding of
>> your encoding on the dt-type2 rule (in 4.4.3) is that
>>
>> ?lt[rdf:type->?ty rdf:type->rdfs:Literal]
>>
>> does actually slightly more than what dt-type2 requires, insofar as it
>> also generates the (?lt rdf:type rdfs:Literal) which is, strictly
>> speaking, not in dt-type2. Though it is _correct_ to add it there
>> because there is a subsumption on that triple, maybe it deserves an
>> editorial note...
> 
> I don't agree with this one, though as you say it is more editorial.
> 
> In the OWL 2 Profiles document dt-type2 says that it asserts
> T(lt, rdf:type, dt) ""for each literal lt and each datatype dt supported 
> in OWL 2 RL such that the data value of lt is contained in the value 
> space of dt"". The issue is that rdfs:Literal is listed as a supported 
> datatype for OWL 2 RL and since all those literal values are contained 
> in rdfs:Literal then dt-type2 should in fact be asserting those triples 
> as well.
>

O.k. It may still be good to note that in the document itself, just to 
help casual readers like me:-)

[skip]

> 
>> I hope this is helpful...
> 
> Very much so, thanks.
>

You are very welcome!

Ivan


> Dave
> 
>>
>> Cheers
>>
>> Ivan
>>
>> [1] http://www.w3.org/2005/rules/wg/draft/ED-rif-owl-rl-20090929/
>>
> 
> 

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf


Received on Wednesday, 30 September 2009 17:32:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 30 September 2009 17:32:32 GMT