<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">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.<br>
<br>
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.<br>
<br>
Tara<br>
<br>
On 9/24/14 11:09 AM, Till Mossakowski wrote:<br>
</div>
<blockquote cite="mid:5422DEB0.80107@iws.cs.uni-magdeburg.de"
type="cite">
<pre wrap="">attached some (slightly revised) slides.
Best, Till
Am 23.09.2014 13:54, schrieb Till Mossakowski:
</pre>
<blockquote type="cite">
<pre wrap="">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 -
<a class="moz-txt-link-freetext" href="http://www.timeanddate.com/worldclock/fixedtime.html?month=9&day=24&year=2014&hour=8&min=0&sec=0&p1=224">http://www.timeanddate.com/worldclock/fixedtime.html?month=9&day=24&year=2014&hour=8&min=0&sec=0&p1=224</a>
* Duration: 1~1.5 Hrs.
* shared-file workspace:
<a class="moz-txt-link-freetext" href="http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-09-24_team-confcall_n.64/">http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-09-24_team-confcall_n.64/</a>
* chat-workspace: <a class="moz-txt-link-freetext" href="http://webconf.soaphub.org/conf/room/ontoiop_20140924">http://webconf.soaphub.org/conf/room/ontoiop_20140924</a>
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: <a class="moz-txt-link-freetext" href="http://instantteleseminar.com/Local/">http://instantteleseminar.com/Local/</a>
** 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!
</pre>
</blockquote>
<pre wrap="">
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">
_________________________________________________________________
To Post: <a class="moz-txt-link-freetext" href="mailto:ontoiop-forum@ovgu.de">mailto:ontoiop-forum@ovgu.de</a>
Message Archives: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de//pipermail/ontoiop-forum">https://listserv.ovgu.de//pipermail/ontoiop-forum</a>
Config/Unsubscribe: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum">https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum</a>
Community Files (open): <a class="moz-txt-link-freetext" href="http://interop.cim3.net/file/pub/OntoIOp/">http://interop.cim3.net/file/pub/OntoIOp/</a>
Community Wiki: <a class="moz-txt-link-freetext" href="http://ontoiop.org">http://ontoiop.org</a>
</pre>
</blockquote>
<br>
</body>
</html>