|
Your suggestions look good to me.
Tara
On 5/21/14 4:12 AM, Till Mossakowski wrote:
Dear Tara,
many thanks for your comments. Here are my replies.
Best, Till
Am 21.05.2014 01:34, schrieb Tara Athan:
Hi - I have a few comments on the definitions:
basic
OMS
ooteset
of non-logical
symbols, sentences, annotations
about
them, which is used as a building block for a
larger OMS
Are the sentences in a basic OMS all in the same
language?
yes
Can an OMS be a basic OMS without being used as a
building block for a larger OMS?
yes
Suggestion: a structure consisting of a set V of
non-logical symbols, a set S of sentences in some OMS
language (using only non-logical symbols from V), and
a set of annotations about V and S.
I would rather put this information into a note. Moreover, I would
avoid the term "structure" because this is often used as a synonym
for "model".
So I suggest:
signature equipped with a set of sentences and annotations, which
may be used as a building block for a larger OMS
Note: The sentences must use only those non-logical symbols that
are present in th signature.
sublanguage
syntactically
speci�ed subset of a given language, consisting of a
subset of its terminal and nonterminal symbols and
grammar rules
A subset of the grammar rules of a language does not
necessarily produce a sublanguage (not all grammar languages
are monotonic, e.g. Relax NG), and a sublanguage can't always
be generated by some subset of the grammar rules of a
superlanguage (e.g. a Horn logic sublanguage of Common Logic).
I believe grammar rules should not be mentioned at all in this
definition.
I would expect a sublanguage to be defined as:
subset of the expressions of a language, interpreting with a
subset of the logics of the superlanguage.
Note: the subsets need not be proper subsets.
agreed.
subOMS
OMS whose sets
of non-logical
symbols and sentences are subsets
of those present in a given larger OMS
Saying "larger OMS" suggests that there is a requirement of
proper subsets.
Suggestion:
OMS whose
sets of non-logical
symbols and sentences are subsets of those present in a
given OMS
agreed
profile
(syntactic)
sublanguage
of an OMS language
interpreting
according to a particular logic that targets
speci�c applications or reasoning methods
Can a sublanguage be a profile if it doesn't target specific
applications or reasoning methods? How do you verify that this
condition is satisfied?
Suggestion:
(syntactic) sublanguage of an OMS language interpreting according to a
particular logic,
typically targeting speci�c
applications or reasoning methods
agreed
serialization
speci�c
syntactic encoding of a given OMS language
Not all "serializations" are specific to the level of
character encoding.
If the serialization is based on XML, then a variety of
character encoding systems can, in general, be used. In
API4KB, we consider a "serialization" of a language to be a
system for representing expressions in that language as
character sequences, which is independent of the character
encoding system used to represent these character sequences as
byte sequences.
OK, this could be a note
document
result of
serializing an OMS using a given serialization
This makes sense only if we are talking about an OMS in one
language, so that it is possible to serialize using just one
serialization.
Presumably, each base OMS in a structured OMS is serialized
using a given serialization (although annotations in standoff
markup confuse this issue).
Can a document be a collection of subdocuments in different
serializations of the same language?
(I am imagining these being packaged in a zip archive or tar
for transmission.)
Suggestion:
result of
serializing an OMS, where the sentences of each
basic OMS are serialized using a given serialization
I suggest:
result of serializing a possibly distributed OMS, where the
signature and sentences of each basic OMS are serialized using a
given serialization
Tara
On 5/20/14 1:36 PM, Till Mossakowski wrote:
Dear all,
our next OntoIOp team conference call (n.59) is coming up this
Wednesday, May-21.
Please find the most recent version of the standard draft attached.
All new parts have been marked in red. Please have a look, so that we go
through them during the teleconference.
Source of the standard document and the issue tracker can be found at
https://github.com/tillmo/DOL/
All the best,
Till
= OntoIOp team-confcall (n.58) - Wed 2014.05.21 =
* Date: Wed 21-May-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=5&day=21&year=2014&hour=8&min=0&sec=0&p1=224
* Duration: 0.75~1.5 Hrs.
* shared-file workspace:
http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-05-21_team-confcall_n.59/
* chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140521
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!
_________________________________________________________________
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
_________________________________________________________________
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 (01)
|