RE: [RIF] homework for 10/17 telecon

On Mon, 2006-10-16 at 18:36 +0200, Gerd Wagner wrote:
> > We expect to plan the bulk of the next telecon discussing the technical 
> > proposal [http://www.w3.org/2005/rules/wg/wiki/CORE], especially the 
> > syntax. 
> >[...]
> As an example of typing in a rule condition language,
> consider the following property atom in IRL:
> 
> 	cust:GoldCustomer; sCart:ShoppingCart(customer == cust);
> 
> It states that the customer property of the shopping cart sCart
> has the value of cust, which is a varaible of type GoldCustomer.
> It involves two variables, cust and sCart, both of which are
> typed. Having a specific form, it should also be viewed as a
> special type of atom, namely an object-valued property atom.
> Rewritten in the current core condition language proposal as
> the untyped standard predicate logic atom
> 
> 	customer( sCart, cust),

I would expect that sort of type stuff* to turn into additional
premises.

In SPARQL[1], I might write

... WHERE { ?cust a ex:GoldCustomer.
  ?sCart a ex:ShoppingCart;
    ex:customer ?cust }

which is pretty close to the syntax supported by the n3absyn.py
code I have been playing with[2]; attached find that atom
embedded in a rule written in N3 and then converted to
(my current understanding of) RIF/XML.


[1] http://www.w3.org/TR/rdf-sparql-query/
[2] http://www.w3.org/2000/10/swap/n3absyn.py


* I could be completely confused. I'm not familar with IRL.
I searched around with google and then realized it's
in the wiki...
http://www.w3.org/2005/rules/wg/wiki/List_of_Rule_Systems


> all three type information items would get lost, so we would
> not be able to reconsruct this property atom when imported
> to, say, Jboss Rules in this reduced form. 

Jboss... another one I don't know well... but a little searching
around yeilds "3.5.4.1. Field Constraints" which are pretty
much what I expected.
http://labs.jboss.com/file-access/default/members/jbossrules/freezone/docs/3.0.4/html/index.html

> -Gerd
> 
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E