ISO initiative OntoIOp (Ontology interoperability)
Prof. Dr. Till Mossakowsk post the following note to the ontolog-forum today:
Dear all,
we are currently involved in a new ISO standardisation initiative concerned with ontology interoperability.
This initiative is somehow orthogonal and complementary to Common Logic, because the topic is interoperability. This means interoperability both among ontologies (i.e. concering matching, alignment, and suitable means to write these down) as well as among ontology languages (e.g. OWL, UML, Common Logic, or F-logic, and translations among these). The idea is to have all these languages as part of a meta-standard, such that ontology designers can bring in their ontologies verbatim as they are, and yet relate them to other ontologies (e.g. check that an OWL version of some ontology is entailed by its first-order formulation).
The first official meeting for this is already mid next month in Seoul, and we now quickly have to move forward getting some countries into the boat. It will be essential to have experts from all relevant communities involved in this effort.
If you are interested in this initiative, the rough draft [1] for the standard and a related paper [2] will give you some more info. Please have a look and let me know what you think. We also look for people who want to officially take part in the development of the standard, either actively or just by voting on behalf of your national standardisation body.
All the best,
Till[1] http://www.dfki.de/sks/till/papers/OntoIOp.pdf
[2] http://www.dfki.de/sks/till/papers/ontotrans.pdf
I haven’t had time to review the documents but given the time frame wanted to bring this to your attention sooner rather than later.
When you have reviewed the documents, comments welcome.