<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<tt>
<b>Chat transcript from room: ontoiop_20140910</b><br>
<b>2014-09-10 GMT-08:00</b><br>
<b>[08:00] </b>anonymous morphed into MariaKeet<br>
<b>[08:01] </b>anonymous morphed into TerryLongstreth<br>
<b>[08:03] </b><b>TerryLongstreth: </b>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' "<br>
<b>[08:04] </b>anonymous morphed into ConradBock<br>
<b>[08:13] </b><b>TillMossakowski: </b>presentation of slides<br>
<b>[08:13] </b><b>TillMossakowski: </b>p.12: replace
"distributed OMS" by "networked OMS"?<br>
<b>[08:17] </b><b>TillMossakowski: </b>e.g. a focused OMS:
Class: Person SubClassOf: Being<br>
<b>[08:17] </b><b>TillMossakowski: </b>e.g. a distributed OMS:
ontology O = Class: Person SubClassOf: Being
graph G = O<br>
<b>[08:21] </b><b>TillMossakowski: </b>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.<br>
<b>[08:22] </b><b>TillMossakowski: </b>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<br>
<b>[08:30] </b>anonymous morphed into YAZMIN<br>
<b>[08:30] </b><b>TillMossakowski: </b>proposal to change
"distributed OMS" to "OMS network"<br>
<b>[08:31] </b><b>TillMossakowski: </b>reason: an OMS network is
not really an OMS, but more a statement of certain relations
between OMS<br>
<b>[08:32] </b><b>TillMossakowski: </b>Hi Yazmin, Tara: please
find the slides in your email. We are at p. 12<br>
<b>[08:33] </b><b>MariaKeet: </b>(calling in is with
"join.conference" in skype, not "joinconference" as mentioned in
the email)<br>
<b>[08:33] </b><b>TaraAthan: </b>Hi Sorry I am late.<br>
<b>[08:33] </b><b>TerryLongstreth: </b>"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.<br>
<b>[08:38] </b><b>TaraAthan: </b>What is the meaning of
"flattening" in DOL - does this include resolution of importation?<br>
<b>[08:41] </b><b>TaraAthan: </b>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.<br>
<b>[08:42] </b><b>FabianNeuhaus: </b>GroupOMS ::= '{<br>
<b>[08:42] </b><b>FabianNeuhaus: </b>GroupOMS ::= '{ OMS OMS* '}
| OMSRef<br>
<b>[08:48] </b><b>FabianNeuhaus: </b>Entailment ::= OMS
'implies' ExtendingOMS<br>
<b>[08:50] </b><b>FabianNeuhaus: </b>or alternatively:
Entailment ::= OMS 'entails' ExtentingOMS<br>
<b>[08:50] </b><b>MariaKeet: </b>I have to leave now. bye<br>
<b>[08:50] </b><b>FabianNeuhaus: </b>OMS then ExtendingOMs
%implied<br>
<b>[08:51] </b><b>TillMossakowski: </b>Class Person
Class Female
Class: Woman EquivalentTo: Person and Female
then %implies
Class: Woman SubClassOf: Person and Female<br>
<b>[08:52] </b><b>FabianNeuhaus: </b>myontology entails Woman
SubclassOf: Person<br>
<b>[08:52] </b><b>TillMossakowski: </b>myontology then %implies
Class: Woman SubClassOf: Person and Female<br>
<b>[08:53] </b><b>FabianNeuhaus: </b>O1 entails phi<br>
<b>[08:54] </b><b>TillMossakowski: </b>entailment e = O1 entails
phi<br>
<b>[08:56] </b><b>TaraAthan: </b>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.<br>
<b>[09:01] </b><b>TaraAthan: </b>I frequently see things like
with LogicTranslation+ [SymbolMapItems] to indicate a sequence of
one or more.<br>
<b>[09:08] </b><b>TillMossakowski: </b>myontology with Class:
Person<br>
<b>[09:10] </b><b>TillMossakowski: </b>myontology with Class:
Person |-> HumanBeing, Class: Woman<br>
<b>[09:16] </b><b>TillMossakowski: </b>Reduction ::= 'hide'
LogicReduction* SymbolItems | 'hide' LogicReduction+ | 'reveal'
[SymbolMapItems]<br>
<b>[09:17] </b><b>TillMossakowski: </b>Reduction ::= 'hide'
LogicReduction* SymbolItems | 'hide' LogicReduction+ | 'reveal'
SymbolMapItems<br>
<b>[09:20] </b><b>TillMossakowski: </b>Extraction ::= 'extract'
[ModuleProperties] [InterfaceSignature] | 'remove'
[ModuleProperties] InterfaceSignature]
ModuleProperties ::= Conservative | '%min' | '%depleting' |
'%safe'<br>
<b>[09:22] </b><b>TillMossakowski: </b>InterfaceSignature could
also be SeedSignature<br>
<b>[09:24] </b><b>TaraAthan: </b>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.<br>
<b>[09:25] </b><b>TillMossakowski: </b>suggestion to remove
'%min' and '%depleting', as well as Conservative, because these
are implied by the semantics anyway.<br>
<b>[09:26] </b><b>TillMossakowski: </b>%safe is more a statement
about an import of a module, and hence should be a statement in an
OMS network<br>
<b>[09:35] </b>List of attendees: ConradBock, FabianNeuhaus,
MariaKeet, OliverKutz, TaraAthan, TerryLongstreth,
TillMossakowski, YAZMIN, anonymous<br>
</tt>
</body>
</html>