<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<tt>
<b>Chat transcript from room: ontoiop_20141008</b><br>
<b>2014-10-08 GMT-08:00</b><br>
<b>[08:03] </b><b>TillMossakowski: </b>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)<br>
<b>[08:09] </b><b>ChristophLange: </b>Hi, sorry for joining late<br>
<b>[08:16] </b><b>TerryLongstreth: </b>filter - interested in
residue?<br>
<b>[08:20] </b><b>TerryLongstreth: </b>input -> FILTER v->
output ->residue (left behind)<br>
<b>[08:22] </b>anonymous morphed into ConradBock<br>
<b>[08:24] </b><b>TillMossakowski: </b>OMS filter_out dog --
remove all axioms involving dog<br>
<b>[08:25] </b><b>TillMossakowski: </b>OMS select dog -- keep
exactly all axioms involving dog<br>
<b>[08:25] </b><b>YAZMIN: </b>isn't that module extraction in
some way ?<br>
<b>[08:27] </b><b>TillMossakowski: </b>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.<br>
<b>[08:28] </b><b>TillMossakowski: </b>OMS reject dog ?<br>
<b>[08:28] </b><b>TillMossakowski: </b>OMS exclude dog<br>
<b>[08:29] </b><b>TillMossakowski: </b>"OMS include dog" instead
of "OMS select dog"<br>
<b>[08:30] </b><b>TaraAthan: </b>@Till the suggestion is to have
dual pairs: either include/exclude or select/reject. But to me,
include is more of a cumulative process.<br>
<b>[08:31] </b><b>TerryLongstreth: </b>Also, if you want to
retain both parts, you could use 'divide'<br>
<b>[08:32] </b><b>FabianNeuhaus: </b>Agreement: select/reject<br>
<b>[08:32] </b><b>TillMossakowski: </b>we conclude:
select/reject<br>
<b>[08:32] </b><b>TerryLongstreth: </b>That would be a useful
facility, to for example, create smaller modules<br>
<b>[08:33] </b><b>TerryLongstreth: </b>re: divide<br>
<b>[08:33] </b><b>MihaiCodescu: </b>select appears in the
language for queries<br>
<b>[08:33] </b><b>TillMossakowski: </b>topic: OMG submission<br>
<b>[08:33] </b><b>TillMossakowski: </b>see
<a class="moz-txt-link-freetext" href="https://github.com/tillmo/DOL/issues">https://github.com/tillmo/DOL/issues</a><br>
<b>[08:36] </b><b>ChristophLange: </b>I can hear you. I can dial
in once more maybe<br>
<b>[08:36] </b><b>TillMossakowski: </b>Christoph, would you
agree to work on issue <a class="moz-txt-link-freetext" href="https://github.com/tillmo/DOL/issues/62">https://github.com/tillmo/DOL/issues/62</a> ?<br>
<b>[08:37] </b><b>ChristophLange: </b>ok<br>
<b>[08:37] </b><b>MihaiCodescu: </b>yes, I am here, I can hear
you<br>
<b>[08:38] </b><b>ChristophLange: </b>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?<br>
<b>[08:39] </b><b>MihaiCodescu: </b>yes, I can do issue 57<br>
<b>[08:39] </b><b>TillMossakowski: </b>Mihai, please have a look
at <a class="moz-txt-link-freetext" href="https://github.com/tillmo/DOL/issues/57">https://github.com/tillmo/DOL/issues/57</a><br>
<b>[08:39] </b><b>TillMossakowski: </b>the hard deadline is
November 8<br>
<b>[08:40] </b><b>MihaiCodescu: </b>OK with the deadlines<br>
<b>[08:40] </b><b>TillMossakowski: </b>the internal deadline is
November 1<br>
<b>[08:40] </b><b>ChristophLange: </b>ok. For me (proposal
deadline on Oct 31) maybe Nov 1 in a very late Pacific timezone
;-)<br>
<b>[08:41] </b><b>MihaiCodescu: </b>maybe Oliver can do this<br>
<b>[08:41] </b><b>ChristophLange: </b>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.<br>
<b>[08:42] </b><b>ChristophLange: </b>52: fine with me<br>
<b>[08:42] </b><b>TillMossakowski: </b>OK<br>
<b>[08:44] </b><b>ChristophLange: </b>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.<br>
<b>[08:45] </b><b>MihaiCodescu: </b>I can do issue 42<br>
<b>[08:45] </b><b>MihaiCodescu: </b>I could laso do 36<br>
<b>[08:50] </b><b>MihaiCodescu: </b>I can do issue 28<br>
<b>[08:51] </b><b>MihaiCodescu: </b>yes i can do issue 26<br>
<b>[08:56] </b><b>TillMossakowski: </b>distributed OMS -> OMS
network<br>
<b>[08:58] </b><b>ChristophLange: </b>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.<br>
<b>[08:58] </b><b>ChristophLange: </b>(My previous comment was
about "normative references")<br>
<b>[09:02] </b><b>TerryLongstreth: </b>Sorry, I accidently
disconnected.<br>
<b>[09:02] </b><b>ChristophLange: </b>1 hour earlier won't work
for me. 45 minutes earlier will -- so should still be OK<br>
<b>[09:13] </b><b>TillMossakowski: </b>next meeting (tentative
time): next week, one hour earlier. We try to find a new time
through doodle<br>
<b>[09:14] </b><b>TerryLongstreth: </b>I will leave my chat
window open until you end<br>
<b>[09:14] </b><b>TillMossakowski: </b>Topics: 1. progress with
issues<br>
<b>[09:14] </b><b>YAZMIN: </b>see you next week<br>
<b>[09:14] </b><b>TillMossakowski: </b>2. abstract and concrete
syntax<br>
<b>[09:20] </b>List of attendees: ChristophLange, ConradBock,
FabianNeuhaus, MichaelGruninger, MihaiCodescu, OliverKutz,
TaraAthan, TerryLongstreth, TillMossakowski, YAZMIN<br>
</tt>
</body>
</html>