W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2010

Re: Importing RDF documents from RIF - part 2

From: Axel Polleres <axel.polleres@deri.org>
Date: Tue, 19 Jan 2010 14:55:29 +0000
Cc: public-rif-wg@w3.org
Message-Id: <AD847D21-1B11-4A41-B51E-D4B8A30A4873@deri.org>
To: Axel Polleres <axel.polleres@deri.org>
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 
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.

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:57 UTC