[ontoiop-forum] ontoiop_20141015: Chat Transcript

[Till Mossakowski]

*Chat transcript from room: ontoiop_20141015*
*2014-10-15 GMT-08:00*
*[07:00] **FabianNeuhaus: *http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp
*[07:02] **TillMossakowski1: *repository for issues and document:
https://github.com/tillmo/DOL
*[07:02] **TillMossakowski1: *LaTeX source of document:
https://github.com/tillmo/DOL/blob/master/Standard/OMG_OntoIOp_current.tex
*[07:10] **TerryLongstreth: *http://doodle.com/qgwaanqhukzn9az4
*[07:10] **TillMossakowski1: *http://doodle.com/qgwaanqhukzn9az4
*[07:13] **FabianNeuhaus: *@Michael: there was talk about moving IAOA EC
meetings. Do we have a decision on that?
*[07:13] **FabianNeuhaus: *(I am trying to avoid a conflict with OntoIOp)
*[07:19] **MichaelGruninger: *@Fabian: No, there was no talk about
moving meetings, since nobody had any conflicts with the current schedule
*[07:31] **TillMossakowski1: *example of minimize with synatx of p.41:
*[07:31] **TillMossakowski1: *ontology Blocks_Alternative = Class: Block
Class: Ab Individual: B1 Types: Block, Ab Individual: B2 Types: Block
DifferentFrom: B1 %% B1 and B2 are different blocks %% B1 is abnormal
Class: Ontable Class: BlockNotAb EquivalentTo: Block and not Ab
SubClassOf: Ontable %% Normally, a block is on the table minimize Ab var
Ontable then %implies Individual: B2 Types: Ontable %% B2 is on the
table end
*[07:35] **ChristophLange1: *couldn't make it earlier today. If there
were any questions about, URIs or related topics, please write them to
the chat once more
*[07:38] **TillMossakowski1: *Terry: in the document, we should note
that the two syntaxes for minimize are equivalent and serve two
different audiences
*[07:48] **MichaelGruninger: *Normal defaults have the form A:B / B
*[07:48] **MichaelGruninger: *It seems that maximize is trying to do :B/B
*[07:49] **MichaelGruninger: *Minimization is a generalization of the
closed world default :~A / ~A
*[07:51] *List of attendees: ChristophLange, ChristophLange1,
FabianNeuhaus, MichaelGruninger, MihaiCodescu, OliverKutz, OliverKutz1,
TerryLongstreth, TillMossakowski, YAZMIN

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20141015/695c26b5/attachment.html>