Hi all,
On behalf of Fabian Neuhaus and the OntoIOp RFP development team,
I've agreed to summarize the discussion that occurred today in the
Analysis and Design Task Force and provide
- the version of the RFP approved in ADTF (ad/2013-12-02)
- the RFP with track changes showing the difference between what was
approved today in ADTF with what was presented to the AB on Monday
- Fabian's slides from the ADTF discussion explaining how OntoIOp
relates to SIMF as we understand it
In summary:
The SIMF RFP requests proposals for a language that allows to model
information (e.g. data) and relationships between
representations with the goal of data federation. SIMF is intended
to cover languages that may have no formal semantics and the mapping
between the models may be contextual. A substantial focus of SIMF
is use by those with minimal understanding of formal systems.
Although, the semantics of the SIMF Kernel is intended to be
grounded in logic, the development of the logical foundations for
such a grounding is not in the scope of the SIMF RFP.
In contrast, the focus of OntoIOp is to standardize a logical
metalanguage. This metalanguage is intended to support relating
ontologies, models, and specifications to one another, potentially
in the same composite model, given that they are written in a KR
language with a model theoretic semantics.
Therefore, SIMF and OntoIOp differ fundamentally in intent, both in
scope as well as in logical rigidity. However, the OntoIOp
metalanguage may serve as part of the logical foundation for SIMF.
For this reason, the following paragraph was added to Section 6.3.2:
"Semantic Information Modeling for Federation (SIMF) requests a
modeling language for supporting information modeling. Responses to
the OntoIOp RFP will provide a metalanguage for the relationships
among modeling languages and the OSMs that are specified in the
metalanguage and federation. The SIMF RFP requires that the
semantics of the SIMF language will be grounded in formal logic, but
the development of the logical foundation that is necessary to
support SIMF is not within the scope of SIMF. The OntoIOP
metalanguage could provide the logical foundation for SIMF, in this
sense OntoIOp complements SIMF."
Other changes recommended by the ADTF are also highlighted in the
attached version with changes, and incorporate feedback from several
AB members in addition to the above text.
Thanks to all of you and we look forward to the discussion in the AB
session tomorrow afternoon.
Elisa
|
RFP-OntoIOp ad-2013-12-02.pdf
Description: Adobe PDF document
RFP-OntoIOp ad-2013-12-02 changes.docx
Description: application/vnd.openxmlformats-officedocument.wordprocessingml.document
2013-12-11-OMG-slides.pdf
Description: Adobe PDF document
_________________________________________________________________
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)
|