17:58:49 <RRSAgent> RRSAgent has joined #rif-prd
17:58:49 <RRSAgent> logging to http://www.w3.org/2009/01/27-rif-prd-irc
17:59:04 <csma> rrsagent, make log public
17:59:14 <csma> rrsagent, make minutes
17:59:14 <RRSAgent> I have made the request to generate http://www.w3.org/2009/01/27-rif-prd-minutes.html csma
18:00:46 <csma> zakim, who is on the phone?
18:00:46 <Zakim> I notice SW_RIF(PRD)1:00PM has restarted
18:00:47 <Zakim> On the phone I see ??P0, ??P1
18:01:37 <csma> q?
18:02:21 <csma> zakim, ??P1 is me
18:02:23 <Zakim> +csma; got it
18:02:29 <csma> zakim, mute me
18:02:29 <Zakim> csma should now be muted
18:02:36 <Zakim> +Hassan_Ait-Kaci
18:02:46 <csma> zakim, unmute me
18:02:46 <Zakim> csma should no longer be muted
18:02:58 <Gary> Gary has joined #rif-prd
18:03:05 <csma> zakim, ??P0 is cke
18:03:05 <Zakim> +cke; got it
18:03:36 <Zakim> +GaryHallmark
18:04:27 <Hassan> Hassan has joined #rif-prd
18:08:42 <apaschke> apaschke has joined #rif-prd
18:09:35 <Zakim> +[IPcaller]
18:09:50 <apaschke> Zakim, [IPcaller] is me
18:09:50 <Zakim> +apaschke; got it
18:10:51 <apaschke> Zakim, who is on the phone?
18:10:51 <Zakim> On the phone I see cke, csma, Hassan_Ait-Kaci (muted), GaryHallmark, apaschke
18:11:23 <csma> http://www.w3.org/2005/rules/wg/wiki/Arch/Extensibility
18:11:34 <csma> A RIF dialect is forward compatible if a conformant implementation will process instances of any future or unknown extension according to the specification of the said extension.
18:12:49 <csma> obj[att=val]
18:13:31 <csma> = to ->
18:14:04 <csma> <object> to <Frame>
18:14:40 <csma> fallback="reject"
18:15:03 <csma> fallback=IRI
18:17:58 <csma> obj[att less-than val]
18:18:42 <csma> exist ?x obj[att->?x] and (?x less-than val)
18:22:38 <apaschke> default would be single valued (so Core users don't need to care about)
18:28:05 <apaschke> e.g. a Prolog like relation of a Frame http://fragrantfish.com/biz-vocabulary#Item.deliveredTo(Item, Item.deliveredTo)
18:29:08 <apaschke> and the Frame representation would be Item(http://fragrantfish.com/biz-vocabulary#Item.deliveredTo -> ?Item.deliveredTo)
18:29:46 <Zakim> -apaschke
18:30:10 <apaschke> we solved a similar transformation in the demo we had at RuleML-2008 between ILog, Oracle BRMS and Prova
18:31:19 <Zakim> +??P4
18:31:29 <apaschke> Zakim, ??P4 is me
18:31:29 <Zakim> +apaschke; got it
18:33:45 <apaschke> the demo at RuleML-2008 http://ruleml-challenge.cs.nccu.edu.tw/?q=node/25
18:35:39 <apaschke> yes, to really support object models we would need to support type information such <Var type=xsd:Integer>X</Var>
18:38:02 <csma> Adrian, my prefered approach to that is that a RIF document should have an accompanying data model doc if needed; e.g. an XML schema, giving all the info about cardinality, data types etc
18:39:50 <apaschke> married(A,B) married(A,C) is valid
18:41:30 <Hassan> excl_assert(P) :- ( P , !, retract(P) ; assert(P)).
18:42:12 <apaschke> logically it is correct, it is only wrong with respect to the application which forbids that someone is married to two different persons
18:42:39 <apaschke> therefore you would need to add constraints
18:45:33 <cke> if married(A,B) married(A,C) is valid, the uncle and aunt relations will be wrong. Maybe we just say this is fine. So far, I try to understand what to do with this.
18:48:33 <apaschke> we could use an optional attribute in XML; by default or when omitted (as in Core) it means singel valued
18:49:20 <cke> in terms of processing, it is just simpler to consider married(A,B) and married(A,C) as valid. The logic will be an additive logic.
18:53:36 <apaschke> semantics of BLD frames can not be changed
18:53:55 <apaschke> due to last call
18:56:02 <apaschke> but in Core we don't have sets 
18:56:08 <apaschke> lists etc.
18:57:08 <csma> Right, Adrian. But adding a datatype for sets/list/whatever is something we will have to discuss...
19:03:18 <Zakim> -apaschke
19:03:19 <Zakim> -Hassan_Ait-Kaci
19:03:21 <Zakim> -GaryHallmark
19:03:22 <Zakim> -cke
19:03:24 <Zakim> -csma
19:03:26 <Zakim> SW_RIF(PRD)1:00PM has ended
19:03:27 <Zakim> Attendees were csma, Hassan_Ait-Kaci, cke, GaryHallmark, apaschke
19:03:29 <csma> rrsagent, make minutes
19:03:29 <RRSAgent> I have made the request to generate http://www.w3.org/2009/01/27-rif-prd-minutes.html csma