OntoIOp

= OntoIOp (Ontology Integration and Interoperability), the ISO 17347 Standard Development Initiative =

shortcut to this page: http://ontoiop.org

ISO/TC37/SC3/WG3: ISO WD 17347 - Ontology Integration and Interoperability ( OntoIOp )  Part 1: The Distributed Ontology Language (DOL)

General Information

 * A brief characterization by JohnSowa and TillMossakowski (2012-01-12): "DOL incorporates an ontology about theories [i.e. ontologies; ChristophLange] with an extensive vocabulary about theories and syntactic hooks for talking about them"
 * A quick overview of DOL's essential features (due to MichaelGruninger, 2011-10-06; rephrased by ChristophLange):
 * 1) heterogeneity (within ontologies)
 * 2) modularity (of ontologies, including the reuse of existing ontologies)
 * 3) links (between ontologies)
 * 4) annotation (of ontologies and their parts)
 * Infoterm news item on [[OntoIOp] (2011-04-04)]

News

 * See [http:?OntoIOp#nid2XSD the publication list] for recent publications.
 * See [http:?OntoIOp#nid2XR0 history section] for old news.

Public

 * OntoIOp registry (machine-processable descriptions of ontology languages, logics, translations, etc.):
 * try e.g. http://purl.net/dol/logics/SROIQ for the SROIQ logic underlying OWL 2 DL
 * There are nicer web frontends for browsing such linked open datasets, e.g. URIburner
 * Subpages of this page (comments, brainstorming, further pointers, etc.): [http:?OntoIOp/StandardizationIssues standardization issues]
 * File repository (public part): example ontologies, publications, free material related to the working draft
 * Mailing list: ontoiop-forum@ontolog.cim3.net
 * general questions and discussion are also welcome on the ontolog-forum mailing list

As usual with ISO standards, the working draft is not currently open access. However, related ISO standards, such as Common Logic, are open. We aim at obtaining the permission to make the OntoIOp standard open around summer 2012.

Restricted to ISO working group members

 * Mailing list: ontoiop-wg@interop.cim3.net
 * Archives
 * File repository
 * how to access
 * Issue tracker (restricted to the core project team, access granted by ChristophLange on request)
 * Subversion repository directory containing the very latest working draft (restricted to the core project team, access granted on request)

COLORE (Common Logic Repository)
COLORE is an open repository of first-order ontologies implemented in Common Logic. COLORE is self-contained and using one single logic, but it is distributed in its high modularity.

Meta-theoretical relationships between the COLORE ontologies are of particular interest, including maps (signature morphisms), definitional extension, conservative extension, inconsistency between modules, imports, relative interpretation, faithful interpretation, and definable equivalence. DOL allows for formalizing them (as compared to the earlier approach of just writing them down as metadata) and makes them amenable to fully automated verification with tools such as Hets (Heterogeneous Tool Set).

First mappings implemented in DOL can be found in the directories for OWL Time intervals and Periods.

Ontohub, a DOL-enabled Ontology Repository Engine
The Ontohub repository engine (demo installation, sources) supports many notions of DOL as first-class citizens:


 * ontologies
 * logics (to be extended)
 * links (to be implemented)
 * logic translations (to be implemented)

[http:?OOR/ConferenceCall_2012_03_27 This presentation] introduces Ontohub with [http:?OOR/ConferenceCall_2012_03_27#nid383G a slide show and a demo video].

Publications (newest first)

 * 1) ChristophLange, TillMossakowski, OliverKutz. [[LoLa]: A Modular Ontology of Logics, Languages, and Translations]; accepted at 6th International Workshop on Modular Ontologies ([[WoMO])], Graz, Austria, 24 July 2012.
 * 2) TillMossakowski, OliverKutz, ChristophLange: Three Semantics for the Core of the Distributed Ontology Language; in 7th International Conference on Formal Ontology in Information Systems (FOIS), Graz, Austria, July 2012.
 * 3) ChristophLange, OliverKutz, TillMossakowski, MichaelGruninger. The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization; in Conference on Intelligent Computer Mathematics (CICM), Systems & Projects track, Bremen, Germany, July 2012.
 * 4) ChristophLange, TillMossakowski, OliverKutz, ChristianGalinski, MichaelGruninger, DanielCoutoVale.  The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility; in Terminology and Knowledge Engineering (TKE), Madrid, Spain, June 2012.  presentation slides
 * 5) TillMossakowski, OliverKutz, ChristophLange.  Semantics of the Distributed Ontology Language: Institutes and Institutions; in 21st International Workshop on Algebraic Development, Salamanca, Spain, June 710, 2012.
 * 6) OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. Making Heterogeneous Ontologies Interoperable Through Standardisation  A Meta Ontology Language to be Standardised: Ontology Integration and Interoperability ([[OntoIOp])]; in Accessibility Reaching Everywhere, AEGIS Workshop and 2nd International Conference, Brussels, Belgium, November 2011. (presentation slides, poster)
 * 7) OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. Towards a Standard for Heterogeneous Ontology Integration and Interoperability; in International Conference on Terminology, Language and Content Resources ([[LaRC])], Seoul, Korea, June 2011.  Proceedings (see from page 101)

The Team
The list of people on the OntoIOp working group:


 * SueEllenWright (US) - (ISO/TC37/SC3 Chair)
 * GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary)
 * AlanMelby (US)
 * AntonioPareja (ES)
 * BodilNistrupMadsen (DK)
 * CarlaFreericks (DE)
 * CarmenChui (CA)
 * CatherineProtic (FR)
 * ChangqingZHOU (CN)
 * ChristianGalinski (AT)
 * ChristopheRoche (FR)
 * ChristophLange (DE/UK) - (Assistant Project Leader 20112012)
 * DanGillman (US)
 * DosamHwang (KR)
 * DougLawrence (UK)
 * FabianNeuhaus (US)
 * FrankFarance (US)
 * GeraldRadack (US)
 * GerhardBudin (AT) (awaiting confirmation on registration as AT Expert)
 * GuadalupeAguado (ES)
 * HanneErdmanThomsen (DK)
 * HaroldSolbrig (US)
 * JeromeEuzenat (FR)
 * JohnBateman (DE)
 * JohnSowa (US)
 * KiyongLee (KR)
 * LaurettePretorius (ZA)
 * LeoObrst (US)
 * MariaKeet (ZA)
 * MariaPozzi (MX)
 * MariCarmenSuarezFigueroa (ES)
 * MelanieMaradan (UEA-Esperanto)
 * MichaelGruninger (CA) - (Co-Project Leader)
 * MonteGeorge (US)
 * OliverKutz (DE) - (Co-Project Leader)
 * PatHayes (US)
 * PeterYim (US)
 * PierreYvesSchobbens (BE) (awaiting confirmation on registration as BE Expert)
 * SebastianRudolph (DE)
 * StefanoBorgo (IT)
 * SylvieArbouy (FR)
 * TerryLongstreth (US)
 * TillMossakowski (DE) - (Project Leader)
 * TommieMeyer (ZA)
 * YonghongCHENG (CN)

History (may be incomplete)

 * official working group meeting on 25-Jun-2012 in Madrid, Spain
 * official working group meeting on 23-Feb-2012 in Berlin, Germany
 * 2011_10_20 - Thursday: Joint IAOA-OOR-Ontolog "Ontologies and Standards" mini-series session-1: Introducing the ISO NP 17347 "Ontology Integration and Interoperability (OntoIOp)" Standardization Effort - Co-chairs: JohnBateman &amp; MichaelGruninger - ConferenceCall_2011_10_20  
 * this working group is meeting on 6-Oct-2011 in Berlin, Germany
 * this new work item has been confirmed on 16-Jun-2011 at an ISO/TC37 meeting (in Seoul, ROK.)
 * mails introducing this initiative to the Ontolog community and to the Common Logic community