IRC log of rif on 2007-09-27

Timestamps are in UTC.

13:31:06 [RRSAgent]
RRSAgent has joined #rif
13:31:06 [RRSAgent]
logging to
13:31:11 [ChrisW]
rrsagent, make minutes
13:31:11 [RRSAgent]
I have made the request to generate ChrisW
13:31:21 [DaveReynolds]
csma: e.g. the AEBNF might be normative with the asn07 as informative because it is more readable
13:31:36 [DaveReynolds]
Sandro: would lean to only having the XML Schema as normative, all else informative
13:32:00 [DaveReynolds]
Jos: but the semantics ties to a specific syntax and so that syntax also has to be normative
13:32:35 [DaveReynolds]
Harold: the semantics is given in presentation syntax so need semantics-preserving xform from ps to xml syntax
13:33:12 [DaveReynolds]
csma: does the semantics need presentation syntax rather than abstract syntax?
13:33:14 [ChrisW]
rrsagent, make logs public
13:33:57 [DaveReynolds]
Michael: order by awkwardness - asn, abstract, presentation from hardest to easiest
13:34:18 [DaveReynolds]
13:34:27 [DaveReynolds]
csma: are we sure they are equivalent?
13:34:45 [DaveReynolds]
Sandro: no sure, believes so, not implemented converters for all cases
13:34:52 [DaveReynolds]
13:35:33 [DaveReynolds]
csma: don't need complete equivalence just that the specification of RIF is same in each case
13:35:55 [Zakim]
13:36:54 [DaveReynolds]
Harold: As Axel pointed out, there were problems with asn07 for things like fixed cardinality for equals
13:37:31 [DaveReynolds]
Sandro: it is the mapping from presentation syntax to XML syntax is the core thing that has to be normative, all else is just editorial
13:37:46 [Zakim]
13:37:55 [IgorMozetic]
zakim, ??P12 is me
13:37:55 [Zakim]
+IgorMozetic; got it
13:38:01 [IgorMozetic]
zakim, mute me
13:38:01 [Zakim]
IgorMozetic should now be muted
13:38:04 [DaveReynolds]
csma: does semantics need to be explained only for the presentation syntax?
13:38:47 [DaveReynolds]
Jos: if have an abstract syntax would expect that to be normative, define syntax in terms of that, but can equiv specify semantics in PS and have formal xform from AS to PS
13:39:27 [DaveReynolds]
csma: if we need a normative AS do we have concensus on AEBNF?
13:39:29 [AxelPolleres]
THe problem with devising an abstract syntax notation and its semantics is not really necessarily the scope of RIF, honestly. I think of what we want to do with asn, we could still do it with OWL, see:
13:39:29 [AxelPolleres]
13:39:35 [DaveReynolds]
Sandro: depends on its purpose
13:39:47 [DaveReynolds]
Michael: asn is more like a data model
13:39:51 [DaveReynolds]
Sandro: right!
13:39:54 [AxelPolleres]
(my slides presented in a previous F2F)
13:40:24 [DaveReynolds]
Michael: don't need an AS just a syntax for defining the semantics, if also want a data model then do that separately
13:40:34 [DaveReynolds]
csma: what would be need a normative data model for?
13:40:53 [DaveReynolds]
Jos: isn't that for extensibility
13:41:13 [DaveReynolds]
Sandro: would accept asn not normative for now
13:41:39 [DaveReynolds]
csma: extensibility would be a argument in favour of having normative data model
13:42:04 [DaveReynolds]
Michael: thought is more like metaprogramming - manipulate rule syntax by rules, looks more like an API
13:42:12 [DaveReynolds]
Jos: in that case doesn't need to be normative
13:42:32 [DaveReynolds]
Axel: comes back to the ontologisation of RIF, does similar job to asn
13:42:56 [DaveReynolds]
Axel: so do we fix problems in asn or fall back to OWL?
13:43:07 [DaveReynolds]
Sandro: asn just subset of OWL with simpler syntax
13:43:15 [DaveReynolds]
Axel: need more formal specification of that
13:44:16 [DaveReynolds]
Dave: PRR is specified in terms of data model, is the reason for keeping a data model rep of RIF
13:45:09 [DaveReynolds]
csma: XML syntax of RIF must be a concrete syntax of PRR metamodel, doesn't require RIF has it's own metamodel but do want RIF XML syntax to be compatible with the PRR metamodel
13:45:49 [DaveReynolds]
Axel: whenever we make changes at the moment have to change both asn and syntax, better to keep them apart
13:46:40 [DaveReynolds]
csma: maybe come back to PRR alignment when we talk about the rule syntax
13:47:39 [DaveReynolds]
csma: if motivation of asn is extensibility couldn't it be that in BLD xml is normative, then in arch document explain how to go back to AS extend then go forward again
13:48:00 [DaveReynolds]
csma: then would need to decide now if AS is normative or not
13:48:14 [Hassan]
13:48:26 [DaveReynolds]
Sandro: fine with talking asn and UML out of next draft, or say informative
13:48:51 [ChrisW]
ack hassan
13:49:32 [DaveReynolds]
Hassan: any programming language design regards the abstract syntax is the normative one, it is the one for the semantics - any surface syntax will then be OK
13:50:17 [DaveReynolds]
csma: many implementers will only look at the XML schema and implement it, so it has to be normative
13:50:31 [DaveReynolds]
Hassan: the semantics is about the essential constructs which means the abstract syntax
13:50:38 [sandro]
sandro has joined #rif
13:51:12 [DaveReynolds]
csma: ANSI std for C etc don't they include the surface syntax in the standard?
13:51:18 [DaveReynolds]
Hassan: disagrees
13:51:42 [DaveReynolds]
csma: RIF is about interchange so the interchange syntax has to also be normative
13:52:18 [DaveReynolds]
Sandro: the abstract syntax doesn't have to be visible to the rest of the world, doesn't go over the network
13:53:19 [DaveReynolds]
Hassan: talking about any tree representation of AS - asn07, KM3, whatever - so long as it is 2D and directly corresponds to the tree
13:54:16 [DaveReynolds]
csma: concrete syntax used to explain the semantics, concrete syntax used for the interchange, abstract could be hidden as part of the arch document
13:54:36 [DaveReynolds]
Hassan: I as implementer would implement the abstract syntax
13:55:21 [DaveReynolds]
Harold: engine implementer is interested in the schema, but the users are interested in the instance documents which are in XML
13:56:33 [DaveReynolds]
Hassan: how are you going to guarantee the surface syntax is correct if you hide the abstract syntax
13:58:32 [AxelPolleres]
As for "exhange is usually done in XML"... there are counterexamples... starting, but happening: People actually do start using things like Turtle to exchange RDF, look at people *do* publish/exchange RDF in Turtle/N3 as well. (just a comment, I know we have XML in our charter ;-))
14:00:16 [DaveReynolds]
Axel: Hassan saying the exchange syntax must reflect the abstract model
14:00:28 [Hassan]
14:00:47 [DaveReynolds]
Bob: are you saying we should use the abstract syntax as the mean of communication?
14:01:44 [DaveReynolds]
Bob: as a programmer I have to work with the concrete syntax
14:01:55 [josb]
josb has joined #rif
14:02:51 [DaveReynolds]
Bob: what do I translate my rules to an abstract or a concrete syntax?
14:06:13 [DaveReynolds]
[Clarification the Hassan is indeed talking about abstract syntax in the sense of tree structured reprsentation as in AHU et al, so XML schema is isomorphic to that]
14:07:07 [AxelPolleres]
I would like propose some fixes in the abstract syntax/UML if we make it normative. E.g. the ordered/cardinality issue.
14:07:13 [DaveReynolds]
csma: raise an issue to capture this discussion on which is normative, need editor for the issue
14:09:06 [DaveReynolds]
Michael: you agree that giving semantics direct to XML syntax is painful, so need linear concrete syntax for writing down the semantics, but XML syntax has to be nomative so the mapping from the concrete syntax using in spec to the XML needs to also be normative
14:09:17 [AxelPolleres]
...OWL seems to address cardinality. What about ordered attributes (like ordered paramterers in terms)? This could be, instead of an "ordered" flag, be tackled with a "position" property for paramerters. (getting already to technical detail here.)
14:09:21 [DaveReynolds]
s/using/used in/
14:10:08 [MoZ]
MoZ has joined #rif
14:10:18 [DaveReynolds]
Michael: for the mapping to be "correct" need semantics on both sides to verify the mapping is correct
14:10:23 [AxelPolleres]
... if we'd use that, I think I'd be fully happy with the abstract model.
14:14:24 [DaveReynolds]
Discussion on the AS/PS/XML triangle which mappings between them are needed
14:15:00 [DaveReynolds]
Michael: the PS is the one that has the semantics so that is the only one that has to be normative
14:16:00 [DaveReynolds]
Hassan: the semantics is on the AS, even if written down on PS, there is an arrow from PS to AS
14:16:15 [DaveReynolds]
Hassan: what is binding is how to treat the AS constructs
14:16:37 [DaveReynolds]
csma: Hassan the XML schema is one representation for the AS
14:16:48 [DaveReynolds]
s/Hassan/Hassan is saying/
14:17:29 [AxelPolleres]
Let me summarize my overall understanding of RIF rule interchange:
14:17:29 [AxelPolleres]
1) We have a *GENERIC* abstract model for conditions, rules, etc.
14:17:29 [AxelPolleres]
2) syntactically, the XML exchange syntax MUST reflect/express this abstract model
14:17:29 [AxelPolleres]
3) What is a dialect:
14:17:29 [AxelPolleres]
a) it MUST restricts/define which parts of the abstract model you are allowed to use and how
14:17:31 [AxelPolleres]
b) it MUST assign a semantics to this restricted part (model-theoretic, proof-theoretic, operational in that order of preference)
14:17:33 [AxelPolleres]
c) it MAY assign "roundtrippable" own syntaxes (arbitrary many, if you want ;-) ) ... and even define the semantics in terms of one of those special syntaxes
14:17:36 [AxelPolleres]
4) BLD should define a minimal dialect and other dialects should agree withthe semantics of BLD *on the part of the abstract model they share with BLD
14:17:53 [AxelPolleres]
Would I get a minute to present this on the projector? ;-)
14:21:06 [Hassan]
I agree with Axel's approach!
14:22:46 [DaveReynolds]
Michael: what's wrong with the linear syntax? BNF specifies a tree right.
14:23:02 [AxelPolleres]
s/other dialects should/other dialects MUST
14:23:10 [DaveReynolds]
Hassan: the BNF specifies lots of irrelvant details that distract from the AS
14:23:25 [DaveReynolds]
Hassan: things like punctuation
14:25:17 [DaveReynolds]
Michael: so formally we'll have a tree but when we write it down we use this surface syntax, this is equiv to having a bidirectional mapping or at least map from PS to AS
14:25:33 [DaveReynolds]
Michael: but the mapping has to be normative to carry the semantics
14:26:10 [DaveReynolds]
Hassan: the semantics is attached to the AS, the PS is just a way to write it down but the semantics is being given to the tree
14:28:04 [DaveReynolds]
csma: propose that we resolve that the XML schema will be normative
14:28:11 [AdrianPa]
AST (abstract syntax tree) are two-dimensional trees they can encode the structure (as determined by a parser) of the input as well as the input symbols.
14:28:26 [DaveReynolds]
csma: propose that we raise an issue how to link the semantics to the XML schema
14:28:58 [DaveReynolds]
Michael: objects to how long are going keep the issue open, surely we need a draft in October?
14:29:34 [DaveReynolds]
Axel: does not matter which syntax we define the semantics in, so long as it is round trippable
14:30:21 [DaveReynolds]
Axel: doesn't want to lock in the normative XML Schema for BLD if it locks the schema giving problems for other dialects
14:30:57 [DaveReynolds]
Sandro: the opposite would be to say that the mapping from PS to XML is normative
14:31:30 [DaveReynolds]
Jos: agrees
14:33:31 [DaveReynolds]
Jos: XML schema is not a complete specification of the syntax of the language (scribe is confused)
14:34:47 [DaveReynolds]
Sandro: a long time ago we had a algorithm for mapping from PS (in BNF) to XML, perhaps we should just back to that
14:35:07 [Harold]
Here is a simple example why we use the presentation syntax for the semantics: It's easier, in the semantics, to state, on the presentation syntax level, I |= head :- body than, on the abstract syntax level, I |= Implies(then->head, if->body). Even harder, in the semantics, to state this on the XML syntax level.
14:35:08 [DaveReynolds]
csma: then you don't have an XML Schema
14:35:40 [DaveReynolds]
Hassan: this the approach I'm taking
14:36:05 [AxelPolleres]
The only misconception which we still have is how tightly coupled the abstract model is to the presentation syntax... that means that the "simple" mapping to the abstract model, ie. deriving the abstract model to possibly limiting assumptions in BLD seems to possibly create lock-in situations for later extensions. That's my whole point.
14:36:39 [AxelPolleres]
+1 to Harold, that is in the spirit of 3)c) above.
14:36:45 [DaveReynolds]
Michael: any example of giving semantics to 2D language?
14:37:01 [DaveReynolds]
[not as scribe] -1 to Harold, saving a few characters is irrelevant
14:38:43 [josb]
-1 to Harold; agree with Dave; a few characters more or less doesn't matter
14:38:57 [DaveReynolds]
Michael: both sides of the translation must be normative
14:39:06 [DaveReynolds]
csma: have to put this on paper
14:39:20 [DaveReynolds]
Action: Hassan to clarify the relationship between AS, PS and semantics
14:39:20 [rifbot]
Created ACTION-346 - Clarify the relationship between AS, PS and semantics [on Hassan Ait-Kaci - due 2007-10-04].
14:40:04 [AxelPolleres]
clarification: with my +1 I wanted to state that defining the semantics in whatever is most convenient is perfectly fine for me. Not whether the first or the latter of his was this most convenient one.
14:40:18 [DaveReynolds]
ScrribeNick: BobMoore
14:40:22 [DaveReynolds]
Scribe: Bob Moore
14:40:27 [ChrisW]
ScribeNick: BobMoore
14:41:06 [BobMoore]
Sandro - should we have a break
14:41:15 [BobMoore]
csma - only if you agree with me
14:41:57 [BobMoore]
Dave - does not think that having all 3 syntaxes without defining which is normative is a good idea
14:42:27 [BobMoore]
csma - need to have XML schema in next draft
14:42:34 [Harold]
DaveR and Jos, as you know, the semantics is often given to pieces of text, inline. It would be much harder to use the abstract syntax, inline, in this way. However, the Abstract EBNF is at least textual and *could* be used for the semantics.
14:43:03 [BobMoore]
micheal - can't be all normative without proof of equivalence
14:43:28 [BobMoore]
Dave - could do
14:44:02 [BobMoore]
csma - thinks we can leave this open in the draft
14:48:22 [BobMoore]
Chris would like to figure out what the issue is as far as all are concerned and what people think the options are
14:48:35 [BobMoore]
Yes we'll let you know
14:48:41 [Zakim]
14:53:16 [ChrisW]
After the break, answer:
14:53:17 [ChrisW]
What are we talking about?
14:53:17 [ChrisW]
What are the choices?
14:53:17 [ChrisW]
Which choices do you prefer?
15:02:54 [csma]
Hassan, we are reconvening
15:03:29 [csma]
Chair: Chris Welty
15:04:30 [Zakim]
15:05:43 [BobMoore]
Chris summary - Michael wants a contcrete syntax to define the formal semantics because he has issues about doing this within an abstract syntax
15:07:51 [BobMoore]
Michael comments specific example with regard to repeated argumetns only using DTD to work with
15:08:29 [BobMoore]
Chris has no particular view as to which is the best way of doing it
15:09:58 [josb]
josb has left #rif
15:10:06 [josb]
josb has joined #rif
15:10:12 [sandro]
csma: three roles: 1 xml syntax, 2 presentation syntax, 3 syntax for data model
15:10:20 [sandro]
(my words, not his)
15:10:25 [BobMoore]
csma - three roles to be achieved - something to define XML, something to define semantics, somththing for data model
15:11:29 [BobMoore]
csma - could use XML to stand for both XML and semantics
15:14:05 [BobMoore]
csma - translation from rules to RIF should be a secure process - ie translation process should ensure that output XML is syntactically and sematically valid
15:14:31 [sandro]
Sandro: We are talking about the PS-AS-XS triangle
15:14:31 [sandro]
Sandro: The choices are whether to us an AS, and if so, what the AS is like
15:14:31 [sandro]
Sandro: My preference if I were doing this alone would be to us asn07; but in the context of this WG let's just use the PS-XS line.
15:16:07 [csma]
My preference would be to use the XML schema to specify the semantics as well, so that we would have only one norm (the XML schema); we may keep other (informative) representations for readibility
15:16:37 [BobMoore]
Dave - basically not sure that the abstract syntax is necessary, but it has some advantages and could be used to provide a single point of support
15:17:45 [BobMoore]
preference is to keep all three and keep the abstract syntax as the focal point
15:18:06 [csma]
If specifying the semantics for the XML schema is impossible or too much of a burden, I would support having a concrete syntax (EBNF) to specify the semantics, and a mapping between AS and CS
15:19:47 [sandro]
BobMoore: concrete syntax, with semantics attached, and a mechanism for moving from that to XML. The AS doesn't seem to play an enormous role. Whenever you're implementing, you'll use some sort of AS, but in fact you can use different AS's -- the AS doesn't have to be unique. If the semanics hang off the PS, then let's start there.
15:20:09 [sandro]
BobMoore - so the PS has warts, but people can build up from it.
15:21:05 [sandro]
BobMoore: so the PS has warts, but people can build up from it. we still need the XML Schema eventually. We're always going to be a position of generating things which are semantically meaningless but syntactically correct. At best we can avoid having things be syntactically problematic.
15:21:32 [sandro]
BobMoore: If we work from the assumption that the rules are valid in the first place, then we don't need to worry too much about making the schema restrictive.
15:22:15 [sandro]
BobMoore: there may be no semantics for some Syntactically Valid XML documents.
15:22:33 [sandro]
Chris: Well -- there may be restriction you want to put on a DIALECT.
15:23:13 [sandro]
csma: If you know the semantics of a dialect ..... garbage in garbage out.
15:25:22 [sandro]
Chris: it's not about correctness, it's about the boundaries of a dialect which can or cannot be expressed.
15:25:40 [sandro]
MichaelKifer: eg DTDs are CF, but FOL is not a CF language.
15:26:49 [sandro]
DaveReynolds: things like declaration/use are part of syntax specification of a language, but not in the BNF
15:27:07 [sandro]
(various): where is the syntax / semantic line here?
15:28:17 [BobMoore]
paula - need a presentation syntax, but also need an abstract syntax if we want to extend things, and the XML is also needed so she would like to keep all three syntaxes
15:29:44 [BobMoore]
Harold has some slides to show his ideas
15:30:54 [BobMoore]
Basically his view is that the instances are effectively isomorphic so the "correctness" of all the syntaxes/semantics is implicit
15:33:34 [BobMoore]
Is any presentation of an abstract syntax still abstract?
15:34:20 [BobMoore]
Are the examples of the use of the Abstract Syntax actually a concrete syntax?
15:37:23 [BobMoore]
Harold - we need the abstract syntax to keep in tune with the way other groups are going
15:37:45 [Hassan]
Everybody agrees about the triangle and maintaining each three reps consistent with one another. The point is which is normantive!
15:37:59 [Hassan]
15:38:37 [BobMoore]
Harold - since he has demonstrated a translation process between abstract and concrete syntaxes they are essentially isomorphic
15:39:49 [DaveReynolds]
Dave position summary:
15:39:51 [DaveReynolds]
Issue: Need linear notation for writing down semantics (PS), XML syntax
15:39:52 [DaveReynolds]
(XS) for interchange and link between the two.
15:39:53 [BobMoore]
Harold - could in theory "lift" the semantics from the concrete syntax to the abstract layer
15:39:54 [DaveReynolds]
Desirable to have one point of maintenance (AS) to similify extensions,
15:39:55 [DaveReynolds]
from which both PS and XS can be mechanically derived.
15:39:57 [DaveReynolds]
15:39:58 [DaveReynolds]
(1a) No AS, direct mapping for PS to XS.
15:40:00 [DaveReynolds]
(1b) As (1a) but make PS as minimalist as possible, close to abstract
15:40:01 [DaveReynolds]
syntax (i.e. in style of OWL) rather than half-way to syntax in which
15:40:03 [DaveReynolds]
people would actually like to write down rules
15:40:04 [DaveReynolds]
(2) Have a abstract (tree, 2D) model with a bidi map to PS, map to
15:40:06 [DaveReynolds]
XS. Notation for directly writing down AS (KM3, asn) as a single point
15:40:07 [DaveReynolds]
of maintenance.
15:40:09 [DaveReynolds]
Preference: for (2) would accept (1b). Prefer 2 partly for maintenance
15:40:10 [DaveReynolds]
argument. Concered that current spec has lots of things about escaping
15:40:12 [DaveReynolds]
and mangling representations (e.g. handling of rif:text) which are
15:40:13 [DaveReynolds]
only relevant to PS and not to XS or processing.
15:42:01 [BobMoore]
Michael - his thinking is to make the concrete syntax more abstract (to the point at which it becomes painful to use)
15:42:01 [BobMoore]
Michael - his thinking is to make the concrete syntax more abstract (to the point at which it becomes painful to use)
15:42:35 [BobMoore]
Effectively the idea seems to be to merge the concrete and abstract
15:43:28 [BobMoore]
Jos - thinks it might be an idea to raise the issue of linear vs non-linear syntaxes
15:46:21 [BobMoore]
Jos - XML schemas are not linear (?)
15:48:53 [BobMoore]
Alex - happy with EBNF presentation syntax for semantics, have an abstract model with several abstract syntaxes
15:49:12 [josb]
15:49:41 [BobMoore]
Alex - he doesn't really see that there is a real difference between the EBNF, ans07 and XML schema syntaxes
15:50:54 [DaveReynolds]
15:51:14 [BobMoore]
Alex - some issues arise in the abstract model with regard to ordering and cardinality
15:52:35 [BobMoore]
Alex - these are possibly because we are trying to base the realisations of the abstract syntax too closely on the presentation syntaxes
15:53:08 [BobMoore]
Alex - only need to have a mapping from presentation syntax to XML
15:53:45 [BobMoore]
Alex - don't really need to make the presentation EBNF more abstract
15:54:11 [Hassan]
15:54:20 [BobMoore]
Mike - thinks the XML must be "normative" as this is what people will actually use
15:54:31 [AxelPolleres]
I paste my views in irc now... (sorry, this is a bit lengthy):
15:54:32 [AxelPolleres]
I) EBNF (presentation) syntax and defining semantics of BLD
15:54:32 [AxelPolleres]
in terms of it, is perfect for me. (maybe trying to minimize
15:54:32 [AxelPolleres]
punctuation as far as possible, as proposed by Dave)
15:54:32 [AxelPolleres]
15:54:32 [AxelPolleres]
This should be normative!
15:54:35 [AxelPolleres]
15:54:36 [AxelPolleres]
II) Abstract model needs re-thinking at some points (order, cardinality), which
15:54:38 [AxelPolleres]
I think are easy to fix... (I can try to work my concrete proposal out till tomorrow.)
15:54:40 [AxelPolleres]
3 concrete technical problem in the current abstract model:
15:54:42 [AxelPolleres]
1) order, cardinality
15:54:44 [AxelPolleres]
2) no distinction between
15:54:46 [AxelPolleres]
15:54:46 [BobMoore]
Mike - he's not really sure what "normative" means
15:54:46 [BobMoore]
Mike - he's not really sure what "normative" means
15:54:48 [AxelPolleres]
15:54:50 [AxelPolleres]
15:54:52 [AxelPolleres]
( not even in presentation EBNF, while we do have a distinction
15:54:54 [AxelPolleres]
on the semantics level, easy to fix, allow
15:54:56 [AxelPolleres]
Uniterm ::= Const
15:54:58 [AxelPolleres]
15:55:00 [AxelPolleres]
III) We can (and probably should!) fix these issue in the abstract model/syntax
15:55:02 [AxelPolleres]
and proceed to an XML exchange syntax now for BLD from it along with back
15:55:04 [AxelPolleres]
and forth mappings for representation EBNF. This exchange syntax
15:55:06 [AxelPolleres]
could/should(?? to be discussed) leave out BLD specific restrictions.
15:55:08 [AxelPolleres]
I would rather like to keep the abstract model presentation at UML diagrams
15:55:10 [AxelPolleres]
at this point for the WD
15:55:12 [AxelPolleres]
If we get it fixed, we should make the syntax and the EBNF/XML
15:55:14 [AxelPolleres]
mappings normative as well (leaving open possible changes
15:55:14 [BobMoore]
Mike - He is happy with triangle approach for future things
15:55:16 [AxelPolleres]
see next point).
15:55:18 [AxelPolleres]
IV) The final (interdialect) exchange syntax should be based on the
15:55:20 [AxelPolleres]
earlier mentioned mentioned points. particularly we should leave
15:55:22 [AxelPolleres]
the door open to add such an interdialect exchange XML later on
15:55:24 [AxelPolleres]
(we might still find more missing points when we focus on other dialects)
15:55:26 [AxelPolleres]
V) BOTH XML and EBNF could IMO be allowed exchange syntaxes for BLD.
15:55:28 [AxelPolleres]
XML will play a role mainly for interdialect stuff later on.
15:55:30 [AxelPolleres]
VI) Triangle is rather two levels:
15:55:32 [AxelPolleres]
15:55:34 [AxelPolleres]
AS: asn, aEBNF, UML and derived XML
15:56:20 [AxelPolleres]
P.S.: I personally think that the XML does not need to be convenient, but extensible in first place, see V) above.
15:56:28 [BobMoore]
Stella - XML is required, does not think that the abstract EBNF is very useful
15:57:06 [BobMoore]
csma - wants clarification on if we "need" a syntax - does it mean that the syntax is normative
15:57:22 [BobMoore]
general view is "need" means "normative"
15:58:59 [sandro]
Zakim, who is on the phone?
15:58:59 [Zakim]
On the phone I see Meeting_Room, IgorMozetic (muted), Hassan_Ait-Kaci
15:59:00 [IgorMozetic]
15:59:01 [Zakim]
Meeting_Room has AdrianPa, AxelPolleres, BobMoore, ChrisW, csma, DaveReynolds, Harold, jdebruijn, mdean, MichaelKifer, PaulaP, StellaMitchell, sandro
15:59:13 [BobMoore]
Adrian - concern is that to build translation tools we need to have some keep some kind of normative syntaxes
15:59:17 [IgorMozetic]
zakim, unmute me
15:59:17 [Zakim]
IgorMozetic should no longer be muted
16:00:57 [BobMoore]
Hassan - of view that the normative syntax should be the abstract one
16:01:04 [csma]
ack igor
16:01:28 [IgorMozetic]
zakim, unmute me
16:01:28 [Zakim]
IgorMozetic was not muted, IgorMozetic
16:01:29 [BobMoore]
Igor - would like to stick with the presentation syntax as the normative core syntax
16:02:44 [Hassan]
Hassan: shares Dave Reynolds's point (summed up above on IRC) and Mike Dean's XML being normative. The triangle three reps are simple to keep consistent by operational means.
16:03:57 [sandro]
Chris: everyone agreed we need a presentation syntax in the BLD document?
16:04:06 [BobMoore]
Chris - summarize so far - everybody thinks we "need" a presentation syntax in the document (need not be normative)
16:04:41 [sandro]
Chris: We need an XML syntax for interchange
16:04:49 [sandro]
Chris: We need an XML syntax for interchange (everyone seems to agree)
16:04:57 [BobMoore]
Chris - summarise so far - everybody thinks we need an XML schema (this will need to be "normative")
16:05:13 [GaryHallmark]
GaryHallmark has joined #rif
16:05:45 [BobMoore]
Chris - summarise so far - not everyone thinks we need an abstract syntax (though a lot do!)
16:06:25 [BobMoore]
Chris - summarize so far if we have two syntax there is (potentially) a consistency problem
16:06:46 [Zakim]
16:07:00 [Zakim]
16:07:47 [sandro]
Harold: instead of "abstract syntax" we could call it "intermediate syntax" or "intermediate language".
16:07:49 [sandro]
+1 Harold
16:08:49 [sandro]
-> Example of mapping from PS to ....
16:09:29 [BobMoore]
Jos - we don't "need" semantics on the XML
16:09:34 [BobMoore]
Harold - yes we do
16:10:48 [BobMoore]
Sandro - looking at OWL have mapping table for mapping syntax (and hence semantics) between presentation and XML bypassing abstact syntax
16:10:55 [Harold]
In order to show that the translator is semantics PRESERVING we need to define the semantics of the XML syntax, too, which is not so easy technically.
16:11:02 [BobMoore]
Sandro - this is not exactly elegant
16:11:36 [sandro]
16:12:30 [Harold]
s/Harold: instead of "abstract syntax" we could call it "intermediate syntax" or "intermediate language"./Harold: instead of "abstract syntax" we could call it "intermediate syntax" or "intermediate language", and such an intermediate language is very helpful to define semantics and translators./
16:12:39 [BobMoore]
Jos - can specify semantics without covering off all the tokenisation issues in the EBNF
16:15:23 [BobMoore]
Chris - celar we need two syntaxes - is there a translation process between the two?
16:15:50 [AxelPolleres]
AxelPolleres has joined #rif
16:15:55 [BobMoore]
Suggestion is that the process should be "not difficult" but not "trivial"
16:16:21 [Harold]
Jos, about your 2nd point, the Concrete EBNF for the presentation syntax goes down until, but does not include, the 'leaves' of the presentation syntax trees: these can be easily added WITHOUT CHANGING ANYTHING ON THE HIGHER LEVELS.
16:17:24 [BobMoore]
How can we be sure that the translation is bidirectional
16:18:24 [AxelPolleres]
Ojo! THe OWL<->RDF mapping is, btw, NOT injective!
16:20:14 [BobMoore]
Several XML documents may map to same presentation (ie semantics)
16:21:07 [BobMoore]
there ought to be a canonical XML document which is the output of a particular presention syntax
16:22:00 [BobMoore]
Harold - the abstract syntax can act as a bridge between these which makes proving the mapping is easier to do by breaking it down into two stages
16:22:10 [Zakim]
16:24:59 [BobMoore]
Jos has some doubts on how "trivial" translation from PS to XML even if we modify the PS
16:25:02 [Harold]
class2token('Equal','='), class2token('type','^^'), class2token('Var','?'), class2token('Implies',':-'), class2token('slot','->'), class2token('Instance','#'), class2token('Subclass','##').
16:25:34 [AxelPolleres]
there is no "name" or value" token
16:26:10 [AxelPolleres]
for consts... this contracidcts the full-striping in some extent, I think. (just a remark)
16:26:53 [sandro]
OPTION 1: Change PS to have a simple mapping
16:27:25 [sandro]
OPTION 2: Use AS (abstract model) as Interlingua XS <-> PS
16:27:42 [sandro]
OPTION 3: Readable PS with complex XS mapping table
16:28:13 [sandro]
(OPTIONS for mapping XS <-> PS)
16:28:36 [sandro]
1 -- gives a verbose PS
16:28:52 [sandro]
2 -- lets us have terse PS
16:28:57 [sandro]
3 -- lets us have a terse PS
16:31:43 [josb]
I have doubts about the difference between 1 and 3, unless 3 means that the PS cares about encoding of symbols
16:33:44 [sandro]
Option 1- 2 people
16:34:19 [sandro]
Option 2- 6 people
16:35:14 [sandro]
Option 3- Option 3- 3 people
16:35:41 [sandro]
Option 3- 4 people
16:36:35 [BobMoore]
Votes 2 for number 1, Votes 7.5 for number 2, Votes 4 for number 3
16:36:47 [BobMoore]
Gary only gets half a vote
16:38:18 [BobMoore]
Break for lunch
16:41:55 [AxelPolleres]
The question we are talking about seems to me:
16:42:11 [AxelPolleres]
2) PS <-> intermedaite abstract syntax <-> XML
16:42:27 [AxelPolleres]
3) PS <-> XML <-> abstract model
16:44:29 [AxelPolleres]
s/abstract model/abstract model (e.g. in UML)/
16:46:14 [Zakim]
16:46:21 [Zakim]
16:46:23 [Zakim]
SW_RIF(f2f)8:00AM has ended
16:46:24 [Zakim]
Attendees were AdrianPa, AxelPolleres, BobMoore, ChrisW, csma, DaveReynolds, Harold, jdebruijn, mdean, MichaelKifer, PaulaP, StellaMitchell, sandro, Hassan_Ait-Kaci, IgorMozetic,
16:46:25 [Harold]
Yes, and you just said an intermediate abstract syntax, ie. 2), could be helpful?
16:46:26 [Zakim]
... Gary_Hallmark
17:37:25 [ChrisW]
people are starting to trickle back into the room
17:37:36 [ChrisW]
we'll start in a few mins
17:42:04 [ChrisW]
restarting - anyone joining on the phone?
17:43:37 [PaulaP]
first subject: external data and RIF
17:44:05 [PaulaP]
csma asks Dave whether or not he prepared some slides
17:44:21 [PaulaP]
Dave: perhaps my slides are out of date
17:44:27 [ChrisW]
Scribe: PaulaP
17:44:33 [PaulaP]
Dave: but, yes I have some slides
17:44:37 [ChrisW]
Scribenick: PaulaP
17:44:59 [PaulaP]
Dave: data models, data sets, application data *
17:45:27 [PaulaP]
Dave: I tried to determine the requirements regarding these issues and RIF
17:45:45 [PaulaP]
Dave explains his slides
17:46:01 [PaulaP]
Dave: important questions are:
17:46:13 [PaulaP]
how to identify a data set?
17:46:20 [PaulaP]
how to identify the data model?
17:46:25 [PaulaP]
how to access the data?
17:46:37 [PaulaP] to access the data model?
17:47:07 [PaulaP]
Dave: probably we do not need to answer all these questions
17:47:26 [PaulaP]
Dave: most if our use case imply external data sets
17:47:33 [PaulaP]
17:47:50 [PaulaP]
MichaelK: except one or two use cases
17:48:19 [PaulaP]
Dave: Rif has to support access to data in non-Rif formats
17:48:47 [PaulaP]
Dave: formats are XML, RDF, and an object data model
17:49:26 [PaulaP]
Dave: probably many data models needed in a ruleset
17:50:13 [PaulaP]
Dave: so, we have a couple of non-requirements
17:50:44 [PaulaP]
Dave: exchanging rulesets working on different data models
17:50:51 [PaulaP]
Dave: exchanging data models
17:51:15 [PaulaP]
Dave: how many data models? what kind of object models?
17:52:42 [PaulaP]
Dave: probably suffiecient to support XML for exchanging data and XML Schema for defining the data model
17:53:23 [PaulaP]
Dave: then use an object model, which is to be accessed by the rules to be interchanged
17:54:00 [PaulaP]
csma: no need to interchange data if the object model is known
17:54:16 [PaulaP]
csma: most interesting case from the biz rules community
17:54:44 [PaulaP]
csma: other issues exist but are out of scope for Rif
17:55:31 [PaulaP]
Dave: for example MOF has been used in practice for applications
17:56:14 [PaulaP]
Dave: RDF/OWL...Jos did some work here but there are still open issues
17:56:41 [PaulaP]
Dave: combining the RDF semantics or just access RDF data?
17:57:03 [PaulaP]
Dave: this issue is to be discussed later on
17:57:19 [PaulaP]
Dave: let's look at the typical XML processing model
17:57:42 [PaulaP]
Dave: people provide data, a consortium provides the schema
17:57:54 [PaulaP]
Dave: usually a validation step
17:58:06 [PaulaP]
Dave: then connect your data to a processor
17:58:26 [PaulaP]
Dave: usually translate the XML data to an object model
17:58:42 [PaulaP]
Dave: to be used for processing
17:59:08 [PaulaP]
Dave: so, the four questions from the beginning are now a bit different
17:59:54 [PaulaP]
BobMoore: it should be irrelevant where the instance data comes from
18:00:16 [PaulaP]
Sandro: so the question is whether you can do that between different vendors
18:01:07 [PaulaP]
BobMoore: the problem regarding the source of instance data is completely outside the Rif mechanisms
18:01:39 [PaulaP]
csma: to write rules for an application you need a processor and an object model
18:02:57 [PaulaP]
BobMoore: but this should be outside Rif, so what is the scope of this proposal then?
18:03:41 [PaulaP]
csma gives an example to convince Bob
18:04:12 [PaulaP]
csma: of course it remains to be discussed if this is to be covered by Rif or not
18:05:03 [PaulaP]
csma: we need XML to object translator
18:05:22 [PaulaP]
Sandro: there are different ways to map XML to an object model
18:05:49 [PaulaP]
BobMoore: but what if I have different implementations of the translator?
18:07:11 [PaulaP]
csma: there is no problem in our setting
18:09:00 [PaulaP]
AdrianP: do we ask queries and answers?
18:09:18 [PaulaP]
csma: Rif is about interchanging queries and not evaluating them
18:10:09 [PaulaP]
Dave: going back to the original questions
18:10:48 [PaulaP]
Dave: the questions are not different, we look at how to answer them
18:11:07 [PaulaP]
Dave: metadata for identifying data set and data model
18:11:39 [PaulaP]
Dave: acces the data schema is not an important req at moment
18:12:23 [PaulaP]
Dave: we need to discuss how to specify this metadata for identification
18:12:53 [PaulaP]
Dave: accessing the data - we need a way of doing the mapping
18:13:13 [PaulaP]
Dave: map an external model to Rif
18:13:47 [PaulaP]
Dave: is one of the alternatives
18:14:19 [PaulaP]
Dave: instead of having many mappings, we could a generic mapping
18:14:54 [PaulaP]
between XML and Rif based on an existing XML to object map
18:15:40 [PaulaP]
MichaelK: you are talking about mapping data not schema
18:15:50 [PaulaP]
csma: it is a schema-aware mapping
18:16:10 [PaulaP]
Sandro: the mapping is different depending on the schema you use
18:17:04 [PaulaP]
Dave: in the Java world there is a way of mapping the XML data to the Java object model
18:17:20 [PaulaP]
MichaelK: but in this case you have schema on both sides
18:17:50 [PaulaP]
csma: you have rules about data not about data schema
18:17:54 [ChrisW]
Gary, Igor, Hassan, MoZ if you want to join on the phone let me know. Right now the meeting room is not dialed in.
18:17:59 [ChrisW]
zakim, who is on the phone?
18:17:59 [Zakim]
apparently SW_RIF(f2f)8:00AM has ended, ChrisW
18:18:00 [Zakim]
On IRC I see AxelPolleres, GaryHallmark, josb, MoZ, sandro, RRSAgent, Zakim, AdrianPa, IgorMozetic, Harold, MichaelKifer, StellaMitchell, DaveReynolds, csma, PaulaP, ChrisW, mdean,
18:18:02 [Zakim]
... Hassan, rifbot
18:19:29 [PaulaP]
Dave: we need to know what is the identifier for an object
18:19:51 [PaulaP]
Jos: but it is not clear since not clear what these identifiers are
18:20:12 [PaulaP]
Dave: so you have three levels
18:20:50 [PaulaP]
Dave: use sawsdl:modelReference if the schema element has one such annotation
18:21:33 [PaulaP]
Dave: use existing algorithms for forming URIs
18:22:29 [PaulaP] an XML schema get a corresponding complex type
18:22:57 [PaulaP]
Dave: the third question is 'do we always have to have a schema?'
18:23:24 [PaulaP]
use rif:local in this case
18:24:06 [PaulaP]
csma: I agree with everything you have presented
18:24:27 [PaulaP]
...but there are many DTDs around
18:24:42 [PaulaP]
Harold: one can use e.g. XMLSpy for translation
18:24:51 [PaulaP]
Dave: DTDs are not namespace-aware
18:25:19 [PaulaP]
Dave: so you can invent a namespace for the DTD and then use the same method
18:25:50 [PaulaP]
csma: comments? discussion?
18:26:41 [PaulaP]
Jos: why do we need to take the XML schema into account?
18:27:06 [PaulaP]
Dave: I like to have URIs for the element names and objects
18:27:24 [PaulaP] you can't get them from the XML document only
18:28:15 [Zakim]
SW_RIF(f2f)8:00AM has now started
18:28:21 [Zakim]
18:28:51 [PaulaP]
BobMoore: we should take a specific example
18:29:05 [GaryHallmark]
can you dial in to Zakim
18:30:07 [Harold]
Bob refers to this example from the eds' draft:
18:30:08 [Harold]
Forall ?item ?deliverydate ?scheduledate ?diffdate
18:30:08 [Harold]
18:30:08 [Harold]
reject(""^^rif:iri ?item) :-
18:30:08 [Harold]
And ( perishable(?item)
18:30:08 [Harold]
delivered(?item ?deliverydate ""^^rif:iri)
18:30:10 [Harold]
scheduled(?item ?scheduledate)
18:30:12 [Harold]
timediff(?diffdate ?deliverydate ?scheduledate)
18:30:14 [Harold]
greaterThan(?diffdate 10) )
18:30:16 [Harold]
18:31:09 [Harold]
... saying that things like perishable could be defined in the XML Schema.
18:31:51 [BobMoore]
BobMoore has joined #rif
18:32:15 [Zakim]
18:32:59 [ChrisW]
zakim, ibm is temporarily Meeting_Room
18:32:59 [Zakim]
+Meeting_Room; got it
18:33:02 [PaulaP]
Dave: the primary mechanism for agreement in this world is the schema
18:33:07 [ChrisW]
zakim, meeting_room contains AdrianPa AxelPolleres BobMoore ChrisW csma DaveReynolds Harold jdebruijn mdean MichaelKifer PaulaP StellaMitchell sandro
18:33:07 [Zakim]
+AdrianPa, AxelPolleres, BobMoore, ChrisW, csma, DaveReynolds, Harold, jdebruijn, mdean, MichaelKifer, PaulaP, StellaMitchell, sandro; got it
18:33:29 [PaulaP]
Dave: the schema tolds you also what the complex types are
18:34:10 [PaulaP]
ChrisW: in the translation you don't have the data
18:34:22 [PaulaP]
Jos: right, you have the variables in rules
18:34:39 [PaulaP]
Jos: so you have additionally the type information
18:35:14 [PaulaP]
Jos:but if you have an agreement on the schema, any XML data takes implicitly this schema into account
18:36:33 [PaulaP]
Jos: in the case of XML data, not schema, you don't have the frame and object type
18:37:10 [PaulaP]
MichaelK: is this not a problem when exchanging between engines with different object models?
18:37:46 [PaulaP]
csma: the assumption here is that you have to know the schema, you have to know how to map them into your object model for using the rules
18:37:58 [PaulaP]
MIchaelK: but this is exactly the problem
18:38:37 [PaulaP]
MichaelK: I don't wnat to have to know multiple mappings, I would like to have just one mapping - to Rif
18:40:14 [PaulaP]
ChrisW: you just need to have a mapping from XML; RDF, or Rif
18:40:27 [PaulaP]
MichaelK: but we do not have a schema in Rif
18:41:13 [PaulaP]
ChrisW: each ruleset is written based on an object model
18:42:37 [PaulaP]
Dave: I ignore the rules accessing the schema
18:43:02 [PaulaP]
Dave: but there is a mapping from the instance data taking the schema into account
18:43:11 [PaulaP] a Rif mechanism
18:45:15 [PaulaP]
csma: for future dialects we'll have extensions
18:45:27 [PaulaP]
...this proposal is for BLD
18:45:33 [Harold]
Micheal, the example you gave -- If someone is a person then their spouse slot must be of type person -- is a integrity (constraint) rule testing a kind of schema compliance: one way to 'simulate' a schema language in RIF.
18:45:34 [AxelPolleres]
Dave, can you send your slides to the list?
18:45:38 [ChrisW]
Scribe: Harold Boley
18:45:45 [ChrisW]
scribenick: Harold
18:46:22 [Harold]
Jos: Only parts of DaveR's slots are derived from XML Schema.
18:46:45 [Harold]
Sandro: You have to be fully striped -- most XML is not.
18:47:18 [Harold]
Jos: You only talk about class names or property names.
18:47:52 [Harold]
Sandro: You can't tell what is a class name and what is a property name.
18:48:17 [Harold]
Chris: Rules tell you what is what.
18:48:40 [Harold]
Christian: When you translate you dont have the data. Whats the use case?
18:48:51 [Harold]
Jos: Someone has no (XML) Schema.
18:49:14 [Harold]
Christian: Some other kind of agreement? Even better for us.
18:49:54 [Harold]
Michael: If you send out XML separately you dont need XML Schema.
18:50:18 [Harold]
... Schema only needed if you translate something to RIF.
18:51:00 [Harold]
... The 'other guy' may not have XML Schema (instead, say, DTD).
18:51:55 [Harold]
Chris (flip-chart): What use cases are emerging?
18:52:08 [Harold]
1) Rules + XMLS
18:52:20 [Harold]
2) Rules + XML data
18:54:28 [Harold]
Christian: Example, Blaze and Ilog are Acord (or Mismo) compliant, so can interchange rules relative to this model.
18:55:22 [Harold]
Bob: Slightly different perspective, making things simpler (rather than more complicated).
18:56:41 [Harold]
... Slide: Abstract Rules (Object Model)------RIF------------>Concrete Rules (Object Model)
18:57:16 [Harold]
^ ^
18:57:35 [Harold]
XML Schema
18:58:21 [Harold]
s/ Example, Blaze and Ilog/ Example, Blaze, Fair Isaac, and Ilog/
18:59:02 [ChrisW]
Clarifusion: The state of being confused by a clarification
18:59:24 [sandro]
18:59:38 [sandro]
But it's so simple, Chris!
18:59:58 [Harold]
Christian (discussing that slide): Lets table this until we have an example.
19:01:13 [Harold]
Michael: If you dont send a schema along with your rules the other guy may not be able to interpret those rules.
19:01:40 [Harold]
... I use database, u use Java, we need to agree on a common schema.
19:01:59 [Harold]
Christian: that could be an XML Schema.
19:02:19 [Harold]
... because many know how to translate to XML.
19:03:08 [Harold]
Sandro: We need to specify how to map from databases to Java (using RIF).
19:04:16 [sandro]
uh, no. Sandro: We need to specify how to map from XML instances (which might represent java info or database info) into RIF ground terms. Whether that translation is really done is irrelevant.
19:04:35 [Harold]
DaveR: Learned that transmitting in XML is not always the case. XML Schema is wide-spread, but not necessarily the data.
19:05:13 [Harold]
... how to relate that agreements to the instance data (maybe with the help of RIF)?
19:06:03 [Harold]
Michael: Naive approach would be into and out of RIF, but not necessarily the final way.
19:07:12 [Harold]
... principled way in RIF, other ways could be derived from it.
19:08:18 [Harold]
Sandro: JAXB could be our starting point.
19:08:36 [Harold]
DaveR: Existence proofs and guidelines.
19:08:45 [Harold]
... for object models.
19:09:26 [Harold]
Adrian: In the Web Service Community such translations are done.
19:09:40 [Harold]
19:10:31 [Harold]
Sandro: Does such an algorithm suffice in this industry?
19:11:05 [Harold]
DaveR: Object Model should cleanly align to the XML Schema.
19:12:15 [Harold]
Christian: A challenging example is how to count elements. E.g., first collect all elements, then count the cardinality of the resulting collection.
19:13:53 [Harold]
Related to earlier issue External Datamodels.
19:14:28 [Harold]
Jos: Not related to upcoming BLD WD release.
19:15:02 [Harold]
... separate issues are interoperation with RDF and XML.
19:15:08 [sandro]
Issue: Interoperation with XML
19:15:08 [sandro]
Issue: Interoperation with Object-Oriented XML
19:15:08 [sandro]
Issue: Referencing Datasets
19:16:31 [Harold]
Jos/Sandro: General issue is External Datamodels.
19:17:01 [sandro]
DataSETS noit DataMODELS
19:17:11 [Harold]
Sandro: Only Object-Oriented XML (use) is relevant here. E.g., not XHTML.
19:17:47 [sandro]
Sandro: It's important to distinguish between MISMO-style (Object Oriented) XML, and general (DOM-style) XML.
19:18:19 [sandro]
csma: addressing datasets
19:18:24 [sandro]
csma: rdf compatibility
19:18:40 [sandro]
csma: general (DOM) XML data interop
19:18:49 [sandro]
csma: object-oriented XML data interop
19:20:29 [ChrisW]
action: dave reynolds to edit "addressing datasets" issue
19:20:29 [rifbot]
Created ACTION-347 - Reynolds to edit \"addressing datasets\" issue [on Dave Reynolds - due 2007-10-04].
19:21:43 [ChrisW]
clarify dAVEr's action is to edit issue 32
19:22:29 [Harold]
Michael: Why are these separate issues: Referring to other ruleset is already an issue, data (facts) is just a special case.
19:23:59 [Harold]
AdrianP: Also includes question how to select (parts/segments of) external sources: XPointer etc.
19:26:07 [Harold]
We (Hassan, Michael and I) had an external Call primitive (which could also be used for fact sets) in collaboration with Gary, but it was taken out of the earlier Core document.
19:28:05 [Harold]
(This is related to a 2005 paper, with Jos, on a Realistic Architecture for the Semantic Web.)
19:28:18 [sandro]
DR: new issue? Referring to external data sets
19:28:18 [sandro]
DR: new issue? Importing rule sets (include rule modularity)
19:28:18 [sandro]
DR: new issue? Interoperation with Object-Oriented XML, using XML Schema (like JAXB)new issue? Interoperation with Arbitrary XML (like SAX/DOM)
19:28:18 [sandro]
DR: new issue? black boxes....?
19:29:51 [sandro]
Chris: Referring to external data sets (new title for issue 32)
19:30:07 [sandro]
Chris: new issue: Importing rule sets (include rule modularity)
19:30:30 [sandro]
Chris: new issue: Interoperation with Object-Oriented XML, using XML Schema (like JAXB)
19:30:45 [sandro]
Chris: new issue: Interoperation with Arbitrary XML (like SAX/DOM)
19:32:28 [Harold]
"black boxes" correspond to the "external Call" primitive.
19:58:53 [ChrisW]
Scribe: Michael Kifer
19:58:56 [josb]
josb has joined #rif
19:59:02 [ChrisW]
scribenick: MichaelKifer
19:59:38 [MichaelKifer]
Session on frames, classification, semantics, etc.
20:01:47 [MichaelKifer]
no issues with the frame syntax&semantics
20:02:12 [MichaelKifer]
issue whether class membership&subclassing is needed in rif
20:07:45 [sandro]
Axel: two axioms -- transitivity of subclass, and membership commutes over subclass.
20:12:57 [AxelPolleres]
rdf:type would/could be a "subproperty" of "#", yes?
20:13:18 [AxelPolleres]
likewise rdf:subclass and ##, yes?
20:13:34 [sandro]
DaveReynolds: I want to use XML data and RDF in the same module, but they have different ideas of rif:type, so the axioms I would add to match RDF-or-XML are different.
20:29:17 [sandro]
DaveReynolds: (after long discussion) With a module system, my concern about overloading does go away.
20:29:38 [sandro]
Chris: What is this module system?
20:30:42 [sandro]
MichaelKifer: in different modules, you can have the same name meaning different things. so rif:subclass might have one meaning in one module and another meaning in another.
20:32:11 [sandro]
MikeDean: I'm concerned about trying to map these different notions of type into one name.
20:32:58 [sandro]
DaveReynolds: you can't axiomatize everyone's notions of subclass
20:33:43 [sandro]
Jos: the two modules will touch, eventually, as you bring data from each of them together.
20:34:05 [sandro]
Chris: It's not that they have different meanings, just .... [ something ]
20:35:04 [sandro]
DaveReynolds: My preference is to translate rdf:type to rdf:type (not rif:type). Keep them separate.
20:35:33 [sandro]
Harold: For interchange, we might need this.
20:36:37 [sandro]
MichaelKifer: LP languages use this all the time. I might define a subclass of RedCars... the class hierarchy.
20:37:11 [sandro]
Chris: you use the class hierarchy in reasoning a lot. so that's a reason to have this in rules.
20:38:12 [sandro]
Chris: Professor subclassOf Person, rule about Person, data about Professor -- the rule system needs it all to fire on the data.
20:38:26 [sandro]
csma: (disagreement)
20:38:58 [sandro]
jos: It seems to me that # and ## are a way to access the data model.
20:40:57 [sandro]
Sandro: how about making this At Risk for a while and see how it goes?
20:41:28 [sandro]
DaveReynolds: (strong disagreement) It's one more way to do what we already have a way to do!
20:41:38 [sandro]
Chris: This saves people two axioms!
20:42:03 [sandro]
Axel: Do we relate this to RDFS:subClassOf ...?
20:42:51 [sandro]
Jos: Chris, you say there are lots of systems that use this kind of type system, but where are they...?
20:43:31 [sandro]
Chris: Jos, are you going to say that subclass is not the most common relation in logic-based languages?
20:43:41 [sandro]
Jos: *shrug* okay, okay
20:44:42 [sandro]
csma: The question is not WHETHER they have a subclass relation, but whether they express it in rules.
20:44:53 [sandro]
MichaelKifer: You're thinking PRD, this is BLD.
20:45:28 [sandro]
Chris: In the rule languages on our wiki page, most of them support a subclass relation as part of the syntax.
20:46:19 [sandro]
csma: Is this really a commonly-used feature?
20:47:16 [sandro]
Chris: Does anyone dispute that subclass is extensively used in actual rules?
20:47:46 [sandro]
BobMoore: Almost all systems that I've been involved with make use of classes and subclasses.
20:48:09 [sandro]
... All things that belong to some category, .... this rules applies to entities belonging to this class.
20:48:37 [sandro]
... I don't see a lot of subclass, though, since most business rules object models don't use inheritance.
20:48:49 [AxelPolleres]
20:49:50 [sandro]
csma: This is not about whether the engine does subclass relation processing, it's about whether people write rules asserting or checking subclass conditions directly.
20:52:24 [AxelPolleres]
20:52:24 [AxelPolleres]
1) Add to RDF embedding:
20:52:24 [AxelPolleres]
?o#?c :- ?o[rdf:type -> ?c]
20:52:24 [AxelPolleres]
2) Add to RDFs embedding:
20:52:24 [AxelPolleres]
Forall ?c1,?c2 ?c1##?c2 :- ?c1[rdfs:subclassOf-> ?c2]
20:52:25 [AxelPolleres]
and remove:
20:52:27 [AxelPolleres]
Forall ?x,?y,?z ?z[rdf:type -> ?y] :- And (?x[rdfs:subClassOf -> ?y] ?z[rdf:type -> ?x]),
20:52:29 [AxelPolleres]
Forall ?x,?y,?z ?x[rdfs:subClassOf -> ?z] :- And (?x[rdfs:subClassOf -> ?y] ?y[rdfs:subClassOf -> ?z]),
20:52:57 [AxelPolleres]
I would like to know concrete objections against this, if possible :-)
20:53:38 [sandro]
Sandro: What about just having systems put in the axioms and recognize it if they want?
20:54:03 [sandro]
MichaelKifer: i don't think you could recognize them -- that structure occurs elsewhere.
20:54:14 [Harold]
Besides, or on top of, RIF's own 'built-in' subclass relation, "##", RIF will need to permit to write rules about (and with) other subclass relations, e.g. rdfs:subClassOf, my:subClassOf and your:subClassOf, and allow to axiomatize (and reason with) them with RIF rules. From F-logic -- -- and Wilbur -- -- to KAON2 -- -- rules have been used in such ways.
20:54:37 [sandro]
Axel: I have a problem with rif:subclass not being related to rdfs:subclass in the relation.
20:55:05 [sandro]
Chris: Okay -- enough about subclass. What about rif:member (#)? ANyone have a problem with that?
20:55:20 [sandro]
Jos: I have a problem with it. It's not clear if we can have a standard way to do this.
20:55:25 [sandro]
MichaelKifer: I think it's clear.
20:55:35 [AdrianPa]
AdrianPa has joined #RIF
20:55:57 [sandro]
Jos: It's not clear whether it can really be used.
20:56:13 [sandro]
Axel: ... especially when we can't (don't) even use it for RDFS.
20:56:40 [sandro]
ChrisW: DaveR's proposal for XML used this.
20:57:17 [sandro]
Jos: it's doubtful whether XML's typing relation is the same as rif:member...
20:58:24 [sandro]
Sandro: in general that's true, but in the OOXML community we're talking about, it basically is.
20:59:20 [sandro]
MichaelKifer: You're forcing me to tack on RDFS....
20:59:30 [sandro]
Jos: No, you can define your own data model.
20:59:51 [sandro]
MichaelKifer: But this is standard.....
21:00:06 [sandro]
s/OOXML/object oriented XML/
21:00:26 [Harold]
Is ?x#c a type 'declaration' in the sense that all other occurrences of ?x (also without the "#c" part) must comply to that type restriction "#c"?
21:00:50 [sandro]
Jos: I could be convinced if it matches enough data models.
21:00:54 [AxelPolleres]
Would it make sense to limit discussion for another 5-10min and then just do a vote?
21:02:05 [sandro]
Chris: 10 people think we need rif:member, 1 against.
21:02:42 [sandro]
DaveReynolds: we might need it without a special syntax.
21:04:08 [sandro]
Jos: Basically, I'm skeptical that we can link various data models. What instantiation means varies language-to-language.
21:04:45 [sandro]
AdrianPa: for instance phone number vs number.
21:06:06 [sandro]
Axel: We *can* reuse this, but we have to deviate from the obvious way to encode RDFS in rules.
21:07:13 [sandro]
Chris: is this valid syntax: P(x) /\ x[q->y]
21:07:18 [sandro]
MichaelKifer: yes.
21:07:28 [sandro]
Chris: and it just means x's type is "P" ?
21:07:43 [sandro]
MichaelKifer: sort of. except in terms of round-tripping.
21:08:09 [sandro]
MichaelKifer: a frame is just a bunch of ternary predicate atoms, but we have them.
21:08:28 [sandro]
Jos: Is P a predicate or a term?
21:08:38 [sandro]
Jos: concete difference.
21:09:20 [sandro]
BobMoore: This kind of thing makes the rules much readable. See if we use it in examples. (Sandro's proposal)
21:09:36 [sandro]
... If it comes up time and time again, it's worth having a special syntax.
21:09:45 [sandro]
... And it's nice as a hint.
21:10:15 [sandro]
csma: Beware that "c" in the spec is a TERM, not just a predicate.
21:10:47 [sandro]
Jos: I'm okay with keeping it in this draft, but not with keeping it past Last Call.
21:11:00 [Harold]
How can we keep straight the difference between '^^' and '#' in examples such as "101"^^xsd:long and 101#LongIntegers, where LongIntegers is used as the class of long integers?
21:11:13 [csma]
21:12:21 [sandro]
MichaelKifer: in the current BLD, there's not way to ask if a type applies to a variable
21:12:33 [sandro]
DaveReynolds: I proposed it as a built-in.
21:14:02 [sandro]
csma: the difference between ^^ and # is ....?
21:14:25 [sandro]
csma: maybe make classes just be constants.
21:16:04 [sandro]
MichaelKifer: "..."^^xsd:int should be defined to be in class int
21:16:44 [sandro]
Chris: Propose we leave # in the document, resolve we accept it for now, but we need to get use cases, etc.
21:18:45 [sandro]
ACTION: Jos open membership-formula issue
21:18:45 [rifbot]
Sorry, amibiguous username (more than one match) - Jos
21:18:45 [rifbot]
Try using a different identifier, such as family name or username (eg. jderoo, jdebruij)
21:18:54 [sandro]
ACTION: Jdebruiij open membership-formula issue
21:18:54 [rifbot]
Sorry, couldn't find user - Jdebruiij
21:19:15 [sandro]
ACTION: jdebruij to open membership-formula issue
21:19:16 [rifbot]
Created ACTION-348 - Open membership-formula issue [on Jos de Bruijn - due 2007-10-04].
21:20:14 [sandro]
21:20:50 [sandro]
ACTION: DaveReynolds to write up use case on membership-formula
21:20:50 [rifbot]
Sorry, couldn't find user - DaveReynolds
21:20:59 [sandro]
ACTION: David to write up use case on membership-formula
21:20:59 [rifbot]
Sorry, amibiguous username (more than one match) - David
21:20:59 [rifbot]
Try using a different identifier, such as family name or username (eg. dmartin5, dhirtle, djones3)
21:21:05 [sandro]
ACTION: DavidReynolds to write up use case on membership-formula
21:21:05 [rifbot]
Sorry, couldn't find user - DavidReynolds
21:21:13 [sandro]
ACTION: Dave to write up use case on membership-formula
21:21:13 [rifbot]
Created ACTION-349 - Write up use case on membership-formula [on Dave Reynolds - due 2007-10-04].
21:21:30 [sandro]
ACTION: Axel to write up use case on membership-formula
21:21:30 [rifbot]
Created ACTION-350 - Write up use case on membership-formula [on Axel Polleres - due 2007-10-04].
21:22:49 [sandro]
(an example that shows how it can be used for RDF.)
21:23:33 [sandro]
Keep subclass: 5, Not keep: 4.
21:24:29 [sandro]
Really object to staying in DR, and J; really object to keeping it in: MK.
21:24:51 [sandro]
ACTION: Michael to raise issue about subclass formula
21:24:51 [rifbot]
Sorry, amibiguous username (more than one match) - Michael
21:24:51 [rifbot]
Try using a different identifier, such as family name or username (eg. uscholdm, merdmann, mkifer, msintek)
21:24:58 [sandro]
ACTION: Mkifer to raise issue about subclass formula
21:24:58 [rifbot]
Created ACTION-351 - Raise issue about subclass formula [on Michael Kifer - due 2007-10-04].
21:31:08 [Zakim]
21:39:00 [Zakim]
21:39:02 [Zakim]
SW_RIF(f2f)8:00AM has ended
21:39:03 [Zakim]
Attendees were Gary_Hallmark, AdrianPa, AxelPolleres, BobMoore, ChrisW, csma, DaveReynolds, Harold, jdebruijn, mdean, MichaelKifer, PaulaP, StellaMitchell, sandro
22:49:09 [Zakim]
Zakim has left #rif