ppy/OntoIOp-confcall-n52_chat-transcript_20140212b.txt ------ Chat transcript from room: ontoiop_20140212 2014-02-12 GMT-08:00 [PST] ------ [7:59] PeterYim: . = OntoIOp team-confcall (n.52) - Wed 2014.02.12 = * Date: Wed 12-Feb-2014 * start-time: 8:00am PST / 11:00 am EST / 5:00pm CET / 6:00pm SAST / 1:00am [+1] KST / 16:00 GMT/UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=12&year=2014&hour=8&min=0&sec=0&p1=224 * Duration: 1.0~1.5 Hrs. Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# * Skype: joinconference (i.e. make a skype call to the contact with skypeID="joinconference") ... when prompted enter Conference ID: 141184# * in-session chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140212 * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-02-12_team-confcall_n.52/ AGENDA - (ref. http://ontolog.cim3.net/forum/ontoiop-forum/2014-02/msg00001.html ) * see slides at: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-02-12_team-confcall_n.52/OntoIOp-slides--TillMossakowski-OliverKutz-ChristophLange-MihaiCodescu_20140212-b.pdf (TillMossakowski: essentially the same slides as last time, but with some improvements according to your comments) Remarks: * the session may be recorded for 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 * Skype users: ** There has been some issues with skype connections lately (variously reported by people from different locations.) Therefore, if you are using skype and the 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" ** if the dialpad button is not shown in the call window you need to press the"d" hotkey to enable it. (--CLange) Attendees: TillMossakowski (chair), ChristophLange, ConradBock, FabianNeuhaus, MichaelGruninger, OliverKutz, PeterYim (scribe), TerryLongstreth. == Proceedings: == [8:03] anonymous morphed into ConradBock [8:04] PeterYim: TillMossakowski: essentially the same slides as last time, but with some improvements according to your comments. ... Note that we will continue with slide 32 - http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-02-12_team-confcall_n.52/OntoIOp-slides--TillMossakowski-OliverKutz-ChristophLange-MihaiCodescu_20140212-b.pdf [8:05] PeterYim: Till: Gruninger has informed that he'll be ten minutes late [8:05] PeterYim: Fabian: Oliver will be joining (fixing a speaker problem now) [8:07] FabianNeuhaus: oliver has joined [8:09] PeterYim: == TillMossakowski starts the call ... [8:09] PeterYim: Till: let's start on the slides ... re-start from slide#18 first (where OSM is explained) [8:12] PeterYim: Till: now onto slide#32 - OSM [8:12] PeterYim: MichaelGruninger joins [8:15] TillMossakowski: slide #33: all three keywords: ontology, spec and model can be used. [8:17] ChristophLange: Sorry for joining late, was stuck in a traffic jam [8:20] ChristophLange: #33: space or newline missing between "for later reference" and \Gamma [8:23] List of members: ChristophLange, ConradBock, FabianNeuhaus, MichaelGruninger, OliverKutz, PeterYim, TerryLongstreth, TillMossakowski [8:25] MichaelGruninger: David Pearce Dept of Artificial Intelligence Universidad Politécnica de Madrid Campus de Montegancedo s/n 28660 Boadilla del Monte (Madrid) Spain [8:27] MichaelGruninger: Synonymous theories and knowledge representations in answer set programming D. Pearce, A. Valverde, Journal of Computer and System Sciences 78 (2012) 86104 [8:28] PeterYim: ... Till: now on slide#36 (which relates back to slide #27) [8:34] FabianNeuhaus: @Till. Why do we need the arrow if it is the same as equality? [8:37] TerryLongstreth: On slide 37, If both arrow and = are the same, we should at least indicate one as preferred, the other deprecated [8:37] FabianNeuhaus: What is the difference to ID? [8:39] PeterYim: Till: the "Id" is an identifier, can be a url or a user defined relationship [8:39] FabianNeuhaus: Thank you. [8:50] ChristophLange: #47: make "translation" keyword bold [8:55] === Comments ... [8:57] TerryLongstreth: With OSM now explained to me, perhaps we should use that ordering in the trailer of each slide, e.g."Distributed Ontology, Specification and Modeling Language (DOL)" [8:59] TerryLongstreth: It would help to have simple tutorials for experienced OWL, CL, UML or other practitioners - [9:00] TerryLongstreth: I have to leave for another meeting. [9:01] ChristophLange: BTW on #52 I'd put a _link_ to the Ontology Summit [9:02] PeterYim: @Christoph @Till - a good "_link_ to the Ontology Summit" would be: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit [9:01] TerryLongstreth: (ref. point brought up by Micahel & Conrad, that some people may find part of DOL non-intuitive) I agree with the sentiment that the language is going to be difficult to learn. - [9:02] TerryLongstreth: Goodbye all. I'll check back in two weeks. [9:03] TillMossakowski: Conrad: we could have multiple concrete syntaxes, for different audiences. [9:04] TillMossakowski: Michael: we could have a functional syntax for DOL, e.g. conservative_extension(O1,O2). - [9:06] ChristophLange: I'm sorry, it seems I need to leave now [9:10] TillMossakowski: Oliver: we possibly need to re-work equivalences (different notions) and bridges. [9:12] TillMossakowski: next steps: 1) another pass through the relationships, where they are complete; 2) check current design against RFP; 3) semantics (I already have slides with semantics). [9:12] TillMossakowski: Oliver: should we include patterns? [9:19] PeterYim: TillMossakowski: next OntoIOp team-confcall (n.53) - Wed 2014.02.26 - same time, i.e. starting 8:00am PST / 11:00 am EST / 5:00pm CET / 6:00pm SAST / 1:00am [+1] KST / 16:00 GMT/UTC [9:19] PeterYim: -- session ended: 6:17pm CET -- [9:20] List of attendees: ChristophLange, ConradBock, FabianNeuhaus, MichaelGruninger, OliverKutz, PeterYim, TerryLongstreth, TillMossakowski, anonymous ------