Re: RIF XML version of OWL RL rules

 Here are the RIF/XML (and associated PS) files [1] for the rules given in
Appendix 6 of the OWL RL document [2].

I removed all the annotations. Are those in correct syntax? In the EBNF for
IRIMETA I think "IRICONST?" needs to be replaced by "Const?".

In the SimpleTriple and Datatype rules, I changed all occurences (10 in
SimpleTriple, 32 in Datatype) of Foralls without variables, which I think
are syntactially incorrect, from (e.g.):
       Forall (rdfs:label[rdf:type->owl:AnnotationProperty])
  to
       rdfs:label[rdf:type->owl:AnnotationProperty]

Stella


[1] http://www.w3.org/2005/rules/test/owlrl/
[2]
http://www.w3.org/2005/rules/wiki/OWLRL#Appendix:_OWL_2_RL_ruleset_-_presentation_syntax<http://www.w3.org/2005/rules/wiki/OWLRL#Appendix:_OWL_2_RL_ruleset_-_presentation_syntax>



On Tue, Mar 2, 2010 at 12:11 PM, Sandro Hawke <sandro@w3.org> wrote:

>
> Stella, can you run the RIF PS->XML translator on the OWL RL rules [1],
> so folks can try running them?  Mike Dean, in particular, is eager to
> try them.
>
> (this is coming out of a discussion happening now on the telecon.)
>
>    -- Sandro
>
> [1] http://www.w3.org/2005/rules/wiki/OWLRL
>