Re: Importing RDF documents from RIF - part 2

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

Received on Tuesday, 19 January 2010 14:56:04 UTC