From mossakow at iws.cs.uni-magdeburg.de Sun Mar 8 17:14:33 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 08 Mar 2015 17:14:33 +0100 Subject: [ontoiop-forum] OntoIOp telcon Message-ID: <54FC7569.9090206@iws.cs.uni-magdeburg.de> Dear all, due to illness, I could not prepare the revision of the document. Therefore, I suggest to shift the telcon to Monday March 16. All the best, Till From ikiyong at gmail.com Sun Mar 8 22:58:44 2015 From: ikiyong at gmail.com (Kiyong Lee) Date: Mon, 9 Mar 2015 06:58:44 +0900 Subject: [ontoiop-forum] OntoIOp telcon In-Reply-To: <54FC7569.9090206@iws.cs.uni-magdeburg.de> References: <54FC7569.9090206@iws.cs.uni-magdeburg.de> Message-ID: Dear Till, Wish you a quick recovery. Kiyong >From Kiyong Lee ISO/TC 37/SC 4/WG 2 convenor and Secretariat support Professor emeritus, Korea University ikiyong at gmail.com (primary), klee at korea.ac.kr Mobile: +82-(0)10-5-234-6256 On Mon, Mar 9, 2015 at 1:14 AM, Till Mossakowski < mossakow at iws.cs.uni-magdeburg.de> wrote: > Dear all, > > due to illness, I could not prepare the revision of the document. > Therefore, I suggest to shift the telcon to Monday March 16. > > All the best, > Till > > > _________________________________________________________________ > 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: From mossakow at iws.cs.uni-magdeburg.de Sun Mar 15 22:42:40 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 15 Mar 2015 22:42:40 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.75): Mon 2015.03.16 Message-ID: <5505FCD0.80601@iws.cs.uni-magdeburg.de> Dear all, on Monday we have the biweekly OntoIOp telcon. The topics are: - recent news on the semantics of UML class diagrams and fUML. See p.94 ff. (especially the new material on p.95, 99, 100, 107) of the attached document (also available at https://github.com/tillmo/DOL ), where a foruth version of the translation of UML class diagrams to Common Logic is given (updated according to the discussions at the 74th meeting). - revision of the submission All the best, Till = OntoIOp team-confcall (n.75) - Mon 2015.03.16 = * start-time: 9:00am PDT / 12:00 pm EDT / 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=3&day=16&year=2015&hour=9&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150316 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 -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1667682 bytes Desc: not available URL: From math.semantic.web at gmail.com Mon Mar 16 17:19:59 2015 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Mon, 16 Mar 2015 17:19:59 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.75): Mon 2015.03.16 In-Reply-To: <5505FCD0.80601@iws.cs.uni-magdeburg.de> References: <5505FCD0.80601@iws.cs.uni-magdeburg.de> Message-ID: <550702AF.1000508@gmail.com> Hi all, a bit _after_ the start of today's phone call I'm sorry to tell you that I won't be able to join because of a high workload in other projects. I am still aware of https://github.com/tillmo/DOL/issues/97 and hope I'll be able to get my part of this work started this week. Cheers, Christoph -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? Semantic Publishing Challenge: Assessing the Quality of Scientific Output ESWC, 31 May?4 June 2014, Portoro?, Slovenia. https://tinyurl.com/SPChallenge15 Submission deadline 27 March (abstracts: 20 March) From mossakow at iws.cs.uni-magdeburg.de Tue Mar 17 10:22:02 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Tue, 17 Mar 2015 10:22:02 +0100 Subject: [ontoiop-forum] ontoiop_20150316: Chat Transcript Message-ID: <5507F23A.5030203@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20150316* *2015-03-16 GMT-08:00* *[09:06] **TillMossakowski: *please find the slides at http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf *[09:07] *anonymous morphed into Conrad *[09:08] **TerryLongstreth: *Till - if you're talking, I can't hear you *[09:09] **Alexander Knapp: *Same with me ;-) *[09:14] **TillMossakowski: *Conrad: please use UML 2.5, the relation between properties, compositions, attributes and associations is clearer there. *[09:14] **TillMossakowski: *Conrad: UML 2.5. is essentially stable *[09:15] **TillMossakowski: *Conrad: a property being composite means 1) instances cannot be owned by more than one owner, 2)... *[09:16] **TillMossakowski: *Alexander: we need to be able to track the owner, if we have the instance *[09:17] **TillMossakowski: *Conrad: properties by themselves can be composites *[09:17] **TillMossakowski: *Alexander: composite properties can only take part in binary associations (and only in one end) *[09:18] **TillMossakowski: *Conrad: not both association ends can be composite, and there cannot by cycles at runtime *[09:22] **TillMossakowski: *Conrad: if member end that is not navigable is composite, things a bit hacky *[09:22] **TillMossakowski: *Alexander will changes signatures accordings 2.5 *[09:23] **Conrad: *http://www.omg.org/spec/UML/2.5/Beta2/ *[09:25] **TillMossakowski: *Conrad: in uniqueness assumptions, member end names and attribute names are separated - but they are all properties. Alexander: this is a mistake *[09:27] **TillMossakowski: *Conrad: if they are one separate ends, two properties can have the same name *[09:28] **TillMossakowski: *Conrad: if they (e.g. both named a) should be the same property, you would have to subtype both end classes with the same superclass, the latter having the same property a *[09:43] **TillMossakowski: *p.25 typo c' *[09:44] **TillMossakowski: *what is the use of \tau's in parameters of query operations? *[09:47] **TillMossakowski: *Alexander: it is possible to specify multiplicities of operation parameters (but this is not possible in our semantics currently). However, the whole issue is out of scope, because we do not cover state. *[09:49] **TillMossakowski: *but we could let the operation be partial, and it is simply undefined in cases where the multiplicity constraints are not met *[09:51] **TillMossakowski: *Alexander: we could add sentences with multiplicities for operations. Does the satisfaction condition hold? Till: yes. *[09:52] **TillMossakowski: *(this was about slide 26) *[09:53] **TillMossakowski: *p.28 a is not a predicate *[09:54] *anonymous morphed into Conrad1 *[10:02] **TerryLongstreth: *Very Impressive! I hope OMG appreciates the work you all have done here. *[10:07] **TillMossakowski: *sample translation of Alexander's class diagram to Common Logic: http://iws.cs.uni-magdeburg.de/~mossakow/UMLCD.het *[10:12] **TillMossakowski: *source: http://iws.cs.uni-magdeburg.de/~mossakow/inconsistencies.uml *[10:13] **FabianNeuhaus: *update from elisa: "The OntoIOp discussion is on our agenda first thing after announcements, etc. on Thursday morning, currently 9:30 on the agenda, although we may start it a few minutes early and extend into the coffee break" *[10:16] **TillMossakowski: *strictly speaking, object diagrams are not like ABoxes. However, the are used like ABoxes. So we could pretend that they indeed are. We just should not call this a model... *[10:18] **TillMossakowski: *Fabian: we could use DOL to connect a UML class diagram with a database of instances (represented in, say, Common Logic, or an object diagrams with non-standard semantics) *[10:23] **TillMossakowski: *next meeting March 30th, same time *[10:24] *List of attendees: Alexander Knapp, ConradBock, FabianNeuhaus, TerryLongstreth, TillMossakowski -------------- next part -------------- An HTML attachment was scrubbed... URL: From taraathan at gmail.com Tue Mar 17 16:41:38 2015 From: taraathan at gmail.com (Tara Athan) Date: Tue, 17 Mar 2015 11:41:38 -0400 Subject: [ontoiop-forum] ontoiop_20150316: Chat Transcript In-Reply-To: <5507F23A.5030203@iws.cs.uni-magdeburg.de> References: <5507F23A.5030203@iws.cs.uni-magdeburg.de> Message-ID: <55084B32.1060109@gmail.com> Some minor questions, comments: Is the target language for the UML-> CL translation CL Edition2? The conversion appear to be using CURIE abbreviations, without defining these prefixes. CL Edition 1 does not have a prefixing mechanism. The latest draft of CL2 (http://philebus.tamu.edu/pipermail/cl/attachments/20150130/fdd66dc5/attachment-0001.pdf) does include a prefix declaration syntax (cl:prefix), which is most conveniently used inside an explicit text construction (cl:text) . Note that a sequence of CL sentences, without an explicit (cl:text ...) wrapper, is no longer considered a CL text in Edition 2. Regards, Tara On 3/17/15 5:22 AM, Till Mossakowski wrote: > *Chat transcript from room: ontoiop_20150316* > *2015-03-16 GMT-08:00* > *[09:06] **TillMossakowski: *please find the slides at > http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf > *[09:07] *anonymous morphed into Conrad > *[09:08] **TerryLongstreth: *Till - if you're talking, I can't hear you > *[09:09] **Alexander Knapp: *Same with me ;-) > *[09:14] **TillMossakowski: *Conrad: please use UML 2.5, the relation > between properties, compositions, attributes and associations is > clearer there. > *[09:14] **TillMossakowski: *Conrad: UML 2.5. is essentially stable > *[09:15] **TillMossakowski: *Conrad: a property being composite means > 1) instances cannot be owned by more than one owner, 2)... > *[09:16] **TillMossakowski: *Alexander: we need to be able to track > the owner, if we have the instance > *[09:17] **TillMossakowski: *Conrad: properties by themselves can be > composites > *[09:17] **TillMossakowski: *Alexander: composite properties can only > take part in binary associations (and only in one end) > *[09:18] **TillMossakowski: *Conrad: not both association ends can be > composite, and there cannot by cycles at runtime > *[09:22] **TillMossakowski: *Conrad: if member end that is not > navigable is composite, things a bit hacky > *[09:22] **TillMossakowski: *Alexander will changes signatures > accordings 2.5 > *[09:23] **Conrad: *http://www.omg.org/spec/UML/2.5/Beta2/ > *[09:25] **TillMossakowski: *Conrad: in uniqueness assumptions, member > end names and attribute names are separated - but they are all > properties. Alexander: this is a mistake > *[09:27] **TillMossakowski: *Conrad: if they are one separate ends, > two properties can have the same name > *[09:28] **TillMossakowski: *Conrad: if they (e.g. both named a) > should be the same property, you would have to subtype both end > classes with the same superclass, the latter having the same property a > *[09:43] **TillMossakowski: *p.25 typo c' > *[09:44] **TillMossakowski: *what is the use of \tau's in parameters > of query operations? > *[09:47] **TillMossakowski: *Alexander: it is possible to specify > multiplicities of operation parameters (but this is not possible in > our semantics currently). However, the whole issue is out of scope, > because we do not cover state. > *[09:49] **TillMossakowski: *but we could let the operation be > partial, and it is simply undefined in cases where the multiplicity > constraints are not met > *[09:51] **TillMossakowski: *Alexander: we could add sentences with > multiplicities for operations. Does the satisfaction condition hold? > Till: yes. > *[09:52] **TillMossakowski: *(this was about slide 26) > *[09:53] **TillMossakowski: *p.28 a is not a predicate > *[09:54] *anonymous morphed into Conrad1 > *[10:02] **TerryLongstreth: *Very Impressive! I hope OMG appreciates > the work you all have done here. > *[10:07] **TillMossakowski: *sample translation of Alexander's class > diagram to Common Logic: > http://iws.cs.uni-magdeburg.de/~mossakow/UMLCD.het > *[10:12] **TillMossakowski: *source: > http://iws.cs.uni-magdeburg.de/~mossakow/inconsistencies.uml > *[10:13] **FabianNeuhaus: *update from elisa: "The OntoIOp discussion > is on our agenda first thing after announcements, etc. on Thursday > morning, currently 9:30 on the agenda, although we may start it a few > minutes early and extend into the coffee break" > *[10:16] **TillMossakowski: *strictly speaking, object diagrams are > not like ABoxes. However, the are used like ABoxes. So we could > pretend that they indeed are. We just should not call this a model... > *[10:18] **TillMossakowski: *Fabian: we could use DOL to connect a UML > class diagram with a database of instances (represented in, say, > Common Logic, or an object diagrams with non-standard semantics) > *[10:23] **TillMossakowski: *next meeting March 30th, same time > *[10:24] *List of attendees: Alexander Knapp, ConradBock, > FabianNeuhaus, TerryLongstreth, TillMossakowski > > > _________________________________________________________________ > 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: