Allen: information integration
does not mention SPARQL but should be big on QL

<PaulaP> the mentioned use
case is in the information integration category

Classification

chrisw: not much done on
interchange
... need to understnad what is being exchanged
... what can be interchanged
... breakout sessions focused on classification in order to be
able to understand what we can interchange
... varying expectations on amount that we will be able to
interchange
... please add to suggested reading list. How to classify KR
semantics

<EvanWallace> When did Chris
send this message?

allen: agrees with chrisw. Key is
what can we facilitate.
... suggestion from email list: concrete way - specific example
and how would you translate
... specific example from Jess, should be possible to tranlate
to jrules but harder taks to translate to prolog (say)
... discussion on how to represent semantics of rules
... also translation across different meta-models/semantics

<sandro> +1 Allen (to look at
some specific examples of translating between rule languages
with very different semantics)

allen: there is no retract in
Prolog

retract is called retract in Prolog!

<sandro> real prolog does
have retract, but pure prolog does not -- maybe that's the
confusion.

chrisw: need to avoid reinvention
of wheel
... looking for utility not perfection

<sandro> ChrisWelty: even if
we can't translate completely, it's still useful to
translate

said: agrees with Allen &
chrisW need to focus on what we are trying to interchange

<sandro> harold: use cases should be
marked up with what is phase 1, what is phase 2.

chrisw: what is slotted logic?

harold: slotted logic = named
arguments

<Allen> yes

allen: we need to be clear on
what RIF guarantees in terms of interchange
... do we guarantee logical, operational equivalence

<csma> +1

stanD: wrt object of interchange
key step is infrastructure allowing author to document what is
being sent
... if you can clearly identify what the source of KR is,
receiver can more easily determine how to interpret. Particularly wrt vocabularies in use.