From conrad.bock at nist.gov Sun Nov 2 16:28:57 2014 From: conrad.bock at nist.gov (Bock, Conrad) Date: Sun, 2 Nov 2014 15:28:57 +0000 Subject: [ontoiop-forum] [DOL] general proof reading (#74) In-Reply-To: References: Message-ID: Till, et al, The current submission doc is missing "meta-submission" material, normally appearing in Section 0. See: - Section 4.9.2 (Mandatory Outline) of the OntoIOp RFP http://doc.omg.org/ad/2013-12-02. - Section 0 (Submission Material) in http://doc.omg.org/bmi/2012-10-02, as an example. Some of it is in the current Section 6, and should be moved to a new Section 0. It's odd they don't include Section 0 in the submission template http://doc.omg.org/submission-template. Let me know if you have any questions. Conrad From mossakow at iws.cs.uni-magdeburg.de Mon Nov 3 14:08:15 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 03 Nov 2014 14:08:15 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.68): Mon 2014.11.03 Message-ID: <54577E3F.10701@iws.cs.uni-magdeburg.de> Dear all, as announced earlier, today we have the weekly OntoIOp telcon. The topics are: - status of UML as a DOL-conformant language - status of the standard document The document (revised according to the latest discussions) is attached. The most recent version is always available at https://github.com/tillmo/DOL All the best, Till = OntoIOp team-confcall (n.68) - Mon 2014.11.03 = < * Date: Mon 03-Nov-2014 * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=03&year=2014&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-11-03_team-confcall_n.68/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20141103 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 Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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) Talk to you all then! -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1155482 bytes Desc: not available URL: From conrad.bock at nist.gov Mon Nov 3 14:22:38 2014 From: conrad.bock at nist.gov (Bock, Conrad) Date: Mon, 3 Nov 2014 13:22:38 +0000 Subject: [ontoiop-forum] [DOL] general proof reading (#74), Section 0 Message-ID: <0a2ea01bece1465ab3a8122ba20fc006@DM2PR09MB0334.namprd09.prod.outlook.com> > in the most recent version, there is a complete section 0. See > https://github.com/tillmo/DOL , there is a reference to the document in > PDF form. Looks good. Except Sections 6.1 and 6.3 should be moved to Section 0. The adopted document (after Section 0 is removed) shouldn't have authorship info in it. Conrad From maria.keet at uct.ac.za Mon Nov 3 14:39:27 2014 From: maria.keet at uct.ac.za (Maria Keet) Date: Mon, 3 Nov 2014 13:39:27 +0000 Subject: [ontoiop-forum] OntoIOp teleconference (n.68): Mon 2014.11.03 In-Reply-To: <54577E3F.10701@iws.cs.uni-magdeburg.de> References: <54577E3F.10701@iws.cs.uni-magdeburg.de> Message-ID: Dear Till, All, we're having electricity "load shedding" this week at least some of the days, and both the zone where the university is and the zone where I live (and inbetween) are scheduled to be out for a few hours. including at the time of the call, so I'm unlikely to participate. I would have liked to contribute to the topic on the agenda, even though my opinion has't changed on the matter (UML Class Diagrams as such isn't formalised, so can't go in there). I can recall a call where there was an idea for some compromise where different logic-based reconstructions of UML Class Diagrams would be allowed/can be accommodated for within DOL, but skimming the latest version, I don't see that emerging from it. If UML Class Diagram conformance has to go in there, I definitely much prefer the 'agnostic' (latter) option over favouring one of the extant formalizations (but it it comes to the latter, I do like to put my favourite one forward). Regards, Maria ________________________________________ From: ontoiop-forum-bounces at ovgu.de [ontoiop-forum-bounces at ovgu.de] on behalf of Till Mossakowski [mossakow at iws.cs.uni-magdeburg.de] Sent: 03 November 2014 03:08 PM To: OntoIOp open discussion Subject: [ontoiop-forum] OntoIOp teleconference (n.68): Mon 2014.11.03 Dear all, as announced earlier, today we have the weekly OntoIOp telcon. The topics are: - status of UML as a DOL-conformant language - status of the standard document The document (revised according to the latest discussions) is attached. The most recent version is always available at https://github.com/tillmo/DOL All the best, Till = OntoIOp team-confcall (n.68) - Mon 2014.11.03 = < * Date: Mon 03-Nov-2014 * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=03&year=2014&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-11-03_team-confcall_n.68/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20141103 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 Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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) Talk to you all then! ________________________________ UNIVERSITY OF CAPE TOWN This e-mail is subject to the UCT ICT policies and e-mail disclaimer published on our website at http://www.uct.ac.za/about/policies/emaildisclaimer/ or obtainable from +27 21 650 9111. This e-mail is intended only for the person(s) to whom it is addressed. If the e-mail has reached you in error, please notify the author. If you are not the intended recipient of the e-mail you may not use, disclose, copy, redirect or print the content. If this e-mail is not related to the business of UCT it is sent by the sender in the sender's individual capacity. From math.semantic.web at gmail.com Mon Nov 3 14:40:02 2014 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 03 Nov 2014 14:40:02 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.68): Mon 2014.11.03 In-Reply-To: <54577E3F.10701@iws.cs.uni-magdeburg.de> References: <54577E3F.10701@iws.cs.uni-magdeburg.de> Message-ID: <545785B2.60603@gmail.com> Hi all, just to let you know: From tonight I should be able to get started working on my remaining GitHub issues. I'm sorry that because of a grant proposal deadline it had not been possible earlier. Today I'm attending a whole-day project meeting, which might not be over in time for our call, but once more I'll leave the chat window open. Cheers, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? Postdoc position on Linked Data / Enterprise Information Integration with the EIS group at Uni Bonn & Fraunhofer IAIS (Bonn, Germany) http://eis.iai.uni-bonn.de/Jobs ? apply until 7 November From fneuhaus at web.de Mon Nov 3 17:00:00 2014 From: fneuhaus at web.de (Fabian Neuhaus) Date: Mon, 03 Nov 2014 17:00:00 +0100 Subject: [ontoiop-forum] [DOL] general proof reading (#74), Section 0 In-Reply-To: <0a2ea01bece1465ab3a8122ba20fc006@DM2PR09MB0334.namprd09.prod.outlook.com> References: <0a2ea01bece1465ab3a8122ba20fc006@DM2PR09MB0334.namprd09.prod.outlook.com> Message-ID: <5457A680.70202@web.de> Am 03/11/14 14:22, schrieb Bock, Conrad: > > in the most recent version, there is a complete section 0. See > > https://github.com/tillmo/DOL , there is a reference to the document in > > PDF form. > > Looks good. Except Sections 6.1 and 6.3 should be moved to Section 0. The > adopted document (after Section 0 is removed) shouldn't have authorship info > in it. > > Conrad > Hi Conrad, Are you sure? I went through several standards and while most of them just mention companies, there were one or two which recognized individuals as contributers. Best Fabian From conrad.bock at nist.gov Mon Nov 3 17:00:32 2014 From: conrad.bock at nist.gov (Bock, Conrad) Date: Mon, 3 Nov 2014 16:00:32 +0000 Subject: [ontoiop-forum] [DOL] general proof reading (#74), Section 0 In-Reply-To: <5457A680.70202@web.de> References: <0a2ea01bece1465ab3a8122ba20fc006@DM2PR09MB0334.namprd09.prod.outlook.com> <5457A680.70202@web.de> Message-ID: <6d223536f5664a908c268d97da78a8fb@DM2PR09MB0334.namprd09.prod.outlook.com> > Are you sure? I went through several standards and while most of them > just mention companies, there were one or two which recognized > individuals as contributers. Not sure about OMG rules in this case, but the practice is that OMG members as a whole who requested and are adopting this. It isn't supposed to be attributed to individuals who wrote it. It's like buildings with the owner's name on it, not the contractors who built it. Conrad From mossakow at iws.cs.uni-magdeburg.de Mon Nov 3 18:38:10 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 03 Nov 2014 18:38:10 +0100 Subject: [ontoiop-forum] ontoiop_20141103: Chat Transcript Message-ID: <5457BD82.2000402@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20141103* *2014-11-03 GMT-08:00* *[07:43] *anonymous morphed into Rokan *[08:00] **FabianNeuhaus: *Is there a different phone call going on? *[08:01] *anonymous morphed into Yazmin Ibanez *[08:01] *anonymous morphed into ConradBock *[08:01] **MihaiCodescu: *Yes, it seems so *[08:03] **TillMossakowski: *we need to set up a separate Skype call *[08:03] **FabianNeuhaus: *What happens now? *[08:03] **TillMossakowski: *please tell me you Skype names. *[08:03] **ConradBock: *I'm not allowed to use Skype. *[08:03] **MichaelGruninger: *My skype id is mudcatpi *[08:03] **TillMossakowski: *I will set up a new Skype conference, using the usual Skype facilities *[08:04] **TerryLongstreth: *Before I forget: I'll be away for the next two Mondays, and probably won't be able to do much. I'm planning to run the spell checker tomorrow (for US English) but I've not tested spell checking against a PDF, so it might be best to have it in a word processing format,like MS Word or Openoffice. *[08:04] **MichaelGruninger: *Sorry, I forgot that the SWAO SIG has a monthly call (first Monday of each month) at 1000 EST. *[08:05] **TerryLongstreth: *I can't callin on Skype today. *[08:05] **ConradBock: *I have a telecon number we could use. *[08:05] **FabianNeuhaus: *@Terry, it won't be easy to convert from Latex to Word or Open Office *[08:06] **ChristophLange: *Not sure what this "Skype" discussion means, but in any case my username is "duke4701" *[08:07] **ConradBock: *Can use this: 866 747 9595, Participant code: 9365317. Would that be OK? *[08:07] **FabianNeuhaus: *@Conrad how do we use the telecon number? *[08:08] **ConradBock: *The 866 number works internationally. *[08:09] **ConradBock: *I opened the 866 bridge if you'd like to use it. *[08:10] **FabianNeuhaus: *Problem with calling internationally is that it can get expensive very quickly. *[08:10] **ConradBock: *It might. Not sure if the 866 number has a toll charge overseas. *[08:11] **ConradBock: *fine if you want to use Skype. Terry and I will just be on chat. *[08:11] **FabianNeuhaus: *What about google hangout, you can use that, right? *[08:12] **ConradBock: *By the time we figure out how to to reconvene, the original number will be open. :) *[08:12] **TillMossakowski: *OK, what about having the Skype call for now, and change to the usual channel in 20 mins, when the SWOA SIG has finished its call? In the meantime, we could rely on the chat more than usually. *[08:12] **ConradBock: *I've never heard of Google hangout. *[08:13] **ConradBock: *@Till. Fine for me. *[08:13] **TillMossakowski: *OK, then let us do this. Yazmin, do you have a Skype name? *[08:14] **FabianNeuhaus: *@Conrad: it is a similar service like Skype from Google. I switched to it when I was at NIST, because it was not banned. *[08:14] **Yazmin Ibanez: *yes, it is yazmin.angelica.ibanez.garcia *[08:14] **Yazmin Ibanez: *Mihai already added me *[08:15] **TillMossakowski: *Concerning the DOL documents, we have made a lot of progress in the last week. *[08:16] **FabianNeuhaus: *Till: we added section 0 *[08:16] **FabianNeuhaus: *explanation: section 0 explains the submissions in terms of the RFP *[08:17] **FabianNeuhaus: *Till: section 7 has a new introduction *[08:18] **FabianNeuhaus: *Till: section 8 has new introduction *[08:19] **FabianNeuhaus: *Till: the grammar has been revised, because implementation of parsers showed problems *[08:19] **TerryLongstreth: *@Till - I checked the PDF, and the only way to spell check is, apparently, saving it as a Word .doc or .docx, and running the checker on the product. But you have to buy the commercial version of ADOBE to do that. Does OMG accept LaTex? *[08:19] **FabianNeuhaus: *Till: semantics has been very much rewritten. *[08:19] **TerryLongstreth: *Does OMG accept LaTex? *[08:20] **FabianNeuhaus: *Till: new appendix on tools *[08:20] **TillMossakowski: *Suggestion for how to proceed: *[08:20] **Yazmin Ibanez: *Couldn't we just run the spellchecker on the latex code, as plain text ? *[08:21] **FabianNeuhaus: *@Terry: I don't think that there is a requirement for a particular format. Until recently OMG did not even use Word, *[08:21] **TillMossakowski: *1. there will be a document this evening which is the basis for proof reading, both content and spell checking *[08:21] **TerryLongstreth: *If we don't have it in a checkable format, then I'd say submit it with checking. I've read through much of it and haven't seen any egregious spelling or grammar flaws. *[08:21] **TerryLongstreth: *C/with checking/without checking/ *[08:21] **TillMossakowski: *2. everyone can also improve the current version *[08:22] **ConradBock: *@Terry OMG doesn't require document source until after the submission is adopted. The team can submit PDF generated from any source. *[08:23] *anonymous morphed into TaraAthan *[08:24] **FabianNeuhaus: *@Terry, Yazmin: yes, we are using spell checkers in Latex *[08:24] **TillMossakowski: *@yazmin: we should use ispell -t, this can directly check the LaTeX code. Or use a LaTeX editor that directly does it. Never spell-check the plain tex file wth a checker that does not understand LaTeX, because this is tedious. *[08:25] **TillMossakowski: *this means that not Terry should do the spell checking, but someone else. *[08:26] **anonymous: *Hi *[08:26] *anonymous morphed into TaraAthan *[08:27] **FabianNeuhaus: *I think spell-checking is not really the issue (given that we use spell-checkers). What we really need is a native speaker to eliminate the Denglish :-) *[08:27] **TillMossakowski: *Michael will do the spell checking over the next weekend. *[08:28] **FabianNeuhaus: *sourcetree *[08:28] **TillMossakowski: *Hi Tara. *[08:28] **TaraAthan: *It is chat only I guess? *[08:29] **TerryLongstreth: *I will eyeball it for Engleutsch *[08:29] **FabianNeuhaus: *@Tara, the telephone line was in use. We will switch in few minutes. *[08:29] **TillMossakowski: *We will start the usual call in a few minutes (currently, the line is blocked by another call). *[08:29] **FabianNeuhaus: *@Currently, we are partially on skype *[08:29] **TaraAthan: *ok *[08:30] **TerryLongstreth: *My new years resolution will be to buy a Linux machine and install LaTex. *[08:30] **FabianNeuhaus: *@Tara I try to invite you to the skype call. *[08:31] **FabianNeuhaus: *(continuing my scribe duties) *[08:31] **TaraAthan: *@Terry - I suggest you try https://www.sharelatex.com *[08:32] **ConradBock: *@Terry There are decent Windows LaTex tools. *[08:32] **FabianNeuhaus: *Till and Christoph discuss Lola. *[08:33] **FabianNeuhaus: *Till/Christoph: discussion of issue 52, the role of Lola *[08:33] **TerryLongstreth: *I tried. My machine's too old (ca: 2005) *[08:34] **FabianNeuhaus: *@Terry: Sharelatex is cloud-based. This should work, I think *[08:35] **TillMossakowski: *Annex A should be about LoLa, see issue 52. The RDF vocabulary will then become a part of it. *[08:36] **TillMossakowski: *Tara: the vocabulary should be kept as a separate file, and imported as a module. *[08:36] **TillMossakowski: *Tara: OMG has certain requirements for ontology URLs. MAybe purl.net/DOL will not work. *[08:37] **TillMossakowski: *Elisa knows more. *[08:37] **TerryLongstreth: *@Tara & @Fabian Thanks for the pointer. If I've time, I'll play with it when I get back from my trip. *[08:37] **FabianNeuhaus: *Let's switch to the other line *[08:37] **TillMossakowski: *Attention: we will now switch to the usual channel (e.g. join.conference at Skype) *[08:38] **TillMossakowski: *Conrad, Terry: can you join us there? *[08:40] **TillMossakowski: *Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# *[08:41] **ConradBock: *Conrad joins *[08:43] **ConradBock: *Again *[08:44] **TillMossakowski: *Conrad, please tell us when you have joined. *[08:45] **TillMossakowski: *decision to delete "K. Annex (informative): Annotation Vocabularies" *[08:47] **TillMossakowski: *discussion about how to make UML class diagrams DOL conformant *[08:48] **TillMossakowski: *this means we need to specify a formal semantics for UML class diagrams *[08:48] **TillMossakowski: *There are two options: 1. fUML, 2. literature by Alexander Knapp *[08:49] **TillMossakowski: *Alexander Knapp writes on option 1: *[08:49] **TillMossakowski: *I've checked with the current fUML specification, version 1.1 as of August 2013. Chapter 7 specifies which parts of UML static structures are included in fUML, and chapter 8 gives their semantics. This semantics explains which instances (values) comply with which classes and data types. However, the semantics is not describing directly what the denotation of a class diagram is. Two citations from the specification which I found interesting: - "Foundational UML does not contain association actions, so it does not provide semantics for link objects." (p. 116) - "However, the exact behavior to be specified for polymorphic operation dispatching is a semantic variation point in fUML." (p. 117) *[08:50] **TaraAthan: *Is it possible to evaluate fUML and recommend improvements that would bring it into conformance? *[08:53] **TillMossakowski: *Reference for fUML: http://www.omg.org/spec/FUML/ *[08:58] **FabianNeuhaus: *http://philebus.tamu.edu/cmenzel/Papers/AxiomaticSemantics.pdf *[09:02] **TillMossakowski: *The Knapp paper: http://www4.in.tum.de/~cengarle/papers/TUM-I0807.pdf *[09:02] **MichaelGruninger: *Need to go now ... *[09:04] **TillMossakowski: *see also http://www.informatik.uni-bremen.de/agbkb/publikationen/bibsearch/detail_e.htm?pk_int=3014 *[09:18] **TillMossakowski: *Conrad: suggestion: we put an empty stub in the annex with UML class diagram DOL-conformance, and discuss this at the OMG meeting *[09:20] **TillMossakowski: *then we could try get the Knapp version in, and if we do not succeed, we can still remove the annex. *[09:22] **TillMossakowski: *I think we can also try to improve the fUML-based semantics and make it DOL conformant. However, I do not want to commit ourselves that this must be done before we get the DOL standard accepted. *[09:24] **TillMossakowski: *Tara: the DOL standard could then foster an interesting investigation, which however will not be part of the DOL standard. *[09:34] *List of attendees: ChristophLange, ConradBock, FabianNeuhaus, MichaelGruninger, MihaiCodescu, OliverKutz, Rokan, TaraAthan, TerryLongstreth, TillMossakowski, Yazmin Ibanez -------------- next part -------------- An HTML attachment was scrubbed... URL: From mossakow at iws.cs.uni-magdeburg.de Wed Nov 5 11:04:49 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Wed, 05 Nov 2014 11:04:49 +0100 Subject: [ontoiop-forum] DOL standard: final draft for proofreading Message-ID: <5459F641.1090907@iws.cs.uni-magdeburg.de> [sorry for the delay, I just have realised that the message has been held for approval] Dear all, please find attached the final draft for proofreading. Thank you for all your contributions! For comments, please use this mailing list and/or the issue tracker at https://github.com/tillmo/DOL . The deadline is Monday November 10th. Then we will send the document off to OMG. All the best, Till -------------- next part -------------- A non-text attachment was scrubbed... Name: OMG_OntoIOp_final_draft.pdf Type: application/pdf Size: 3990182 bytes Desc: not available URL: From conrad.bock at nist.gov Thu Nov 6 21:30:06 2014 From: conrad.bock at nist.gov (Bock, Conrad) Date: Thu, 6 Nov 2014 20:30:06 +0000 Subject: [ontoiop-forum] DOL standard: final draft for proofreading, Section 6 Message-ID: <7a409338dfe8497197dff61a1ea2a75e@DM2PR09MB0334.namprd09.prod.outlook.com> P.S. Sections 6.1 and 6.3 should be moved to Section 0. The adopted document (after Section 0 is removed) shouldn't have authorship info in it. Conrad -----Original Message----- From: Bock, Conrad Sent: Monday, November 03, 2014 11:01 AM To: ontoiop-forum at ovgu.de Subject: RE: [ontoiop-forum] [DOL] general proof reading (#74), Section 0 > Are you sure? I went through several standards and while most of them > just mention companies, there were one or two which recognized > individuals as contributers. Not sure about OMG rules in this case, but the practice is that OMG members as a whole who requested and are adopting this. It isn't supposed to be attributed to individuals who wrote it. It's like buildings with the owner's name on it, not the contractors who built it. Conrad -----Original Message----- From: Bock, Conrad Sent: Monday, November 03, 2014 8:23 AM To: 'tillmo/DOL'; 'OntoIOp open discussion' Subject: RE: [DOL] general proof reading (#74), Section 0 > in the most recent version, there is a complete section 0. See > https://github.com/tillmo/DOL , there is a reference to the document in > PDF form. Looks good. Except Sections 6.1 and 6.3 should be moved to Section 0. The adopted document (after Section 0 is removed) shouldn't have authorship info in it. Conrad From mossakow at iws.cs.uni-magdeburg.de Sun Nov 9 22:23:20 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 09 Nov 2014 22:23:20 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.69): Mon 2014.11.10 Message-ID: <545FDB48.8060709@iws.cs.uni-magdeburg.de> Dear all, tomorrow we have the weekly OntoIOp telcon. The topics are: - results of proof-reading - final adjustments before submission to OMG The most recent version of the document is always available at https://github.com/tillmo/DOL All the best, Till = OntoIOp team-confcall (n.69) - Mon 2014.11.10 = < * Date: Mon 10-Nov-2014 * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=10&year=2014&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-11-10_team-confcall_n.69/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20141110 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 Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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) Talk to you all then! From math.semantic.web at gmail.com Mon Nov 10 16:57:57 2014 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 10 Nov 2014 16:57:57 +0100 Subject: [ontoiop-forum] Still not done with my issues but could do it before tomorrow morning: OK? Message-ID: <5460E085.2030100@gmail.com> Hi all, just to let you know that some project deliverable work, whose amount was more than expected, kept me from working on my OntoIOp specification GitHub issues over the past few days. I can however allocate time for this tonight and tomorrow early morning. Would this still be acceptable? Cheers, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? Postdoc position on Linked Data / Enterprise Information Integration with the EIS group at Uni Bonn & Fraunhofer IAIS (Bonn, Germany) http://eis.iai.uni-bonn.de/Jobs ? apply until 7 November From mossakow at iws.cs.uni-magdeburg.de Mon Nov 10 17:41:25 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 10 Nov 2014 17:41:25 +0100 Subject: [ontoiop-forum] ontoiop_20141110: Chat Transcript Message-ID: <5460EAB5.3050400@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20141110* *2014-11-10 GMT-08:00* *[08:04] **TillMossakowski: *Michael: since the mereology example is already in the document, we can remove the ednote *[08:04] *anonymous morphed into Yazmin Ibanez *[08:05] **TillMossakowski: *Fabian: worked hard on the index. *[08:06] **TillMossakowski: *Fabian: before the next version, some student should complete the index. *[08:07] **TillMossakowski: *Terry: Do you want to mention institutions here, presaging 6.5.4 ? and add 8.4 to the see list? Till: I do not fully understand. *[08:07] **TerryLongstreth: *I'm here *[08:10] **TillMossakowski: *Terry: institutions should be mentioned in chapter 0 somewhere. *[08:11] **TillMossakowski: *Christoph, could you work on annex A? *[08:11] **ChristophLange: *I'm here but having the same audio problems as always *[08:11] **ChristophLange: *yes -- tonight *[08:11] **TillMossakowski: *good! *[08:12] **ChristophLange: *Is it acceptable to stick to purl.net URLs in the ontology/vocabulary for now, or will this be a reason to reject our document? (Not sure I can get Eliza's response on this in time.) *[08:14] **TillMossakowski: *we have to submit at 5pm EST / 11am CET. *[08:15] **TillMossakowski: *That means we can receive input until 4pm EST / 10am CET. *[08:15] **TillMossakowski: *Then there is one hour for finalization. *[08:16] **ChristophLange: *OK, thanks -- this will make my job easier *[08:16] **ChristophLange: *you mean at the _next_ OMG meeting _after_ submitting? If that's still OK -- fine with me! *[08:17] **ChristophLange: *I can factor out a GitHub Issue out of https://github.com/tillmo/DOL/issues/52 *[08:17] **TillMossakowski: *Fabian should ask at the OMG meeting how to deal with purl.net *[08:18] **TillMossakowski: *we should have a new label for github issues that need to be discussed at the OMG meeting *[08:18] **ChristophLange: *will do *[08:19] **TillMossakowski: *Correction: we have to submit at 5pm EST / 11pm CET. That means we can receive input until 4pm EST / 10pm CET. *[08:21] **TillMossakowski: *next meeting: Monday Nov. 24, same time *[08:22] **ChristophLange: *bye *[08:22] *List of attendees: ChristophLange, FabianNeuhaus, MichaelGruninger, TerryLongstreth, TillMossakowski, Yazmin Ibanez -------------- next part -------------- An HTML attachment was scrubbed... URL: From mossakow at iws.cs.uni-magdeburg.de Mon Nov 10 17:41:50 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 10 Nov 2014 17:41:50 +0100 Subject: [ontoiop-forum] Still not done with my issues but could do it before tomorrow morning: OK? In-Reply-To: <5460E085.2030100@gmail.com> References: <5460E085.2030100@gmail.com> Message-ID: <5460EACE.30706@iws.cs.uni-magdeburg.de> Hi Christoph, we have to submit today at 5pm EST / 11pm CET. That means we can receive input until today at 4pm EST / 10pm CET. Best, Till Am 10.11.2014 16:57, schrieb Christoph LANGE: > Hi all, > > just to let you know that some project deliverable work, whose amount > was more than expected, kept me from working on my OntoIOp > specification GitHub issues over the past few days. I can however > allocate time for this tonight and tomorrow early morning. Would this > still be acceptable? > > Cheers, > > Christoph > From ekendall at thematix.com Mon Nov 10 17:55:15 2014 From: ekendall at thematix.com (Elisa Kendall) Date: Mon, 10 Nov 2014 08:55:15 -0800 Subject: [ontoiop-forum] ontoiop_20141110: Chat Transcript In-Reply-To: <5460EAB5.3050400@iws.cs.uni-magdeburg.de> References: <5460EAB5.3050400@iws.cs.uni-magdeburg.de> Message-ID: <5460EDF3.1060405@thematix.com> An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smsc-07-09-11.pdf Type: application/pdf Size: 53892 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: pp-14-06-04.pdf Type: application/pdf Size: 242766 bytes Desc: not available URL: From math.semantic.web at gmail.com Mon Nov 10 18:18:22 2014 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 10 Nov 2014 18:18:22 +0100 Subject: [ontoiop-forum] ontoiop_20141110: Chat Transcript In-Reply-To: <5460EDF3.1060405@thematix.com> References: <5460EAB5.3050400@iws.cs.uni-magdeburg.de> <5460EDF3.1060405@thematix.com> Message-ID: <5460F35E.3090505@gmail.com> Hi Elisa, Elisa Kendall on 2014-11-10 17:55: > Use of purls rather than OMG IRIs won't fly with the architecture > board. All of the IRIs in the document and machine readable files must > be OMG-sanctioned IRIs per the policy stated in the SMSC document, > available at http://www.omg.org/cgi-bin/doc?smsc/2007-09-11 (to members > only though, so I've attached it), and in the Policies and Procedures, > also attached. OK, thanks for clarifying. I can change everything to OMG IRIs, but this will require at some later point that at least the OMG can set up a redirect for us, because we actually want to _download_ stuff from these IRIs. So for now we can have OMG IRIs in the document, which makes the document nice and self-contained, but once we go ahead _implementing_ what we specified in the document, we need this redirect. Cheers, and thanks in advance, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? Postdoc position on Linked Data / Enterprise Information Integration with the EIS group at Uni Bonn & Fraunhofer IAIS (Bonn, Germany) http://eis.iai.uni-bonn.de/Jobs ? apply until 7 November From fneuhaus at web.de Mon Nov 10 20:21:04 2014 From: fneuhaus at web.de (Fabian Neuhaus) Date: Mon, 10 Nov 2014 20:21:04 +0100 Subject: [ontoiop-forum] DOL standard: final draft for proofreading, Section 6 In-Reply-To: <7a409338dfe8497197dff61a1ea2a75e@DM2PR09MB0334.namprd09.prod.outlook.com> References: <7a409338dfe8497197dff61a1ea2a75e@DM2PR09MB0334.namprd09.prod.outlook.com> Message-ID: <54611020.6040903@web.de> Hi Conrad, Thank you. I had a look at other OMG specs, and there are at least some examples which contain authorship info (e.g., the Date Time Vocabulary). Till and I spoke about it, and we both would prefer to keep the authorship information in the document, if OMG gives us a choice. So we decided to leave the authorship info in the document for now and wait for OMG feedback. If they complain, we will take it out. Best Fabian Am 06/11/14 21:30, schrieb Bock, Conrad: > P.S. Sections 6.1 and 6.3 should be moved to Section 0. The adopted > document (after Section 0 is removed) shouldn't have authorship info > in it. > > Conrad > > > -----Original Message----- > From: Bock, Conrad > Sent: Monday, November 03, 2014 11:01 AM > To: ontoiop-forum at ovgu.de > Subject: RE: [ontoiop-forum] [DOL] general proof reading (#74), Section 0 > > > Are you sure? I went through several standards and while most of them > > just mention companies, there were one or two which recognized > > individuals as contributers. > > Not sure about OMG rules in this case, but the practice is that OMG > members as a whole who requested and are adopting this. It isn't supposed > to be attributed to individuals who wrote it. It's like buildings with > the owner's name on it, not the contractors who built it. > > Conrad > > > -----Original Message----- > From: Bock, Conrad > Sent: Monday, November 03, 2014 8:23 AM > To: 'tillmo/DOL'; 'OntoIOp open discussion' > Subject: RE: [DOL] general proof reading (#74), Section 0 > > > in the most recent version, there is a complete section 0. See > > https://github.com/tillmo/DOL , there is a reference to the document in > > PDF form. > > Looks good. Except Sections 6.1 and 6.3 should be moved to Section 0. The > adopted document (after Section 0 is removed) shouldn't have authorship info > in it. > > Conrad > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org From math.semantic.web at gmail.com Mon Nov 10 21:21:45 2014 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 10 Nov 2014 21:21:45 +0100 Subject: [ontoiop-forum] Identifier injection specified Message-ID: <54611E59.1050103@gmail.com> Hi all, I finished a major piece of homework: specifying the injection of DOL identifiers into OMS serialized in other OMS languages. If still possible could you please give section 10.5 a sanity check? Cheers, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? Postdoc position on Linked Data / Enterprise Information Integration with the EIS group at Uni Bonn & Fraunhofer IAIS (Bonn, Germany) http://eis.iai.uni-bonn.de/Jobs ? apply until 7 November From mossakow at iws.cs.uni-magdeburg.de Sun Nov 23 20:22:08 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 23 Nov 2014 20:22:08 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.70): Mon 2014.11.24 Message-ID: <547233E0.2060803@iws.cs.uni-magdeburg.de> Dear all, tomorrow we have the biweekly OntoIOp telcon. The topics are: - latest changes to DOL syntax - DOL examples for the OMG meeting, see annex I p.98 ff. of the attached document - preparation of OMG meeting All the best, Till = OntoIOp team-confcall (n.70) - Mon 2014.11.24 = < * Date: Mon 24-Nov-2014 * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=24&year=2014&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * shared-file workspace: http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-11-24_team-confcall_n.70/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20141124 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 Dial-in: * Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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) Talk to you all then! -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1535200 bytes Desc: not available URL: From math.semantic.web at gmail.com Mon Nov 24 16:47:10 2014 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 24 Nov 2014 16:47:10 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.70): Mon 2014.11.24 In-Reply-To: <547233E0.2060803@iws.cs.uni-magdeburg.de> References: <547233E0.2060803@iws.cs.uni-magdeburg.de> Message-ID: <547352FE.3000809@gmail.com> Hi all, On 23.11.2014 20:22, Till Mossakowski wrote: > tomorrow we have the biweekly OntoIOp telcon. unfortunately I won't be able to attend today. > The topics are: > - latest changes to DOL syntax > - DOL examples for the OMG meeting, see annex I p.98 ff. of the attached > document As far as these affect the use of IRIs, I will be happy to give advice, or to do some work on the Document. If you mention my name in today's chat, and/or assign GitHub issues to me, I will be able to do a few things most likely on Thursday/Friday. Cheers, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 From mossakow at iws.cs.uni-magdeburg.de Mon Nov 24 17:11:39 2014 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 24 Nov 2014 17:11:39 +0100 Subject: [ontoiop-forum] ontoiop_20141124: Chat Transcript Message-ID: <547358BB.3080005@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20141124* *2014-11-24 GMT-08:00* *[08:04] **TillMossakowski: *DOL examples, p. 100 *[08:04] **TillMossakowski: *props PT, T, S, AR, PD . S T AR PD PT *[08:04] **TillMossakowski: *the bullet is not a multiplication symbol, but rather an axiom separation symbol *[08:05] **TillMossakowski: *at least that needs to be explained *[08:06] **TillMossakowski: *note that these bullets are specific to CASL and its propositional fragment (the latter is being used here) *[08:08] **TillMossakowski: *p.108, new formulation: resulting in a two-state machine *[08:10] **TillMossakowski: *in two weeks, the OMG meeting starts. We should have a meeting in three weeks, with a report from the OMG meeting. Fabian should say whether we need a meeting in one week, for preparation of the OMG meeting. *[08:10] *List of attendees: TerryLongstreth, TillMossakowski -------------- next part -------------- An HTML attachment was scrubbed... URL: From gruninger at mie.utoronto.ca Mon Nov 24 17:04:15 2014 From: gruninger at mie.utoronto.ca (Michael Gruninger) Date: Mon, 24 Nov 2014 11:04:15 -0500 Subject: [ontoiop-forum] OntoIOp teleconference (n.70): Mon 2014.11.24 In-Reply-To: <547233E0.2060803@iws.cs.uni-magdeburg.de> References: <547233E0.2060803@iws.cs.uni-magdeburg.de> Message-ID: <547356FF.6000905@mie.utoronto.ca> Hi Till, my current meeting is running later -- I will most likely not be able to make today's OntoIOp meeting - michael On 14-11-23 2:22 PM, Till Mossakowski wrote: > Dear all, > > tomorrow we have the biweekly OntoIOp telcon. > > The topics are: > - latest changes to DOL syntax > - DOL examples for the OMG meeting, see annex I p.98 ff. of the attached > document > - preparation of OMG meeting > > All the best, > Till > > > = OntoIOp team-confcall (n.70) - Mon 2014.11.24 = > < > * Date: Mon 24-Nov-2014 > * start-time: 8:00am PST / 11:00 > pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC > ** ref. world clock - > http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=24&year=2014&hour=8&min=0&sec=0&p1=224 > * Duration: 1~1.5 Hrs. > * shared-file workspace: > http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-11-24_team-confcall_n.70/ > * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20141124 > > > 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 > > Dial-in: > * Phone (US): +1 (206) 402-0100 > ... when prompted enter Conference ID: 843758# > * Skype: "join.conference" > ... when prompted enter Conference ID: 843758# > ** 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 (425) 440-5100 > ... when prompted enter Conference ID: 843758# > ** 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) > > > Talk to you all then! > > > > > > > > > > > > > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org -------------- next part -------------- An HTML attachment was scrubbed... URL: