From mossakow at iws.cs.uni-magdeburg.de Sun Jan 4 22:57:28 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 04 Jan 2015 22:57:28 +0100 Subject: [ontoiop-forum] OntoIOp telcon on January 12 Message-ID: <54A9B748.3090202@iws.cs.uni-magdeburg.de> Dear all, the next OntoIOp telcon will be on January 12, 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC. Happy new year! Best, Till From mossakow at iws.cs.uni-magdeburg.de Sat Jan 10 18:04:14 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sat, 10 Jan 2015 18:04:14 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 Message-ID: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> Dear all, happy new year! On Monday we have the biweekly OntoIOp telcon. The topics are: - report from OMG meeting - plan for revision of the submission - semantics of UML class diagrams and fUML All the best, Till = OntoIOp team-confcall (n.71) - Mon 2015.01.12 = < * Date: Mon 12-Jan-2015 * 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=1&day=12&year=2015&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/2015-01-12_team-confcall_n.71/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112 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 maria.keet at uct.ac.za Sun Jan 11 11:04:46 2015 From: maria.keet at uct.ac.za (Maria Keet) Date: Sun, 11 Jan 2015 10:04:46 +0000 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 In-Reply-To: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> References: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> Message-ID: Dear Till, All, happy new year to you too. Hereby I send my regrets, as I'll be in Maputo tomorrow where I'll be attending a conference (and Mondays 6pm outside term time is a bit problematic in general). Was the draft well-received? Also, I'm very much interested in especially the third item. 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: 10 January 2015 07:04 PM To: OntoIOp open discussion Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 Dear all, happy new year! On Monday we have the biweekly OntoIOp telcon. The topics are: - report from OMG meeting - plan for revision of the submission - semantics of UML class diagrams and fUML All the best, Till = OntoIOp team-confcall (n.71) - Mon 2015.01.12 = < * Date: Mon 12-Jan-2015 * 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=1&day=12&year=2015&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/2015-01-12_team-confcall_n.71/ * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112 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 ________________________________ 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 mossakow at iws.cs.uni-magdeburg.de Mon Jan 12 13:51:23 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 12 Jan 2015 13:51:23 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 In-Reply-To: References: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> Message-ID: <54B3C34B.8090706@iws.cs.uni-magdeburg.de> Dear Maria, dear all, generally, there has been agreemet that this is a useful draft; the only problematic point being the semantics of UML class diagrams in relation to fUML. For the latter point, it will be useful to have a look a a paper by Ed Seidewitz, where he describes the intended semantics of UML class diagrams with FOL formulas (based on examples). http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf All the best, Till Am 11.01.2015 11:04, schrieb Maria Keet: > Dear Till, All, > > happy new year to you too. > > Hereby I send my regrets, as I'll be in Maputo tomorrow where I'll be attending a conference (and Mondays 6pm outside term time is a bit problematic in general). > > Was the draft well-received? > Also, I'm very much interested in especially the third item. > > 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: 10 January 2015 07:04 PM > To: OntoIOp open discussion > Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 > > Dear all, > > happy new year! > > On Monday we have the biweekly OntoIOp telcon. > > The topics are: > - report from OMG meeting > - plan for revision of the submission > - semantics of UML class diagrams and fUML > > All the best, > Till > > > = OntoIOp team-confcall (n.71) - Mon 2015.01.12 = > < > * Date: Mon 12-Jan-2015 > * 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=1&day=12&year=2015&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/2015-01-12_team-confcall_n.71/ > * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112 > > > 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 > > ________________________________ > 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. > > > _________________________________________________________________ > 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 fneuhaus at web.de Mon Jan 12 14:00:33 2015 From: fneuhaus at web.de (Fabian Neuhaus) Date: Mon, 12 Jan 2015 14:00:33 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 In-Reply-To: <54B3C34B.8090706@iws.cs.uni-magdeburg.de> References: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> <54B3C34B.8090706@iws.cs.uni-magdeburg.de> Message-ID: <54B3C571.9050008@web.de> Dear Maria, To elaborate a little bit, the feedback was that - it is important to cover (a fragment of) UML class diagrams (and not drop it from the standard, which was one of my proposed solutions) - that any proposal for a formal semantics for UML class diagrams should be developed in close cooperation with the fUML folks to ensure that the formal model theory that we propose is in tune with the fUML semantics - several people who worked on fUML promised to help us Best Fabian Am 12/01/15 13:51, schrieb Till Mossakowski: > Dear Maria, dear all, > > generally, there has been agreemet that this is a useful draft; the only > problematic point being the semantics of UML class diagrams in relation > to fUML. > For the latter point, it will be useful to have a look a a paper by Ed > Seidewitz, where he describes the intended semantics of UML class > diagrams with FOL formulas (based on examples). > http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf > > All the best, > Till > > Am 11.01.2015 11:04, schrieb Maria Keet: >> Dear Till, All, >> >> happy new year to you too. >> >> Hereby I send my regrets, as I'll be in Maputo tomorrow where I'll be attending a conference (and Mondays 6pm outside term time is a bit problematic in general). >> >> Was the draft well-received? >> Also, I'm very much interested in especially the third item. >> >> 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: 10 January 2015 07:04 PM >> To: OntoIOp open discussion >> Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 >> >> Dear all, >> >> happy new year! >> >> On Monday we have the biweekly OntoIOp telcon. >> >> The topics are: >> - report from OMG meeting >> - plan for revision of the submission >> - semantics of UML class diagrams and fUML >> >> All the best, >> Till >> >> >> = OntoIOp team-confcall (n.71) - Mon 2015.01.12 = >> < >> * Date: Mon 12-Jan-2015 >> * 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=1&day=12&year=2015&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/2015-01-12_team-confcall_n.71/ >> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112 >> >> >> 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 >> >> ________________________________ >> 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. >> >> >> _________________________________________________________________ >> 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 > > _________________________________________________________________ > 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 rick at rickmurphy.org Mon Jan 12 14:24:34 2015 From: rick at rickmurphy.org (Rick) Date: Mon, 12 Jan 2015 08:24:34 -0500 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 Message-ID: <2r6eq41vbfwp6aye42ycfe9b.1421069074758@email.android.com> Till & All: If I recall UML allows parametricity and fUML does not. There is some sentiment that the type system needs work. -- Rick Sent from my Verizon Wireless 4G LTE DROID Till Mossakowski wrote: >Dear Maria, dear all, > >generally, there has been agreemet that this is a useful draft; the only >problematic point being the semantics of UML class diagrams in relation >to fUML. >For the latter point, it will be useful to have a look a a paper by Ed >Seidewitz, where he describes the intended semantics of UML class >diagrams with FOL formulas (based on examples). >http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf > >All the best, >Till > >Am 11.01.2015 11:04, schrieb Maria Keet: >> Dear Till, All, >> >> happy new year to you too. >> >> Hereby I send my regrets, as I'll be in Maputo tomorrow where I'll be attending a conference (and Mondays 6pm outside term time is a bit problematic in general). >> >> Was the draft well-received? >> Also, I'm very much interested in especially the third item. >> >> 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: 10 January 2015 07:04 PM >> To: OntoIOp open discussion >> Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 >> >> Dear all, >> >> happy new year! >> >> On Monday we have the biweekly OntoIOp telcon. >> >> The topics are: >> - report from OMG meeting >> - plan for revision of the submission >> - semantics of UML class diagrams and fUML >> >> All the best, >> Till >> >> >> = OntoIOp team-confcall (n.71) - Mon 2015.01.12 = >> < >> * Date: Mon 12-Jan-2015 >> * 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=1&day=12&year=2015&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/2015-01-12_team-confcall_n.71/ >> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112 >> >> >> 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 >> >> ________________________________ >> 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. >> >> >> _________________________________________________________________ >> 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 > > >_________________________________________________________________ >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 christian.galinski at chello.at Mon Jan 12 15:31:14 2015 From: christian.galinski at chello.at (Christian Galinski) Date: Mon, 12 Jan 2015 15:31:14 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 In-Reply-To: <54B3C34B.8090706@iws.cs.uni-magdeburg.de> References: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> <54B3C34B.8090706@iws.cs.uni-magdeburg.de> Message-ID: <005301d02e74$6bd883a0$43898ae0$@chello.at> Dear Till, dear all, First of all I would like to wish you on behalf of Infoterm and ISO/TC 37 a healthy, happy and successful 2015. I am really pleased that the OntoIOp standard is making such a good progress. As numerous repositories of structured content are either in some or the other ontology format, many others could be converted into ontology formats, OntoIOp will be a very important means for achieving data integration and content interoperability. Last year NIH launched a request for information on data-related standards and standards-based data in the field of biomedicine. I assume that the same need for data integration will arise in any field in connection with Big Data and the Internet of Things. See excerpt from the request below. Best regards Christian Quote from the request: ?Modern biomedical research generates huge volumes of heterogeneous data through a worldwide network of organizations. Extracting, storing, analyzing, sharing, harmonizing, and integrating the data are critical but present many challenges. The use of data-related standards is the first step in ensuring that data can be shared and understood. Standards applied to data facilitate the flow of data between various data resources. They provide a well-defined syntax along with semantics and definitions for methods, protocols, terminologies, common data elements, and specifications for the collection, exchange, storage, and retrieval of information associated with these data. The selection of a particular data-related standard determines whether and how data may be shared, integrated, and/or transformed into another format for use with other specific data, tools, and resources. In the past, standards for biomedical data were often selected without consideration of issues beyond those related to interacting with nearby systems and/or storing for legacy purposes. Now, data frequently need to be shared much more widely or reused for other purposes including data integration." Needless to mention, such standards-based data (some of them multilingual) could be used for language technology (LT) and other communication applications. The data-related standards contain the rules guaranteeing a high degree of reliability of data. -----Urspr?ngliche Nachricht----- Von: ontoiop-forum-bounces at ovgu.de [mailto:ontoiop-forum-bounces at ovgu.de] Im Auftrag von Till Mossakowski Gesendet: Montag, 12. Januar 2015 13:51 An: ontoiop-forum at ovgu.de Betreff: Re: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 Dear Maria, dear all, generally, there has been agreemet that this is a useful draft; the only problematic point being the semantics of UML class diagrams in relation to fUML. For the latter point, it will be useful to have a look a a paper by Ed Seidewitz, where he describes the intended semantics of UML class diagrams with FOL formulas (based on examples). http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20an d%20Mathematical%20Logic.pdf 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 From conrad.bock at nist.gov Mon Jan 12 16:48:30 2015 From: conrad.bock at nist.gov (Bock, Conrad) Date: Mon, 12 Jan 2015 15:48:30 +0000 Subject: [ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12 In-Reply-To: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> References: <54B15B8E.9090306@iws.cs.uni-magdeburg.de> Message-ID: Till, et al, > - semantics of UML class diagrams and fUML I'll call in at 11:30am ET. Conrad From mossakow at iws.cs.uni-magdeburg.de Mon Jan 12 19:47:24 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 12 Jan 2015 19:47:24 +0100 Subject: [ontoiop-forum] ontoiop_20150112: Chat Transcript Message-ID: <54B416BC.70509@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20150112* *2015-01-12 GMT-08:00* *[08:03] **TillMossakowski: *Report from OMG meeting (Fabian) *[08:04] **TillMossakowski: *Generally, the feedback was positiv and encouraging. Industry people see the potential for industry. *[08:04] **TillMossakowski: *Noone seems to have read the proposal though. Probably this will change with the final proposal. *[08:05] **TillMossakowski: *The only critical point is the integration of UML class diagrams and its integration with other languages. Various useful scenarios have been discussed. UML class diagrams are extrmely important to OMG. *[08:06] **TillMossakowski: *The problem is that UML class diagrams do not have a formal model-theoretic semantics. *[08:06] **TerryLongstreth: *I've just left a meeting with another standards group, and one of the other attendees is from the Planetary Data System (PDS) project at JPL. He was much interested in OntoIop. Can I share one of our drafts with him, or can one of you contact him about it? *[08:07] **TillMossakowski: *Tne OMG people did not like ignoring the issue, nor using the model-theoretic semantics by Alexander Knapp. The do not want to have different semantics for UML. There is already fUML. *[08:08] **TillMossakowski: *However, fUML is an operational semantics, while for DOL, we need a model-theoretic semantics. *[08:09] **TillMossakowski: *Michael: are OMG people open for extending the fUML axiomatization (in Common Logic)? *[08:09] **TillMossakowski: *Fabian: there is no mapping from UML class diagrams to CL axioms. *[08:09] **TillMossakowski: *We would need to come up with such a mapping. *[08:11] **TillMossakowski: *Fabian convinced them that we need a model-theoretic semantics- Several fUML people in the room offered their help. *[08:11] **TillMossakowski: *We should not take something from the literature, but base the work on fUML. *[08:12] **TillMossakowski: *Open questions: how would the collaboration work? Where/how is the resulting document to be published? *[08:14] **TillMossakowski: *An easy way of providing a mechanism for OMG people to check our translation from UML class diagrams to CL would be to implement it (say in Hets), such that they can make experiments. *[08:14] **TillMossakowski: *This would be a better way for them, compared with providing an institution. *[08:17] **TillMossakowski: *And we would get an institution by "borrowing" model theory from CL via the translation. *[08:18] **TillMossakowski: *Rick: How does OntoIop plan to address parametricty available through UML and not available in fUML? *[08:18] **rick: *I need to check my audio setting *[08:20] **TillMossakowski: *Rick: in section 17 of the UML standard you find templates. They are not used so frequently. *[08:23] **TillMossakowski: *templates could be handled on the level of theory morphisms (or generic specifications provided in CASL). That is, they are treated not as part of institution/logic, but as part of the structuring mechanisms on top of institutions. *[08:24] **TillMossakowski: *Rick: treating parametricity in higher-order logic has some benefits *[08:25] **TillMossakowski: *Fabian: strategically, it makes sense to stick with the fUML subset of UML. If we want to put something in that is outside fUML, we will re-open their discussions, causing delay. *[08:26] **TillMossakowski: *Fabian: OMG people are aware that UML is a complex multi-headed beast - not even the exact boundaries of UML class diagrams are clear. *[08:28] **TillMossakowski: *Rick: has done some work on functional abstraction that could be useful for OntoIOp. *[08:29] *anonymous morphed into ConradBock *[08:31] **TillMossakowski: *we should focus on producing a draft of the translation of UML class diagrams to Common Logic as soon as possible, so that we can provide it for the OMG meeting mid/end of march (which means that we need to submit mid February). *[08:34] **TillMossakowski: *Conrad: we could simplify the fUML axiomatisation by omitting the aspect of time, which is not needed for the axiomatization of classes. *[08:35] **TillMossakowski: *Michael: the PSL ontology can be used (as it is in fUML) for capturing behaviour. *[08:39] **TillMossakowski: *Conrad: OMG people probably won't mind, as long as the result is consistent with fUML. *[08:40] **TillMossakowski: *Note that we *only* promise to cover *UML class diagrams*. *[08:47] **TillMossakowski: *Ed Seidewitz's paper also contains meta predicates like class(C) ("c is a class"). Do we want them in? *[08:48] **TillMossakowski: *It seems that we need these, e.g. for typing purposes. *[08:49] **TillMossakowski: *Different topic: what is the status of the translation paper? Appendix to the DOL standard? to fUML? *[08:49] **TillMossakowski: *Fabian: OMG people say that this needs to be discussed. For now, it can be an informative annex. In the long term, it might migrate. *[08:50] **TillMossakowski: *Fabian: we don't want to wait until there is an update of fUML. *[08:54] **TillMossakowski: *We decide to develop the translation of UML class diagrams into Common Logic as an informative annex of the DOL standard. Deadline is February 23rd (four weeks before the Reston OMG meeting starts). *[08:56] **TillMossakowski: *Fabian: at the Reston OMG meeting, we should organise a meeting with the revision task force (RTF). *[08:59] *anonymous morphed into JimLogan *[09:01] **TillMossakowski: *The DOL standard draft is freely available at https://github.com/tillmo/DOL Feel free to share it with anyone. *[09:01] **TillMossakowski: *next meeting: January 26 *List of attendees: ChristophLange, ConradBock, FabianNeuhaus, JimLogan, MichaelGruninger, OliverKutz, TerryLongstreth, TillMossakowski, RickMurphy, MihaiCodescu* -------------- next part -------------- An HTML attachment was scrubbed... URL: From mossakow at iws.cs.uni-magdeburg.de Sun Jan 25 22:39:30 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 25 Jan 2015 22:39:30 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.72): Mon 2015.01.26 Message-ID: <54C56292.8030401@iws.cs.uni-magdeburg.de> Dear all, on Monday we have the biweekly OntoIOp telcon. The topics are: - semantics of UML class diagrams and fUML. See p.92 ff. of the attached document (also available at https://github.com/tillmo/DOL ), where a first version of the translation of UML class diagrams to Common Logic is given. fUML is mentioned, see http://www.omg.org/spec/FUML/1.1/ Moreover, reference [49] is available at http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf - revision of the submission All the best, Till = OntoIOp team-confcall (n.72) - Mon 2015.01.26 = * 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=1&day=26&year=2015&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150126 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: 1638717 bytes Desc: not available URL: From conrad.bock at nist.gov Mon Jan 26 14:37:07 2015 From: conrad.bock at nist.gov (Bock, Conrad) Date: Mon, 26 Jan 2015 13:37:07 +0000 Subject: [ontoiop-forum] OntoIOp teleconference (n.72): Mon 2015.01.26 In-Reply-To: <54C56292.8030401@iws.cs.uni-magdeburg.de> References: <54C56292.8030401@iws.cs.uni-magdeburg.de> Message-ID: Till, > - semantics of UML class diagrams and fUML. See p.92 ff. of the attached > document (also available at https://github.com/tillmo/DOL ), where a > first version of the translation of UML class diagrams to Common Logic > is given. I have a conflict today, but will review the translation and get back to you. Conrad From mossakow at iws.cs.uni-magdeburg.de Mon Jan 26 14:47:54 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 26 Jan 2015 14:47:54 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.72): Mon 2015.01.26 In-Reply-To: References: <54C56292.8030401@iws.cs.uni-magdeburg.de> Message-ID: <54C6458A.7020505@iws.cs.uni-magdeburg.de> Thanks Conrad! Best, Till Am 26.01.2015 14:37, schrieb Bock, Conrad: > Till, > > > - semantics of UML class diagrams and fUML. See p.92 ff. of the attached > > document (also available at https://github.com/tillmo/DOL ), where a > > first version of the translation of UML class diagrams to Common Logic > > is given. > > I have a conflict today, but will review the translation and get back to you. > > 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 mossakow at iws.cs.uni-magdeburg.de Mon Jan 26 16:58:05 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 26 Jan 2015 16:58:05 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.72): Mon 2015.01.26 In-Reply-To: <54C6458A.7020505@iws.cs.uni-magdeburg.de> References: <54C56292.8030401@iws.cs.uni-magdeburg.de> <54C6458A.7020505@iws.cs.uni-magdeburg.de> Message-ID: <54C6640D.3030501@iws.cs.uni-magdeburg.de> Dear all, please find attached the slides for the meeting. Best, Till Am 26.01.2015 14:47, schrieb Till Mossakowski: > Thanks Conrad! > > Best, Till > > Am 26.01.2015 14:37, schrieb Bock, Conrad: >> Till, >> >> > - semantics of UML class diagrams and fUML. See p.92 ff. of the attached >> > document (also available at https://github.com/tillmo/DOL ), where a >> > first version of the translation of UML class diagrams to Common Logic >> > is given. >> >> I have a conflict today, but will review the translation and get back to you. >> >> 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 > > _________________________________________________________________ > 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: Slides-OntoIOp.pdf Type: application/pdf Size: 183090 bytes Desc: not available URL: From mossakow at iws.cs.uni-magdeburg.de Mon Jan 26 18:24:55 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 26 Jan 2015 18:24:55 +0100 Subject: [ontoiop-forum] ontoiop_20150126: Chat Transcript Message-ID: <54C67867.3040309@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20150126* *2015-01-26 GMT-08:00* *[07:59] *anonymous morphed into Ed Seidewitz *[08:01] **TillMossakowski1: *Ed, Jim, are you on the call? *[08:02] *anonymous morphed into MihaiCodescu *[08:02] *anonymous1 morphed into Alexander Knapp *[08:02] **TerryLongstreth: *there's a term with which I'm unfamiliar: "abuse of notation" *[08:03] **TillMossakowski1: *Till presents the slides (sent to mailing list) *[08:07] **TillMossakowski1: *http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf *[08:14] **TillMossakowski1: *properties only cover query operations, full operations would lead to state changes *[08:16] **TillMossakowski1: *Ed: instances of classes are addressed by reference and can be aliased. This leads to problems in the logical representation if the state can change. You need a notion of independent existence of objects. *[08:16] **TillMossakowski1: *Fabian: we are following Conrad's proposal to keep things static *[08:23] **FabianNeuhaus: *correction on Models via translation slide: replace "class" by "class or datatype" *[08:26] **TillMossakowski1: *Ed: you do not have lists or sets in UML, but the only emerge through ordering properties on associations *[08:31] **TillMossakowski1: *Alexander: we could separate the basic information of the class diagrams from the information whether the types of properties and return parameters of operations are orderd or not, unique or not etc. *[08:32] **TillMossakowski1: *Alexander: such a basic signature could be mapped to a larger signature, where sets, bags etc. cannot be used as classifiers *[08:33] **TillMossakowski1: *Ed: the type after the colon has two facets: (1) the type (2) the multiplicity and flags about orderedness and uniqueness *[08:35] **TillMossakowski1: *fUML does not contain an axiomatization of enumerations, so we should provide this here *[08:38] **TillMossakowski1: *Alexander: enumerations could be seen as instance specifications *[08:39] **TillMossakowski1: *but additionally, we need to require that the enumeration exhausts the whole type *[08:40] **TillMossakowski1: *Ed: enumerations are specializable *[08:40] **TillMossakowski1: *Ed: but this is tpye-unsafe, so maybe omit it *[08:42] **TillMossakowski1: *Fabian: class predicates should be restricted to be unary *[08:51] **TillMossakowski1: *axioms for properties need to be corrected *[08:51] **TillMossakowski1: *Ed: statically, compositions may have cycles, but not in the instances *[08:54] **TillMossakowski1: *Michael: cycle check for compositions could be defind using mereology *[09:00] **TillMossakowski1: *Ed: properties also can have cardinalities *[09:00] **MichaelGruninger: *I need to leave now -- I will send the pointers for mereologies later *[09:01] **TillMossakowski1: *bye Michael *[09:03] **TillMossakowski1: *Ed: associations are predicates of single values, whereas properties can be over sets etc. *[09:05] **TillMossakowski1: *Aexander: we need to correct the representation for compositions used in associations *[09:06] **TillMossakowski1: *Ed: (follow up to the above): multiplicities are different for associations and for properties, this is a bit tricky *[09:13] **TillMossakowski1: *Terry: please add page numbers *[09:15] **TillMossakowski1: *Fabian: shouldn't the stuff we are doing here eventually become part of fUML? *[09:15] **TillMossakowski1: *Ed: it is OK to have this as part of OntoIOp/DOL *[09:16] **TillMossakowski1: *Ed: as we go forward, there could be some feedback into fUML, but for now, it should stay in DOL *[09:17] **TerryLongstreth: *Could the annex be turned into a paper and published as "an approach" *[09:18] **TillMossakowski1: *next meeting in two weks, Feb 9, same time *[09:18] *List of attendees: Alexander Knapp, ChristophLange, Ed Seidewitz, FabianNeuhaus, JimLogan, MichaelGruninger, MihaiCodescu, OliverKutz, TerryLongstreth, TillMossakowski -------------- next part -------------- An HTML attachment was scrubbed... URL: