ppy/OntoIOp-confcall-n59_chat-transcript_20140521b.txt ------ Chat transcript from room: ontoiop_20140521 2014-05-21 GMT-08:00 [PDT] ------ [8:00] PeterYim: . = OntoIOp team-confcall (n.59) - Wed 2014.05.21 = * Date: Wed 21-May-2014 * start-time: 8:00am PDT / 11:00 pm EDT / 4:00pm BST / 5:00pm CEST / 5:00pm SAST / 0:00am [+1] KST / 15:00 UTC * Duration: 0.75~1.5 Hrs. * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140521 Remarks: * the session may be recorded for open archival purposes. Unless otherwise documented, participants agrees to this by virtue of their participation at the session. * In case we have to mute everyone (due to extraneous noise or echo) - Mute control: *7 to un-mute ... *6 to mute Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# * Skype: "joinconference" ... when prompted enter Conference ID: 141184# ** in case your skype connection to "joinconference" is not holding up, try using (your favorite POTS or VoIP line, etc.) either your phone, skype-out or google-voice and call the US dial-in number: +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# ** some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/ ** for Windows Skype users: Can't find Skype Dial pad? ... it may be under the "Call" dropdown menu as "Show Dial pad" ** for Linux Skype users: if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it. (--CLange) AGENDA * review OMG OntoIOp WD: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/OMG_OntoIOp_spec_v0-55_snapshot--TillMossakowski_20140521g.pdf * AOB Attendees: TillMossakowski (chair), ConradBock, FabianNeuhaus, MariaKeet, MichaelGruninger, OliverKutz, PeterYim (scribe). Regrets: TerryLongstreth, KiyongLee, ChristophLange. == Proceedings: == [8:06] PeterYim: == TillMossakowski starts the meeting ... [8:10] List of members: FabianNeuhaus, MariaKeet, MichaelGruninger, OliverKutz, PeterYim, TillMossakowski [8:10] PeterYim: Till: we now have 5 Letters of Intent, 3 of them from platform members (including one from MITRE), plus 2 from academia (Magdeburg and Toronto) [8:12] PeterYim: == Till: review of the (latest updated version) WD - http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/OMG_OntoIOp_spec_v0-55_snapshot--TillMossakowski_20140521g.pdf [8:21] PeterYim: Till: section 1.1 [8:53] PeterYim: Till: @ConradBock (earlier - section 1.1) need to consult with OMG, ConradBock may know the answer, about the need to spell-check for British English vs American English [9:29] TillMossakowski: [concluded from reviewing other OMG standards like BPMN and discussion with Conrad] OMG uses American English. [8:21] PeterYim: Till: section 4 [8:23] anonymous morphed into ConradBock [8:27] PeterYim: ChristophLange sends his regrets (on mailing list) [8:28] MariaKeet: I lost connection with the machine I'm using skype with and can't connect to the call with this machine. I've read up till p25 regarding the red text and have no further suggestions for improvements on those parts. [8:24] PeterYim: Till: p.15: "approximant" [8:39] TillMossakowski: discussion about the notion "aproximant" [8:41] TillMossakowski: there is a semantically clean notion of uniform interpolant, which is always a maximum (=best) approximation (but sometimes, it does not exist, or it is infinite). [8:41] TillMossakowski: We could have this clean notion in, with the problem that sometimes a DOL term is undefined (if the maximum does not exist), or not computable (if it is infinite). [8:42] TillMossakowski: Alternatively, we could allow for any approximation, not just the maximum one. This would be "semantically dirty", but more feasible it terms of tools. [8:46] TillMossakowski: We also could have the semantically clean notion in the language (and hence keep the semantics as simple as possible), but then let tools work with approximations, and warn the user about this. [8:47] TillMossakowski: Section 2.5 (conformance of an application with DOL) would need to be adapted. [8:49] TillMossakowski: \termdefinition{approximant}{approximation (in the sense of a logically weaker theory) of an OMS in a smaller \termref{signature} or \termref{OMS language}} \termdefinition{maximum approximant}{ best possible (in the sense of a maximum set of logical consequences) approximation of an OMS in a smaller \termref{signature} or \termref{OMS language}} \begin{note} Technically, a maximum approximant is a uniform interpolant, see \cite{DBLP:conf/ijcai/LutzW11}. \end{note} [8:53] TillMossakowski: new version: \termdefinition{approximant}{approximation (in the sense of a logically implied theory, possibly after suitable translation) of an OMS in a smaller \termref{signature} or \termref{OMS language}} \termdefinition{maximum approximant}{ best possible (in the sense of a maximum set of logical consequences) \termref{approximant} of an OMS in a smaller \termref{signature} or \termref{OMS language}} \begin{note} Technically, a maximum approximant is a uniform interpolant, see \cite{DBLP:conf/ijcai/LutzW11}. \end{note} [9:03] PeterYim: Michael leaves the call [8:54] PeterYim: p.18 - combination, diagram, sharing [9:02] TillMossakowski: combination = aggregation of all the OMS in a diagram, where non-logical symbols are shared according to the OMS mappings in the diagram [9:08] TillMossakowski: we agree to change "diagram" into "graph" [9:12] TillMossakowski: I think a DOL theory is at level M1 in MDA speak, the same level as an UML diagram. [9:12] TillMossakowski: The DOL specification lives at M2, like the UML specification. Both are written in MOF. [9:13] TillMossakowski: Also a DOL distributed OMS, containing interpretations, alignments between OMS etc. is at level M1. [9:14] TillMossakowski: better: "OMS graph" [9:31] TillMossakowski: Agenda for next meeting: query languages (Tara Athan). [9:30] PeterYim: next meeting (n.60) - Wed 2014.06.04 same time - 0.75~1.5 Hrs. starting 8:00am PDT / 11:00 pm EDT / 4:00pm BST / 5:00pm CEST / 5:00pm SAST / 0:00am [+1] KST / 15:00 UTC - worldclock: http://www.timeanddate.com/worldclock/fixedtime.html?month=6&day=4&year=2014&hour=17&min=0&sec=0&p1=215 [9:30] PeterYim: in view of my retirement, I will move my OntoIOp involvement to an "observer" mode after this meeting ... thank you Till and everyone, it's been great working with you all [9:32] TillMossakowski: The conference bridge may or may not be available at the next meeting, depending on decisions of IAOA. [9:30] PeterYim: will need to coordinate (probably offline between Till, Michael, Oliver and Peter) on the voice conferencing support for future meetings [9:30] FabianNeuhaus: Thank you, Peter! [9:33] PeterYim: -- session ended: 6:30pm CEST -- ------