Re: Importing RDF documents from RIF - part 2

FWIW, the semantics of owl:imports is defined by OWL as well, plus  they have defined an
RDF serialisation, and that makes perfect sense to me, if I look at it from the 
So, I can't really follow the argument why this would be in the scope of RDF.

>  think it would be better to refer to the RIF ruleset
> from the SPARQL query, and have the RIF ruleset import the RDF dataset.

there is no way to do this directly, I mean without changing the definitions of
BGP extensions, that is at the heart of the definition of entailment regimes for SPARQL.

I agree with the concern that it might be too late for  RIF to squeeze that in the current specs, 
it'd be great though, if we'd get a WG note out at least. If only its to endorse that we'd use 
the URI rif:usedWithProfile?

Since OWL has defined an RDF serialisation, handling that from SPARQL is 

> By the way, I would be very interested in the semantics you have in mind
> for the SPARQL queries on RIF ruleset.

For very limited rulesets (strongly safe) and simple RDF its fairly straightforward, 
since the closure is finite, finiteness of answers to conjunctive queries (i.e. BGP matching) 
should be straightforward. I am unsure whether we'd get to any more complex combinations, 
i.e. mixing OWL/RDFS, etc. plus rulesets, this might also depend on how the resp 
OWL, RDFS, etc. entailment regimes evolve in SPARQL.. feedback welcome at [1], though you may 
want to wait for the next pub round which is pending (next week hopefully).


Axel
  
1. http://www.w3.org/TR/sparql11-entailment/

On 19 Jan 2010, at 15:07, Jos de Bruijn wrote:

> This sounds like a reasonable extension of the RDF semantics. Not
> convinced, though, that this is in the scope of the RIF-RDF+OWL spec.
> For this reason, and for procedural reasons, I suggest that if such an
> extension of RDF is of wider interest, a separate spec be written for
> this extension.
> 
> Furthermore, I am not convinced that extending RDF is the best solution
> to your problem of querying RIF-RDF combinations using SPARQL: RIF is
> "on top of" RDF. I think it would be better to refer to the RIF ruleset
> from the SPARQL query, and have the RIF ruleset import the RDF dataset.
> 
> By the way, I would be very interested in the semantics you have in mind
> for the SPARQL queries on RIF ruleset.
> 
> 
> Cheers, Jos
> 
> On 2010-01-19 15:55, Axel Polleres wrote:
> > Here the easy-to-digest version:
> >
> > In order to enable the import of RIF documents from RDF, I suggest the addition of a new section
> > 6 (or alternatively a new subsection to section 5) to
> > http://www.w3.org/2005/rules/wiki/SWC#Semantics_of_RIF-RDF_Combinations
> > which essentially says the following:
> >
> > ====================================================================================
> >
> > = 6 Importing RIF rulesets in RDF =
> >
> > The models of a RIF-X-combination (R,S) where any of the graphs in S contains a ground triple
> >
> >    R1 rif:usedWithProfile P .
> >
> > such R1 is an IRI referring to a RIF document and P is a URI referring to an imports profile as defined in
> > Section http://www.w3.org/2005/rules/wiki/SWC#Profiles_of_Imports
> > are restricted to those models which are also models of (G, R') where R' is identical to the RIF document R,
> > with the addition that R' has additional imports clauses
> >
> >   Imports( R1 )
> >   Imports( G P )
> >
> > Together with the conditions in section 5.2 this ensures that RIF-X-combinations where R is empty, i.e. which
> > are only defined by a set of RDF graphs, can also import RIF rulesets.
> >
> > ====================================================================================
> >
> > I think this should work apart from that there is one small issue which I consider possibly "suboptimal"
> > as opposed to "owl:imports".
> >
> > The triple
> >    R1 rif:usedWithProfile P .
> > is in such case still be considered part of the "data" whereas owl:imports triples are in fact not considered in the OWL direct semantics, right?
> >
> > maybe those better filled in about "owl:imports" can help, I could actually also try to solicit help/alternative suggestions from people that
> > have a more complete understanding on that matter.
> >
> > best,
> > Axel
> 
> --
> Jos de Bruijn
>   Web:   http://www.debruijn.net/
>   Phone: +39 0471 016224
>   Fax:   +39 0471 016009
>

Received on Tuesday, 19 January 2010 15:48:33 UTC