[ontoiop-forum] OntoIOp teleconference (n.64): Wed 2014.09.24

[Tara Athan]

Till and all - I am wondering what the extension mechansim will be for 
DOL. This comes to mind because of the seeming incompatibilities with 
CL2 titling and importation that we discussed in the last telecon. I 
believe that at least some of the extraordinary features of CL2 could be 
described in a logic-independent fashion, as required for inclusion in 
the DOL framework. However, the theory needs to be developed first, and 
it will likely not happen before the first version of DOL is released. A 
work-around would be to have a mechanism for introducing "user-defined" 
operations, kinds of mappings, etc. into DOL.

Since you are using CURIES in your syntax, one approach might be to have 
a generic operation, where the type of operation is defined by reference 
to an external IRI through a CURIE. Same for mappings and other 
syntactic categories.

Tara

On 9/24/14 11:09 AM, Till Mossakowski wrote:
> attached some (slightly revised) slides.
>
> Best, Till
>
> Am 23.09.2014 13:54, schrieb Till Mossakowski:
>> Dear all,
>>
>> our next OntoIOp team conference call (n.64) is coming up this
>> Wednesday, Sept-24.
>>
>> The topics are:
>> - chapter 9 of the document (abstract syntax), cont'd. In particular, I
>> suggest to discuss 9.2 and ednote 62 in connection with 4.1
>> - chapter 10 of the document (concrete syntax)
>> - report from OMG meeting
>>
>> The document (revised according to the latest discussions) is attached.
>>
>> All the best,
>> Till
>>
>>
>> = OntoIOp team-confcall (n.64) - Wed 2014.09.24 =
>> <
>> * Date: Wed 24-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=24&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-24_team-confcall_n.64/
>> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140924
>>
>>
>> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20140925/407298b5/attachment.html>