FYI. (01)
-----Original Message-----
From: cl-bounces@xxxxxxxxxxxxxxxxx [mailto:cl-bounces@xxxxxxxxxxxxxxxxx] On
Behalf Of Till Mossakowski
Sent: Monday, May 23, 2011 11:46 AM
To: Discussion of ISO Common Logic Standard (ISO/IEC 24707)
Cc: Oliver Kutz
Subject: [CL] ISO initiative OntoIOp (Ontology interoperability) (02)
Dear all, (03)
we are currently involved in a new ISO standardisation initiative
concerned with ontology interoperability. (04)
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). (05)
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. (06)
All the best,
Till (07)
[1] http://www.dfki.de/sks/till/papers/OntoIOp.pdf
[2] http://www.dfki.de/sks/till/papers/ontotrans.pdf (08)
--
Prof. Dr. Till Mossakowski Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen Fax +49-421-218-9864226
Safe & Secure Cognitive Systems Till.Mossakowski@xxxxxxx
Enrique-Schmidt-Str. 5, D-28359 Bremen http://www.dfki.de/sks/till (09)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313 (010)
_______________________________________________
CL mailing list
CL@xxxxxxxxxxxxxxxxx
http://philebus.tamu.edu/cgi-bin/mailman/listinfo/cl (011)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (012)
|