Dear All, (01)
Here are the material from our regular OntoIOp team conference call
today. Kindly review and advise of any error, omission or edit. (02)
1. the audio archive for the (n.59) OntoIOp teleconference of Wed
2014.05.21 is now online: (03)
* Date: Wednesday 21-May-2014
* Meeting time: 1503 ~ 1630 UTC
* length/format/size: 1:02:02 , mp3 , 10.65 MB
* accessible directly as:
http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/OntoIOp-n59_20140521b.mp3 (04)
3. The chat-transcript (lightly edited) is attached below, which is
also available as:
http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/OntoIOp-confcall-n59_chat-transcript_20140521b.txt (05)
4. Our next regular team meetings will be in two weeks ... (06)
= OntoIOp team-confcall (n.60) - Wed 2014.06.04 = (07)
* Date: Wed 4-Jun-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
** ref. world clock -
http://www.timeanddate.com/worldclock/fixedtime.html?month=6&day=4&year=2014&hour=17&min=0&sec=0&p1=215
* Duration: 0.75~1.5 Hrs.
* shared-file workspace:
http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-06-04_team-confcall_n.60/
* chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140604 (08)
Regards. =ppy (09)
for and on behalf of the session chair
Till Mossakowski
-- (010)
------ <OntoIOp-confcall-n59_chat-transcript_20140521b.txt> ------ (011)
------
Chat transcript from room: ontoiop_20140521
2014-05-21 GMT-08:00 [PDT]
------ (012)
[8:00] PeterYim: . (013)
= OntoIOp team-confcall (n.59) - Wed 2014.05.21 = (014)
* 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 (015)
Remarks: (016)
* the session may be recorded for open archival purposes. Unless
otherwise documented, participants agrees to this by virtue of their
participation at the session. (017)
* In case we have to mute everyone (due to extraneous noise or echo)
- Mute control: *7 to un-mute ... *6 to mute (018)
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) (019)
AGENDA (020)
* 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 (021)
Attendees: TillMossakowski (chair), ConradBock, FabianNeuhaus,
MariaKeet, MichaelGruninger, OliverKutz, PeterYim (scribe).
Regrets: TerryLongstreth, KiyongLee, ChristophLange. (022)
== Proceedings: == (023)
[8:06] PeterYim: == TillMossakowski starts the meeting ... (024)
[8:10] List of members: FabianNeuhaus, MariaKeet, MichaelGruninger,
OliverKutz, PeterYim, TillMossakowski (025)
[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) (026)
[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 (027)
[8:21] PeterYim: Till: section 1.1 (028)
[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 (029)
[9:29] TillMossakowski: [concluded from reviewing other OMG standards
like BPMN and discussion with Conrad] OMG uses American English. (030)
[8:21] PeterYim: Till: section 4 (031)
[8:23] anonymous morphed into ConradBock (032)
[8:27] PeterYim: ChristophLange sends his regrets (on mailing list) (033)
[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. (034)
[8:24] PeterYim: Till: p.15: "approximant" (035)
[8:39] TillMossakowski: discussion about the notion "aproximant" (036)
[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). (037)
[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). (038)
[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. (039)
[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. (040)
[8:47] TillMossakowski: Section 2.5 (conformance of an application
with DOL) would need to be adapted. (041)
[8:49] TillMossakowski: (042)
\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} (043)
[8:53] TillMossakowski: new version: (044)
\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} (045)
[9:03] PeterYim: Michael leaves the call (046)
[8:54] PeterYim: p.18 - combination, diagram, sharing (047)
[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 (048)
[9:08] TillMossakowski: we agree to change "diagram" into "graph" (049)
[9:12] TillMossakowski: I think a DOL theory is at level M1 in MDA
speak, the same level as an UML diagram. (050)
[9:12] TillMossakowski: The DOL specification lives at M2, like the
UML specification. Both are written in MOF. (051)
[9:13] TillMossakowski: Also a DOL distributed OMS, containing
interpretations, alignments between OMS etc. is at level M1. (052)
[9:14] TillMossakowski: better: "OMS graph" (053)
[9:31] TillMossakowski: Agenda for next meeting: query languages (Tara Athan). (054)
[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 (055)
[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 (056)
[9:32] TillMossakowski: The conference bridge may or may not be
available at the next meeting, depending on decisions of IAOA. (057)
[9:30] PeterYim: will need to coordinate (probably offline between
Till, Michael, Oliver and Peter) on the voice conferencing support for
future meetings (058)
[9:30] FabianNeuhaus: Thank you, Peter! (059)
[9:33] PeterYim: -- session ended: 6:30pm CEST -- (060)
------ <OntoIOp-confcall-n59_chat-transcript_20140521b.txt> ------ (061)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (062)
|