W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2008

Re: Reference vs import <-- RIF Core shortened

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Sat, 22 Nov 2008 21:57:55 -0800
Message-ID: <4928F0E3.8090405@oracle.com>
To: Paul Vincent <pvincent@tibco.com>
CC: Christian de Sainte Marie <csma@ilog.fr>, Dave Reynolds <der@hplb.hpl.hp.com>, kifer@cs.sunysb.edu, Patrick Albert <palbert@ilog.fr>, "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>, Adrian Paschke <Adrian.Paschke@gmx.de>, Axel Polleres <axel.polleres@deri.org>, RIF WG <public-rif-wg@w3.org>

Paul,

RIF actually has an object/data model.  It's not very rich, because some 
WG members believed (erroneously) that they could specify RIF without 
*any* data model.  But of course we have Herbrand terms (flat relations 
in Core/PRD) and we have objects with slots and classes.  And we have 
the XML schema datatypes.  That sure sounds like an object/data model, 
and RIF translators are obliged to translate between this RIF data model 
and the target rule language data model.

Now, if we have an "import foo.xml" addition to RIF, then the 
translator's additional job is to "hook up" the facts in that xml 
document with the target rule language data model using whatever means 
it can (e.g. I like JAXB), but the ensemble must behave *as if* the xml 
syntax was mapped to RIF syntax in a manner that we specify.

Paul Vincent wrote:
> Gary - are you envisaging that RIF translators will also do object/data
> model translation?
>
> I have to say I didn't imagine that would be in scope - ie I assumed
> that RIF would assume that the translation of any external
> object/data/fact model would be handled by other means. 
>
> Paul Vincent
> TIBCO | Business Optimization | Business Rules & CEP
>  
>   
>> -----Original Message-----
>> From: Gary Hallmark [mailto:gary.hallmark@oracle.com]
>>     
>
>   
>> challenge accepted, so below
>>
>> Christian de Sainte Marie wrote:
>> Here's a production rule I'd very much like to write if I'm trying to
>> translate between RDF and Java objects:
>>
>> if ?o # ?c1 and ?o # ?c2 and not(?c1 = ?c2 or exists( ?c ?o # ?c and
>>     
> ?c
>   
>> ## ?c1 and ?c ## ?c2))
>> then ConstraintViolation("found an object that cannot have a Java
>>     
> Object
>   
>> Model")
>>     
>>>       
Received on Sunday, 23 November 2008 05:59:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:58 GMT