<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<tt>
<b>Chat transcript from room: ontoiop_20150223</b><br>
<b>2015-02-23 GMT-08:00</b><br>
<b>[08:03] </b><b>FabianNeuhaus: </b>x entails y<br>
<b>[08:03] </b>anonymous morphed into Alexander Knapp<br>
<b>[08:03] </b><b>FabianNeuhaus: </b>cannot say: x does not
entail y<br>
<b>[08:03] </b><b>FabianNeuhaus: </b>x is consistent<br>
<b>[08:04] </b><b>ChristophLange: </b>Hi all (Till, Elisa, Tara,
and others), as I'm currently in the "wrong" place, and as we'll
have our "OntoIOp terminology ontology" phone call at 7, and the
UML semantics is nothing to which I can contribute.<br>
<b>[08:04] </b><b>FabianNeuhaus: </b>x is not constent<br>
<b>[08:04] </b><b>TillMossakowski: </b>x is consistent can be
expressed as:<br>
<b>[08:04] </b><b>TillMossakowski: </b>oms o = %cons x
end<br>
<b>[08:06] </b><b>TillMossakowski: </b>please find the slides at
<a class="moz-txt-link-freetext" href="http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf">http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf</a><br>
<b>[08:14] </b><b>TillMossakowski: </b>we are in the static case
here, hence query operations do not need to have in/out
declarations for the parameters<br>
<b>[08:15] </b><b>TillMossakowski: </b>one change that is
needed: the return value can have a name<br>
<b>[08:16] </b><b>TillMossakowski: </b>we are at slide 3<br>
<b>[08:17] </b><b>TillMossakowski: </b>slide 4<br>
<b>[08:20] </b><b>Alexander Knapp: </b>Sorry, problems with
Skype. I can't sign in, because I can't sign out...<br>
<b>[08:23] </b><b>TillMossakowski: </b>slide 8<br>
<b>[08:30] </b><b>TillMossakowski: </b>slide 11: some s is
missing<br>
<b>[08:30] </b><b>TillMossakowski: </b>slide 12: s1 and s2
should be the same s<br>
<b>[08:31] </b><b>TillMossakowski: </b>slide 13: empty-empty<br>
<b>[08:33] </b><b>TillMossakowski: </b>slide 15:
buml:UnlimtedNatural<br>
<b>[08:35] </b><b>TillMossakowski: </b>slide 16: ask Conrad, he
is responsible for the sequence axioms in fuml<br>
<b>[08:39] </b><b>TillMossakowski: </b>slide 23: add that y is a
\tau<br>
<b>[08:39] </b><b>TillMossakowski: </b>23: no need to add \tau -
it is there<br>
<b>[08:40] </b><b>TillMossakowski: </b>24 slight update (no
member)<br>
<b>[08:43] </b><b>TillMossakowski: </b>26: CL(a)<br>
<b>[08:43] </b><b>TillMossakowski: </b>and ... t a<br>
<b>[08:45] </b><b>TillMossakowski: </b>26: x_n should be x_r<br>
<b>[09:07] </b><b>TillMossakowski: </b>agenda for next meeting:<br>
<b>[09:07] </b><b>FabianNeuhaus: </b>sorry, my internet
connection has issues.<br>
<b>[09:07] </b><b>FabianNeuhaus: </b>But we were at the end of
the meeting,right?<br>
<b>[09:07] </b><b>TillMossakowski: </b>1. finish translation, 2.
show Hets implementation, 3. discuss some examples (one involving
a subtle inconsistency)<br>
<b>[09:08] </b><b>TillMossakowski: </b>next meeting at March
9th, same time<br>
<b>[09:10] </b>List of attendees: Alexander Knapp,
ChristophLange, FabianNeuhaus, JimLogan, MihaiCodescu,
TillMossakowski<br>
</tt>
</body>
</html>