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

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