- From: Axel Polleres <axel.polleres@deri.org>
- Date: Tue, 19 Jan 2010 14:55:29 +0000
- To: Axel Polleres <axel.polleres@deri.org>
- Cc: public-rif-wg@w3.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 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