[ontoiop-forum] ontoiop_20150223: Chat Transcript

[Till Mossakowski]

*Chat transcript from room: ontoiop_20150223*
*2015-02-23 GMT-08:00*
*[08:03] **FabianNeuhaus: *x entails y
*[08:03] *anonymous morphed into Alexander Knapp
*[08:03] **FabianNeuhaus: *cannot say: x does not entail y
*[08:03] **FabianNeuhaus: *x is consistent
*[08:04] **ChristophLange: *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.
*[08:04] **FabianNeuhaus: *x is not constent
*[08:04] **TillMossakowski: *x is consistent can be expressed as:
*[08:04] **TillMossakowski: *oms o = %cons x end
*[08:06] **TillMossakowski: *please find the slides at
http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf
*[08:14] **TillMossakowski: *we are in the static case here, hence query
operations do not need to have in/out declarations for the parameters
*[08:15] **TillMossakowski: *one change that is needed: the return value
can have a name
*[08:16] **TillMossakowski: *we are at slide 3
*[08:17] **TillMossakowski: *slide 4
*[08:20] **Alexander Knapp: *Sorry, problems with Skype. I can't sign
in, because I can't sign out...
*[08:23] **TillMossakowski: *slide 8
*[08:30] **TillMossakowski: *slide 11: some s is missing
*[08:30] **TillMossakowski: *slide 12: s1 and s2 should be the same s
*[08:31] **TillMossakowski: *slide 13: empty-empty
*[08:33] **TillMossakowski: *slide 15: buml:UnlimtedNatural
*[08:35] **TillMossakowski: *slide 16: ask Conrad, he is responsible for
the sequence axioms in fuml
*[08:39] **TillMossakowski: *slide 23: add that y is a \tau
*[08:39] **TillMossakowski: *23: no need to add \tau - it is there
*[08:40] **TillMossakowski: *24 slight update (no member)
*[08:43] **TillMossakowski: *26: CL(a)
*[08:43] **TillMossakowski: *and ... t a
*[08:45] **TillMossakowski: *26: x_n should be x_r
*[09:07] **TillMossakowski: *agenda for next meeting:
*[09:07] **FabianNeuhaus: *sorry, my internet connection has issues.
*[09:07] **FabianNeuhaus: *But we were at the end of the meeting,right?
*[09:07] **TillMossakowski: *1. finish translation, 2. show Hets
implementation, 3. discuss some examples (one involving a subtle
inconsistency)
*[09:08] **TillMossakowski: *next meeting at March 9th, same time
*[09:10] *List of attendees: Alexander Knapp, ChristophLange,
FabianNeuhaus, JimLogan, MihaiCodescu, TillMossakowski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20150223/1cceb6c2/attachment.html>