[ontoiop-forum] ontoiop_20141008: Chat Transcript

[Till Mossakowski]

*Chat transcript from room: ontoiop_20141008*
*2014-10-08 GMT-08:00*
*[08:03] **TillMossakowski: *topics: - report from OMG meeting - time
plan for OMG submission in mid-November - incompatibilities between DOL
and titling in Common Logic (see mail by John Sowa) - chapter 9 of the
document (abstract syntax) - chapter 10 of the document (concrete syntax)
*[08:09] **ChristophLange: *Hi, sorry for joining late
*[08:16] **TerryLongstreth: *filter - interested in residue?
*[08:20] **TerryLongstreth: *input -> FILTER v-> output ->residue (left
behind)
*[08:22] *anonymous morphed into ConradBock
*[08:24] **TillMossakowski: *OMS filter_out dog -- remove all axioms
involving dog
*[08:25] **TillMossakowski: *OMS select dog -- keep exactly all axioms
involving dog
*[08:25] **YAZMIN: *isn't that module extraction in some way ?
*[08:27] **TillMossakowski: *it is a crude way of module extraction.
Module extraction is given by OMS extract dog, which also adds axioms
that indirectly axiomatize the concept dog.
*[08:28] **TillMossakowski: *OMS reject dog ?
*[08:28] **TillMossakowski: *OMS exclude dog
*[08:29] **TillMossakowski: *"OMS include dog" instead of "OMS select dog"
*[08:30] **TaraAthan: *@Till the suggestion is to have dual pairs:
either include/exclude or select/reject. But to me, include is more of a
cumulative process.
*[08:31] **TerryLongstreth: *Also, if you want to retain both parts, you
could use 'divide'
*[08:32] **FabianNeuhaus: *Agreement: select/reject
*[08:32] **TillMossakowski: *we conclude: select/reject
*[08:32] **TerryLongstreth: *That would be a useful facility, to for
example, create smaller modules
*[08:33] **TerryLongstreth: *re: divide
*[08:33] **MihaiCodescu: *select appears in the language for queries
*[08:33] **TillMossakowski: *topic: OMG submission
*[08:33] **TillMossakowski: *see https://github.com/tillmo/DOL/issues
*[08:36] **ChristophLange: *I can hear you. I can dial in once more maybe
*[08:36] **TillMossakowski: *Christoph, would you agree to work on issue
https://github.com/tillmo/DOL/issues/62 ?
*[08:37] **ChristophLange: *ok
*[08:37] **MihaiCodescu: *yes, I am here, I can hear you
*[08:38] **ChristophLange: *What is again the deadline? Both the hard
deadline for submitting to OMG, and the soft deadline for giving the
other group members a chance to check?
*[08:39] **MihaiCodescu: *yes, I can do issue 57
*[08:39] **TillMossakowski: *Mihai, please have a look at
https://github.com/tillmo/DOL/issues/57
*[08:39] **TillMossakowski: *the hard deadline is November 8
*[08:40] **MihaiCodescu: *OK with the deadlines
*[08:40] **TillMossakowski: *the internal deadline is November 1
*[08:40] **ChristophLange: *ok. For me (proposal deadline on Oct 31)
maybe Nov 1 in a very late Pacific timezone ;-)
*[08:41] **MihaiCodescu: *maybe Oliver can do this
*[08:41] **ChristophLange: *re 55: would be good if you (Till et al.)
could take care of the "logic" aspect of the conformance (as you've
covered this in your previous papers). "My" expertise is rather about
URIs, concrete syntaxes, etc.
*[08:42] **ChristophLange: *52: fine with me
*[08:42] **TillMossakowski: *OK
*[08:44] **ChristophLange: *Feel free to assign stuff to me. I think I
won't be able to do everything, but in the next few days I'll check my
list of assignments and will comment at least on those I don't like.
*[08:45] **MihaiCodescu: *I can do issue 42
*[08:45] **MihaiCodescu: *I could laso do 36
*[08:50] **MihaiCodescu: *I can do issue 28
*[08:51] **MihaiCodescu: *yes i can do issue 26
*[08:56] **TillMossakowski: *distributed OMS -> OMS network
*[08:58] **ChristophLange: *Generally I'd rather like to focus (for lack
of time) on those things where I'm really our best expert. But, as I
said, I'll review my assignments and probably reject some of them within
a few days.
*[08:58] **ChristophLange: *(My previous comment was about "normative
references")
*[09:02] **TerryLongstreth: *Sorry, I accidently disconnected.
*[09:02] **ChristophLange: *1 hour earlier won't work for me. 45 minutes
earlier will -- so should still be OK
*[09:13] **TillMossakowski: *next meeting (tentative time): next week,
one hour earlier. We try to find a new time through doodle
*[09:14] **TerryLongstreth: *I will leave my chat window open until you end
*[09:14] **TillMossakowski: *Topics: 1. progress with issues
*[09:14] **YAZMIN: *see you next week
*[09:14] **TillMossakowski: *2. abstract and concrete syntax
*[09:20] *List of attendees: ChristophLange, ConradBock, FabianNeuhaus,
MichaelGruninger, MihaiCodescu, OliverKutz, TaraAthan, TerryLongstreth,
TillMossakowski, YAZMIN
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20141008/a5b1b6fb/attachment.html>