[ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12

[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