[ontoiop-forum] ontoiop_20140910: Chat Transcript - sent by: TillMossakowski

[Till Mossakowski]

*Chat transcript from room: ontoiop_20140910*
*2014-09-10 GMT-08:00*
*[08:00] *anonymous morphed into MariaKeet
*[08:01] *anonymous morphed into TerryLongstreth
*[08:03] **TerryLongstreth: *1.1 Para 1, delete "if all three can be
treated in the same way." Para 2, unplural system "viewpoints on one
domain or systems" Para 2, "interfacibility" not in any of my
references. "Interfacability" is in Babylon. Better to rewrite the
sentence and eliminate confusion. Para 3, "different OMS languages even
of different expressiveness" -> "different OMS languages with
differringj levels or degrees of expressiveness" Para 3 (Rule 1) ,
"between OMS formalized in different OMS languages." -> "between OMS'
formalized in different OMS languages." Para 4 (Rule 1), "makes
heterogeneous OMS" -> "makes heterogeneous OMS' "
*[08:04] *anonymous morphed into ConradBock
*[08:13] **TillMossakowski: *presentation of slides
*[08:13] **TillMossakowski: *p.12: replace "distributed OMS" by
"networked OMS"?
*[08:17] **TillMossakowski: *e.g. a focused OMS: Class: Person
SubClassOf: Being
*[08:17] **TillMossakowski: *e.g. a distributed OMS: ontology O = Class:
Person SubClassOf: Being graph G = O
*[08:21] **TillMossakowski: *it is possible to go from focused OMS to
distributed OMS in this way, but not backwards. So somehow focused OMS
are parts of distributed OMS.
*[08:22] **TillMossakowski: *The above example is degenerate. A better
example is: ontology O1 = Class: Person SubClassOf: Being ontology O2 =
Class: HumanBeing SubClassOf: Being alignment A : O1 to O2 = Person =
HUamnBeing graph G = O1, O2, A
*[08:30] *anonymous morphed into YAZMIN
*[08:30] **TillMossakowski: *proposal to change "distributed OMS" to
"OMS network"
*[08:31] **TillMossakowski: *reason: an OMS network is not really an
OMS, but more a statement of certain relations between OMS
*[08:32] **TillMossakowski: *Hi Yazmin, Tara: please find the slides in
your email. We are at p. 12
*[08:33] **MariaKeet: *(calling in is with "join.conference" in skype,
not "joinconference" as mentioned in the email)
*[08:33] **TaraAthan: *Hi Sorry I am late.
*[08:33] **TerryLongstreth: *"deviate from the EBNF specification in
ISO/IEC 14977:1996 in favour of a more modern and concise EBNF syntax."
-> add footnote or pointer to where 'modern EBNF' is defined or describe
delta between modern to standard EBNF.
*[08:38] **TaraAthan: *What is the meaning of "flattening" in DOL - does
this include resolution of importation?
*[08:41] **TaraAthan: *The change of terminology from distributed OMS to
OMS network is good from the perspective of API4KB - our (mostly
aligned) terms for these are knowledge base and knowledge platform.
*[08:42] **FabianNeuhaus: *GroupOMS ::= '{
*[08:42] **FabianNeuhaus: *GroupOMS ::= '{ OMS OMS* '} | OMSRef
*[08:48] **FabianNeuhaus: *Entailment ::= OMS 'implies' ExtendingOMS
*[08:50] **FabianNeuhaus: *or alternatively: Entailment ::= OMS
'entails' ExtentingOMS
*[08:50] **MariaKeet: *I have to leave now. bye
*[08:50] **FabianNeuhaus: *OMS then ExtendingOMs %implied
*[08:51] **TillMossakowski: *Class Person Class Female Class: Woman
EquivalentTo: Person and Female then %implies Class: Woman SubClassOf:
Person and Female
*[08:52] **FabianNeuhaus: *myontology entails Woman SubclassOf: Person
*[08:52] **TillMossakowski: *myontology then %implies Class: Woman
SubClassOf: Person and Female
*[08:53] **FabianNeuhaus: *O1 entails phi
*[08:54] **TillMossakowski: *entailment e = O1 entails phi
*[08:56] **TaraAthan: *I see that ExtensionOMS and ExtensionName appear
in the syntax. This was a question that I noticed while comparing LOLA
to my ontology derived from the OntoIOp glossary. The term "extension"
in the glossary appears to defining the concept behind ExtenionOMS,
while an extension mapping is not specifically mentioned in the
glossary. The parallel structure between the hierarchy of subclasses of
Mapping and the hierarchy of subproperties of 'is mappable to' is
mentioned in LOLA.
*[09:01] **TaraAthan: *I frequently see things like with
LogicTranslation+ [SymbolMapItems] to indicate a sequence of one or more.
*[09:08] **TillMossakowski: *myontology with Class: Person
*[09:10] **TillMossakowski: *myontology with Class: Person |->
HumanBeing, Class: Woman
*[09:16] **TillMossakowski: *Reduction ::= 'hide' LogicReduction*
SymbolItems | 'hide' LogicReduction+ | 'reveal' [SymbolMapItems]
*[09:17] **TillMossakowski: *Reduction ::= 'hide' LogicReduction*
SymbolItems | 'hide' LogicReduction+ | 'reveal' SymbolMapItems
*[09:20] **TillMossakowski: *Extraction ::= 'extract' [ModuleProperties]
[InterfaceSignature] | 'remove' [ModuleProperties] InterfaceSignature]
ModuleProperties ::= Conservative | '%min' | '%depleting' | '%safe'
*[09:22] **TillMossakowski: *InterfaceSignature could also be SeedSignature
*[09:24] **TaraAthan: *Suggestions for glossary: extension mapping:
mapping between two OMSs where the sets of non-logical symbols and
sentences of the second OMS are supersets of those present in the first
OMS Note: the second OMS is said to extend the first, and is an
extension of the first OMS.
*[09:25] **TillMossakowski: *suggestion to remove '%min' and
'%depleting', as well as Conservative, because these are implied by the
semantics anyway.
*[09:26] **TillMossakowski: *%safe is more a statement about an import
of a module, and hence should be a statement in an OMS network
*[09:35] *List of attendees: ConradBock, FabianNeuhaus, MariaKeet,
OliverKutz, TaraAthan, TerryLongstreth, TillMossakowski, YAZMIN, anonymous
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20140910/1ac84950/attachment.html>