[ontoiop-forum] OntoIOp teleconference (n.63): Wed 2014.09.10

[Till Mossakowski]

Dear Tara,

indeed, there is a recursive definition avoiding thsemantically
flattenablee circularity that you mention:
An OMS is flattenable iff it is either a basic OMS or it is an
extension, union, translation, module extraction, approximation,
filtering, or import (= reference of named OMS) of flattenable OMS.
Otherwise, it is elusive. This means indeed that elusive is just
non-flattenable.
This also means that you have to do an import analysis in order to
determine flattenability: all the imported OMS must be flattenable,
otherwise the given OMS cannot be flattenable. Put differently: one
single elusive component makes an OMS elusive.

Besides this syntactic notion of flattenability, there is also a
semantic one:

       semantically flattenable <=> logically equivalent to a basic OMS

The crucial property is:

       flattenable => semantically flattenable

The converse is not true: also some (but not all) elusive OMS are
semantically flattenable.

Best, Till

P.S.
In the DOL document, I have added:

\termdefinition{flattenable OMS}
{OMS that can be seen, by purely syntactical means, to be logically
equivalent to a basic OMS}
\begin{note}
More precisely, an OMS is flattenable if and only if it is either a
basic OMS or it is an \termref{extension}, \termref{union}, translation,
\termref{module extraction}, \termref{approximation},
\termref{filtering}, or reference of named OMS involving only
flattenable OMS.
\end{note}

\termdefinition{elusive OMS}
{OMS that is not \termref{flattenable}}


Am 10.09.2014 19:00, schrieb Tara Athan:
> I am still not too clear on the concept of "flattenable" defined as
>
> 0.
>
>     flattenable = can be flattened to a basic OMS
>
> This doesn't help much since "flattened" is not defined.
>
> I see something of a recursive definition:
> a basic OMS is flattenable
> a focused OMS with all flattenable components is flattenable
>
> and some OMS, e.g. OMS reductions, are "elusive" which I presume to
> mean non-flattenable?
>
> Could someone please explain to me what makes an OMS "flattenable"?
>
> Thanks, Tara
>
> The Distributed Ontology, Modeling and Specification Language (DOL)
> Language overview
>
> On 9/10/14 11:04 AM, Till Mossakowski wrote:
>> please find attached the slides for the meeting
>>
>> Best, Till
>>
>> Am 09.09.2014 23:10, schrieb Till Mossakowski:
>>> [sorry, have sent this earlier but to the old address...]
>>>
>>> Dear all,
>>>
>>> our next OntoIOp team conference call (n.63) is coming up this
>>> Wednesday, Sept-10.
>>>
>>> The topics are (in this order):
>>> - preperation of the OMG meeting starting on Sept. 15
>>> - chapter 9 of the document (abstract syntax)
>>> - chapter 10 of the document (concrete syntax)
>>>
>>> The document is attached.
>>>
>>> All the best,
>>> Till
>>>
>>>
>>> = OntoIOp team-confcall (n.63) - Wed 2014.09.10 =
>>> <
>>> * Date: Wed 10-Sept-2014
>>> * start-time: 8:00am PDT / 11:00 pm EDT / 4:00pm BST / 5:00pm CEST /
>>> 5:00pm SAST / 0:00am [+1] KST / 15:00 UTC
>>> ** ref. world clock -
>>> http://www.timeanddate.com/worldclock/fixedtime.html?month=9&day=10&year=2014&hour=8&min=0&sec=0&p1=224
>>> * Duration: 1~1.5 Hrs.
>>> * shared-file workspace:
>>> http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-09-10_team-confcall_n.63/
>>> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140910
>>>
>>>
>>> Remarks:
>>>
>>> * the session may be recorded for archival purposes. Unless
>>> otherwise documented, participants agrees to this by virtue of
>>> their participation at the session.
>>>
>>> *  In case we have to mute everyone (due to extraneous noise or echo)
>>> - Mute control: *7 to un-mute ... *6 to mute
>>>
>>> Dial-in:
>>> * Phone (US): +1 (206) 402-0100
>>> ...  when prompted enter Conference ID: 843758#
>>> * Skype: "join.conference"
>>> ...  when prompted enter Conference ID: 843758#
>>> ** in case your skype connection to "joinconference" is not holding
>>> up, try using (your favorite POTS or VoIP line, etc.) either your
>>> phone, skype-out or google-voice  and
>>> call the US dial-in number: +1 (425) 440-5100
>>> ... when prompted enter Conference ID: 843758#
>>> ** some local numbers may be available (in the US, Australia, Canada &
>>> UK) - see: http://instantteleseminar.com/Local/
>>> ** for Windows Skype users: Can't find Skype Dial pad? ... it may be
>>> under the "Call" dropdown menu as "Show Dial pad"
>>> **  for Linux Skype users: if the dialpad button is not shown in the
>>> call window you need to press the "d" hotkey to enable it. (--CLange)
>>>
>>>
>>> Talk to you all then!
>>>
>>>
>>>
>>>
>>>
>>
>>
>> _________________________________________________________________
>> To Post: mailto:ontoiop-forum at ovgu.de
>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>> Community Wiki: http://ontoiop.org
>
>
>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de
> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
> Community Wiki: http://ontoiop.org

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20140910/1f461b82/attachment-0001.html>