Hi Conrad
Thank you very much, I think your notes cover everything very well. (01)
The only point, which I understood differently (and maybe Elisa can clarify) is
about non-monotonic logics. I was under the impression that Pete did not know
that the issue was addressed in the RFP already, and was happy with what it
said, when he found the relevant section. I don't remember him asking for
adding something more to the RFP. (02)
For everybody who did not attend the meeting: the reason why Conrad and Elisa
mention SIMF in their emails is that the main criticism (and the part of the
discussion that took by far the most time) was about the relationship between
SIMF and OntoIOP. Pete Rivett argued that both RFPs overlap, and, that OMG
should not issue competing RFPs. It was actually suggested that we submit the
DOL specification as a response to SIMF. After some lively discussion the
result was that Elisa and I work (hopefully, with Cory) on clarifying the
relationship between OntoIOP and SIMF. (03)
When I give my presentation on Wednesday to the task force, I will need to
address the issue. So any insights are welcome. (04)
Best
Fabian (05)
On 09.12.2013, at 15:51, Elisa Kendall <ekendall@xxxxxxxxxxxx> wrote: (06)
> Hi Conrad,
>
> Thanks very much for this. I've also emailed Cory, who I'm hoping will
> provide his perspective on how SIMF and OntoIOp compare. My own sense
> is that OntoIOp could provide the axiomatic semantics that SIMF could
> then build on, if the SIMF folk care to do so, but that they address
> different levels of abstraction, and OntoIOp is not interested in
> notation, which is one of the primary thrusts of SIMF.
>
> If you and others on the list would also please review both the very
> latest version of the OntoIOp RFP and the SIMF RFP and send along your
> feedback, that would be most helpful.
>
> We will be discussing the potential overlap and how to address it, if in
> fact there is overlap, on Wednesday morning in the Analysis and Design
> Task Force Plenary Session.
>
> Best regards,
>
> Elisa
>
> On 12/9/2013 3:42 PM, Bock, Conrad wrote:
>> Fabian, et al,
>>
>> Here are my notes from the AB review today. Feel free to edit. The SIMF
>RFP is at doc.omg.org/ad/11-12-10 (no login needed).
>>
>> Conrad
>>
>> 12/9/13, AB Review
>> Elisa: All my comments are addressed in ad/2013-11-11.
>> Pete: SIMF (bridging language). Elisa: Compare to SMIF, shift LOIs to
>> OntoIOp.
>> Pete: Reasoning on ontologies that use multiple languages? Fabian:
>> Our implementations translate to most expressive language and reason
>> over that.
>> Pete: Concrete syntax for meta-language is textual or diagrammatic.
>> Fabian: Not specified, but submitters would probably propose a
>> textual syntax.
>> Pete: How would semantics be specified for the meta-language? Fabian:
>> The meta-language semantics has "slots" for putting in domain
>> languages. Pete: Would like requirements expanded to cover the
>> relationship of meta-semantics to the domain semantics.
>> Pete: Refer to BMI DMN (Decision Model and Notation).
>> Pete: Non-monotonic languages, eg, SBVR. Fabian: SBVR isn't
>> non-monotonic, it's modal logic, which is no problem. Non-mon are
>> more troublesome, because they don't have a model-theoretic
>> semantics. Would be a challenge to cover in the framework. Pete:
>> Include in RFP.
>>
>> _________________________________________________________________
>> 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 (07)
_________________________________________________________________
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 (08)
|