Dear All - I said I would go through
the terminology section looking for issues with substitutability,
ISO style. I have not done that completely, but I have a question
from the start.
We have cases such as the first definition:
atomic:_expression_ or syntactic constituent of an OMS that requires
an interpretation through a model
Here is an example:
Usage:
"…." is an <atomic> _expression_ of OWL..
Substitution:
"…." is an <_expression_ or syntactic constituent of an OMS that
requires an interpretation through a model> _expression_ of OWL.
Clearly this is not going to work.
I don't know if something like the following is possible within
ISO formatting rules:
atomic (_expression_ or syntactic constituent) of (an OMS X):
(_expression_ or syntactic constituent) of X that requires an
interpretation through a model
Usage:
"…." is an <atomic _expression_ of OWL>.
Substitution:
"…." is an <_expression_ of OWL that requires an interpretation
through a model
>.
Tara
On 4/8/14 4:41 PM, Till Mossakowski wrote:
Dear all,
please find attached a new version of the DOL specification.
I suggest that tomorrow at the telcon, we discuss the following points:
- chapter 4, definition of approximant (new)
- chaters 3, 5 and 6 (all are only one page long)
- is chapter 7 really needed, or is this some unnecessary duplication of
the RFP? How should we indicate that we address the requirements of the RFP?
All the best,
Till
Am 08.04.2014 00:24, schrieb Peter Yim:
.
= REMINDER =
Our next OntoIOp team conference call (n.56) is coming up this Wednesday, Apr-9.
= OntoIOp team-confcall (n.56) - Wed 2014.04.09 =
* Date: Wed 9-Apr-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=4&day=9&year=2014&hour=8&min=0&sec=0&p1=224
* Duration: 1.0~1.5 Hrs.
* shared-file workspace:
http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-04-09_team-confcall_n.56/
* chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140409
*** Kindly pay special attention to the start-time at your time zone.
On this day, both Europe and North America will be on Summer Time
already, while other regions that do not practise Daylight Saving Time
(DST) will still be on Standard Time ***
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: 141184#
* Skype: "joinconference"
... when prompted enter Conference ID: 141184#
** 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 (206) 402-0100
... when prompted enter Conference ID: 141184#
** 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!
Thanks & regards. =ppy
p.s. I assume TillMossakowski will probably be providing an agenda in
due course.
--
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp