Hi Conrad, (01)
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. (02)
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. (03)
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. (04)
Best regards, (05)
Elisa (06)
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
>
> (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)
|