From OntologPSMW

(Difference between revisions)
Jump to: navigation, search
(typos)
(removed purple numbers)
Line 1: Line 1:
= <nowiki>OntoIOp</nowiki> (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative {nid 2VTR} =
+
teroperability), an OMG Standard Development Initiative =
  
shortcut to this page: http://ontoiop.org {nid 3C7Q}
+
shortcut to this page: http://ontoiop.org  
  
'''Ontology Integration and Interoperability (<nowiki>OntoIOp</nowiki>)''' {nid 2VTS}
+
'''Ontology Integration and Interoperability (<nowiki>OntoIOp</nowiki>)'''  
  
== General Information {nid 2XSB} ==
+
== General Information ==
  
* OntoIOp aims at a meta language for the specification, relation and modularisation of logical theories, with particular emphasis on (formal) ontologies, models and specifications {nid 3YQB}
+
* OntoIOp aims at a meta language for the specification, relation and modularisation of logical theories, with particular emphasis on (formal) ontologies, models and specifications  
* A quick overview of OntoIOp's essential features (due to MichaelGruninger, 2011-10-06; rephrased by ChristophLange): {nid 3239}
+
* A quick overview of OntoIOp's essential features (due to MichaelGruninger, 2011-10-06; rephrased by ChristophLange):  
## heterogeneity (within logical theories) {nid 323A}
+
## heterogeneity (within logical theories)  
## modularity (of logical theories, including the reuse of existing logical theories) {nid 323B}
+
## modularity (of logical theories, including the reuse of existing logical theories)  
## links (between logical theories) {nid 323C}
+
## links (between logical theories)  
## annotation (of logical theories and their parts) {nid 3238}
+
## annotation (of logical theories and their parts)  
  
== Request for proposal (RFP) {nid 409G} ==
+
== Request for proposal (RFP) ==
  
The [http://www.omg.org OMG] RFP has been issued in December 2013. It can be found [http://www.omg.org/cgi-bin/doc?ad/2013-12-02 here]. {nid 409H}
+
The [http://www.omg.org OMG] RFP has been issued in December 2013. It can be found [http://www.omg.org/cgi-bin/doc?ad/2013-12-02 here].  
  
== Answer to the RFP {nid 409G} ==
+
== Answer to the RFP ==
  
The [https://github.com/tillmo/DOL Distributed Ontology, Modeling and Specification Language (DOL)] has just been submitted as an answer to the RFP and will be discussed on the December 2014 OMG meeting in Long Beach, California, USA. {nid 4EXC}
+
The [https://github.com/tillmo/DOL Distributed Ontology, Modeling and Specification Language (DOL)] has just been submitted as an answer to the RFP and will be discussed on the December 2014 OMG meeting in Long Beach, California, USA.  
  
== How can I contribute? {nid 41F1} ==
+
== How can I contribute? ==
  
You can contribute in various ways: {nid 41F2}
+
You can contribute in various ways:  
  
* subscribe to the mailing list: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/ {nid 41F3}
+
* subscribe to the mailing list: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/  
* come to our biweekly meetings: Monday  8:00am PST / 11:00 am EST / 5:00pm CET / 6:00pm SAST / 1:00am [+1] KST / 16:00 GMT/UTC. The next ones will be at December 15, January 4 .... They will be announced via the mailing list {nid 41F6}
+
* come to our biweekly meetings: Monday  8:00am PST / 11:00 am EST / 5:00pm CET / 6:00pm SAST /
* write a letter of intent (deadline 19 May 2014, you need to be an [http://www.omg.org/be-a-member-a.htm OMG member]). {nid 43W2}
+
1:00am [+1] KST / 16:00 GMT/UTC. The next ones will be at December 15, January 4 .... They will be announced via the mailing list  
* become a supporter of OntoIOp (please write an email to Till Mossakowski, till@iws.cs.uni-magdeburg.de) {nid 45AX}
+
* write a letter of intent (deadline 19 May 2014, you need to be an [http://www.omg.org/be-a-member-a.htm OMG member]).  
* contribute to an answer to the RFP. One answer, DOL, is [https://github.com/tillmo/DOL coordinated here] {nid 43W3}
+
* become a supporter of OntoIOp (please write an email to Till Mossakowski, mossakow@iws.cs.uni-magdeburg.de)  
 +
* contribute to an answer to the RFP. One answer, DOL, is [https://github.com/tillmo/DOL coordinated here]  
  
== News {nid 2XQX} ==
+
== News ==
  
* See [http:?OntoIOp#nid2XSD the publication list] for recent publications. {nid 3AD1}
+
* See [http:?OntoIOp#nid2XSD the publication list] for recent publications.  
* See [http:?OntoIOp#nid2XR0 history section] for old news. {nid 2XQZ}
+
* See [http:?OntoIOp#nid2XR0 history section] for old news.  
  
== Resources {nid 2XS4} ==
+
== Resources ==
  
=== Public {nid 38JZ} ===
+
=== Public ===
  
* [http://www.omg.org/cgi-bin/doc?ad/2013-12-02 OntoIOp RFP] {nid 43W4}
+
* [http://www.omg.org/cgi-bin/doc?ad/2013-12-02 OntoIOp RFP]  
* [https://github.com/tillmo/DOL DOL - preparation of an answer to the RFP] (write access granted by TillMossakowski on request) {nid 43W5}
+
* [https://github.com/tillmo/DOL DOL - preparation of an answer to the RFP] (write access granted by TillMossakowski on request)  
** [https://github.com/tillmo/DOL/issues Issue tracker] {nid 2XS7}
+
** [https://github.com/tillmo/DOL/issues Issue tracker]  
* OntoIOp registry (machine-processable descriptions of ontology languages, logics, translations, etc.): {nid 3CFS}
+
* 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 {nid 3CFT}
+
** 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. [http://linkeddata.uriburner.com/about/html/http/purl.net/dol/logics/SROIQ URIburner] {nid 3CFU}
+
** There are nicer web frontends for browsing such linked open datasets, e.g. [http://linkeddata.uriburner.com/about/html/http/purl.net/dol/logics/SROIQ URIburner]  
* Subpages of this page (comments, brainstorming, further pointers, etc.): [http:?OntoIOp/StandardizationIssues standardization issues] {nid 2YBI}
+
* 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 {nid 38K0}
+
* File repository (public part): example ontologies, publications, free material related to the working draft  
** (before Sep-2013) - http://interop.cim3.net/file/pub/OntoIOp/ {nid 41QK}
+
** (before Sep-2013) - http://interop.cim3.net/file/pub/OntoIOp/  
** (after ~Sep-2013) - http://ontolog.cim3.net/file/work/OntoIOp/ {nid 41QL}
+
** (after ~Sep-2013) - http://ontolog.cim3.net/file/work/OntoIOp/  
* Mailing list: [http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/ ontoiop-forum@ontolog.cim3.net] {nid 3C7N}
+
* Mailing list: [http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/ ontoiop-forum@ontolog.cim3.net]  
** message archive - http://ontolog.cim3.net/forum/ontoiop-forum/ {nid 41QM}
+
** message archive - http://ontolog.cim3.net/forum/ontoiop-forum/  
** general questions and discussion are also welcome on the [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] mailing list {nid 2Y8C}
+
** general questions and discussion are also welcome on the [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] mailing list  
  
 
{{{
 
{{{
  {nid 38K1}
+
   
 
}}}
 
}}}
  
=== Restricted to working group members {nid 38K2} ===
+
=== Restricted to working group members ===
  
* Mailing list: [http://interop.cim3.net/mailman/listinfo/ontoiop-wg ontoiop-wg@interop.cim3.net] {nid 2XS9}
+
* Mailing list: [http://interop.cim3.net/mailman/listinfo/ontoiop-wg ontoiop-wg@interop.cim3.net]  
** [http://interop.cim3.net/forum/ontoiop-wg/ Archives] {nid 2XSA}
+
** [http://interop.cim3.net/forum/ontoiop-wg/ Archives]  
* [http://interop.cim3.net/file/work/OntoIOp/ File repository] {nid 2XS5}
+
* [http://interop.cim3.net/file/work/OntoIOp/ File repository]  
** [http://community.cim3.net/cgi-bin/wiki.pl?FileWorkspaceAccess how to access] {nid 2XS6}
+
** [http://community.cim3.net/cgi-bin/wiki.pl?FileWorkspaceAccess how to access]  
  
== Applications {nid 38K3} ==
+
== Applications ==
  
=== COLORE (Common Logic Repository) {nid 38K4} ===
+
=== COLORE (Common Logic Repository) ===
  
[http://colore.googlecode.com 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. {nid 38K5}
+
[http://colore.googlecode.com 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 [http://www.dfki.de/cps/hets Hets (Heterogeneous Tool Set)]. {nid 38K6}
+
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 [http://www.dfki.de/cps/hets Hets (Heterogeneous Tool Set)].  
  
First mappings implemented in DOL can be found in the directories for [https://colore.googlecode.com/svn/trunk/ontologies/owltime/owltime_interval/mappings OWL Time intervals] and [https://colore.googlecode.com/svn/trunk/ontologies/periods/mappings Periods]. {nid 38K7}
+
First mappings implemented in DOL can be found in the directories for [https://colore.googlecode.com/svn/trunk/ontologies/owltime/owltime_interval/mappings OWL Time intervals] and [https://colore.googlecode.com/svn/trunk/ontologies/periods/mappings Periods].  
  
=== Ontohub, a DOL-enabled Ontology Repository Engine {nid 38K8} ===
+
=== Ontohub, a DOL-enabled Ontology Repository Engine ===
  
The Ontohub repository engine ([http://www.ontohub.org productive version], [http://develop.ontohub.org demo version with latest features], [http://github.com/ontohub/ontohub sources]) supports many notions of DOL as first-class citizens: {nid 38K9}
+
The Ontohub repository engine ([http://www.ontohub.org productive version], [http://develop.ontohub.org demo version with latest features], [http://github.com/ontohub/ontohub sources]) supports many notions of DOL as first-class citizens:  
  
* ontologies {nid 38KA}
+
* ontologies  
* logics (to be extended) {nid 38KB}
+
* logics (to be extended)  
* links (to be implemented) {nid 38KC}
+
* links (to be implemented)  
* logic translations (to be implemented) {nid 38KD}
+
* 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]. {nid 38KE}
+
[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) {nid 2XSD} ==
+
== Publications (newest first) ==
  
# ChristophLange, TillMossakowski, OliverKutz. [http://www.informatik.uni-bremen.de/~till/papers/womo2012.pdf LoLa: A Modular Ontology of Logics, Languages, and Translations]; accepted at [http://www.informatik.uni-bremen.de/~ts/womo2012/ 6th International Workshop on Modular Ontologies (WoMO)], Graz, Austria, 24 July 2012. {nid 3C7O}
+
# ChristophLange, TillMossakowski, OliverKutz. [http://www.informatik.uni-bremen.de/~till/papers/womo2012.pdf LoLa: A Modular Ontology of Logics, Languages, and Translations]; accepted at [http://www.informatik.uni-bremen.de/~ts/womo2012/ 6th International Workshop on Modular Ontologies (WoMO)], Graz, Austria, 24 July 2012.  
# TillMossakowski, OliverKutz, ChristophLange: [http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf Three Semantics for the Core of the Distributed Ontology Language]; in [http://kr-med.org/icbofois2012/fois.htm 7th International Conference on Formal Ontology in Information Systems (FOIS)], Graz, Austria, July 2012. {nid 38JX}
+
# TillMossakowski, OliverKutz, ChristophLange: [http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf Three Semantics for the Core of the Distributed Ontology Language]; in [http://kr-med.org/icbofois2012/fois.htm 7th International Conference on Formal Ontology in Information Systems (FOIS)], Graz, Austria, July 2012.  
# ChristophLange, OliverKutz, TillMossakowski, MichaelGruninger. [http://arxiv.org/abs/1204.5093 The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization]; in [http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=sysproj&menu=general Conference on Intelligent Computer Mathematics (CICM), Systems & Projects track], Bremen, Germany, July 2012. {nid 3AD2}
+
# ChristophLange, OliverKutz, TillMossakowski, MichaelGruninger. [http://arxiv.org/abs/1204.5093 The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization]; in [http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=sysproj&menu=general Conference on Intelligent Computer Mathematics (CICM), Systems & Projects track], Bremen, Germany, July 2012.  
# ChristophLange, TillMossakowski, OliverKutz, ChristianGalinski, MichaelGruninger, DanielCoutoVale.  [http://interop.cim3.net/file/pub/OntoIOp/Publications/TKE_2012/paper.pdf The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility]; in [http://www.oeg-upm.net/tke2012/ Terminology and Knowledge Engineering (TKE)], Madrid, Spain, June 2012.  [http://www.slideshare.net/langec/the-distributed-ontology-language-dol-use-cases-syntax-and-extensibility presentation slides] {nid 3AD3}
+
# ChristophLange, TillMossakowski, OliverKutz, ChristianGalinski, MichaelGruninger, DanielCoutoVale.  [http://interop.cim3.net/file/pub/OntoIOp/Publications/TKE_2012/paper.pdf The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility]; in [http://www.oeg-upm.net/tke2012/ Terminology and Knowledge Engineering (TKE)], Madrid, Spain, June 2012.  [http://www.slideshare.net/langec/the-distributed-ontology-language-dol-use-cases-syntax-and-extensibility presentation slides]  
# TillMossakowski, OliverKutz, ChristophLange.  [http://www.informatik.uni-bremen.de/~till/papers/DOL-abstract-WADT12.pdf Semantics of the Distributed Ontology Language: Institutes and Institutions]; in [http://maude.sip.ucm.es/wadt2012/ 21st International Workshop on Algebraic Development], Salamanca, Spain, June 7–10, 2012. {nid 3C7P}
+
# TillMossakowski, OliverKutz, ChristophLange.  [http://www.informatik.uni-bremen.de/~till/papers/DOL-abstract-WADT12.pdf Semantics of the Distributed Ontology Language: Institutes and Institutions]; in [http://maude.sip.ucm.es/wadt2012/ 21st International Workshop on Algebraic Development], Salamanca, Spain, June 7–10, 2012.  
# OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. [http://interop.cim3.net/file/pub/OntoIOp/Publications/AEGIS_2011/AEGIS_2011_v0-3.pdf Making Heterogeneous Ontologies Interoperable Through Standardisation – A Meta Ontology Language to be Standardised: Ontology Integration and Interoperability (OntoIOp)]; in [http://www.epr.eu/aegis/ Accessibility Reaching Everywhere, AEGIS Workshop and 2nd International Conference], Brussels, Belgium, November 2011. ([http://www.slideshare.net/langec/foo-10401967 presentation slides], [http://interop.cim3.net/file/pub/OntoIOp/Publications/AEGIS_2011/AEGIS_Poster.pdf poster]) {nid 2XSF}
+
# OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. [http://interop.cim3.net/file/pub/OntoIOp/Publications/AEGIS_2011/AEGIS_2011_v0-3.pdf Making Heterogeneous Ontologies Interoperable Through Standardisation – A Meta Ontology Language to be Standardised: Ontology Integration and Interoperability (OntoIOp)]; in [http://www.epr.eu/aegis/ Accessibility Reaching Everywhere, AEGIS Workshop and 2nd International Conference], Brussels, Belgium, November 2011. ([http://www.slideshare.net/langec/foo-10401967 presentation slides], [http://interop.cim3.net/file/pub/OntoIOp/Publications/AEGIS_2011/AEGIS_Poster.pdf poster])  
# OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. Towards a Standard for Heterogeneous Ontology Integration and Interoperability; in [http://swrc.kaist.ac.kr/isotc37wiki/index.php/LaRC2011 International Conference on Terminology, Language and Content Resources (LaRC)], Seoul, Korea, June 2011.  [http://ke.yu.ac.kr/LaRC11/Proceedings_LaRC.pdf Proceedings] (see from page 101) {nid 2XSE}
+
# OliverKutz, TillMossakowski, ChristianGalinski, ChristophLange. Towards a Standard for Heterogeneous Ontology Integration and Interoperability; in [http://swrc.kaist.ac.kr/isotc37wiki/index.php/LaRC2011 International Conference on Terminology, Language and Content Resources (LaRC)], Seoul, Korea, June 2011.  [http://ke.yu.ac.kr/LaRC11/Proceedings_LaRC.pdf Proceedings] (see from page 101)  
  
== The Team {nid 2XSG} ==
+
== The Team ==
  
The list of people on the OntoIOp working group: {nid 2XSH}
+
The list of people on the OntoIOp working group:  
  
# SueEllenWright (US) - ''(ISO/TC37/SC3 Chair)'' {nid 2XTD}
+
# SueEllenWright (US) - ''(ISO/TC37/SC3 Chair)''  
# GottfriedHerzog (DE) - ''(ISO/TC37/SC3 Secretary)'' {nid 2XT1}
+
# GottfriedHerzog (DE) - ''(ISO/TC37/SC3 Secretary)''  
# AndreasHoffmann (DE) ''(since 2013.07.17)'' {nid 3WGV}
+
# AndreasHoffmann (DE) ''(since 2013.07.17)''  
# AdrianPaschke (DE) ''(since 2013.07.17)'' {nid 3WGW}
+
# AdrianPaschke (DE) ''(since 2013.07.17)''  
# AlanMelby (US) {nid 2XSN}
+
# AlanMelby (US)  
# AntonioPareja (ES) {nid 2XSO}
+
# AntonioPareja (ES)  
# BodilNistrupMadsen (DK) {nid 2XSP}
+
# BodilNistrupMadsen (DK)  
# CarlaFreericks (DE) {nid 35E5}
+
# CarlaFreericks (DE)  
# CarmenChui (CA) {nid 3PI1}
+
# CarmenChui (CA)  
# CatherineProtic (FR) {nid 2XSQ}
+
# CatherineProtic (FR)  
# ChangqingZHOU (CN) {nid 2XSR}
+
# ChangqingZHOU (CN)  
# ChristianGalinski (AT) {nid 2XST}
+
# ChristianGalinski (AT)  
# ChristopheRoche (FR) {nid 2XSU}
+
# ChristopheRoche (FR)  
# ChristophLange (DE/UK) - ''(Assisting Project Leader)'' {nid 2XSI}
+
# ChristophLange (DE/UK) - ''(Assisting Project Leader)''  
# ConradBock (US) ''(since 2013.10.23)'' {nid 3ZX7}
+
# ConradBock (US) ''(since 2013.10.23)''  
# DanGillman (US) {nid 2XSV}
+
# DanGillman (US)  
# DavideSottara (US) ''(since 2013.07.17)'' {nid 3WGX}
+
# DavideSottara (US) ''(since 2013.07.17)''  
# DosamHwang (KR) {nid 2XTH}
+
# DosamHwang (KR)  
# DougLawrence (UK) {nid 3CG1}
+
# DougLawrence (UK)  
# EdmundSkoviak (US) ''(since 2013.07.17)'' {nid 3WGY}
+
# EdmundSkoviak (US) ''(since 2013.07.17)''  
# ElisaKendall (US) ''(since 2013.07.17)'' {nid 3WGZ}
+
# ElisaKendall (US) ''(since 2013.07.17)''  
# FabianNeuhaus (DE) ''(Co-Project Leader)'' {nid 2XSX}
+
# FabianNeuhaus (DE) ''(Co-Project Leader)''  
# FrankFarance (US) {nid 2XSY}
+
# FrankFarance (US)  
# GeraldRadack (US) {nid 2XT0}
+
# GeraldRadack (US)  
# GerhardBudin (AT) {{{(awaiting confirmation on registration as AT Expert)}}} {nid 2YSE}
+
# GerhardBudin (AT) {{  
# GuadalupeAguado (ES) {nid 2XT2}
+
# GuadalupeAguado (ES)  
# HanneErdmanThomsen (DK) {nid 2XT3}
+
# HanneErdmanThomsen (DK)  
# HaroldSolbrig (US) {nid 3XT4}
+
# HaroldSolbrig (US)  
# JeromeEuzenat (FR) {nid 2Y87}
+
# JeromeEuzenat (FR)  
# JohnBateman (DE) {nid 2XT5}
+
# JohnBateman (DE)  
# JohnSowa (US) {nid 2XT6}
+
# JohnSowa (US)  
# KiyongLee (KR) {nid 3QGU}
+
# KiyongLee (KR)  
# LaurettePretorius (ZA) {nid 2XT7}
+
# LaurettePretorius (ZA)  
# LeoObrst (US) {nid 2XT8}
+
# LeoObrst (US)  
# MariaKeet (ZA) {nid 2Y8A}
+
# MariaKeet (ZA)  
# MariaPozzi (MX) {nid 2XT9}
+
# MariaPozzi (MX)  
# MariCarmenSuarezFigueroa (ES) {nid 2XTA}
+
# MariCarmenSuarezFigueroa (ES)  
# MelanieMaradan (UEA-Esperanto) {nid 2ZPF}
+
# MelanieMaradan (UEA-Esperanto)  
# MichaelGruninger (CA) - ''(Co-Project Leader)'' {nid 2XSJ}
+
# MichaelGruninger (CA) - ''(Co-Project Leader)''  
# MichaelWagner (DE) ''(since 2013.07.17)'' {nid 3WH0}
+
# MichaelWagner (DE) ''(since 2013.07.17)''  
# MonteGeorge (US) {nid 2XSZ}
+
# MonteGeorge (US)  
# OliverKutz (DE) - ''(Co-Project Leader)'' {nid 2XSL}
+
# OliverKutz (DE) - ''(Co-Project Leader)''  
# PatHayes (US) {nid 2XTB}
+
# PatHayes (US)  
# PeterYim (US) {nid 2XSK}
+
# PeterYim (US)  
# PierreYvesSchobbens (BE) {{{(awaiting confirmation on registration as BE Expert)}}} {nid 3BZT}
+
# PierreYvesSchobbens (BE) {{  
# SebastianRudolph (DE) {nid 2Z86}
+
# SebastianRudolph (DE)  
# StefanoBorgo (IT) {nid 2XTC}
+
# StefanoBorgo (IT)  
# SylvieArbouy (FR) {nid 2XTE}
+
# SylvieArbouy (FR)  
# TaraAthan (US) ''(since 2013.08.16)'' {nid 3WH1}
+
# TaraAthan (US) ''(since 2013.08.16)''  
# TerryLongstreth (US) {nid 2XTF}
+
# TerryLongstreth (US)  
# TillMossakowski (DE) - ''(Project Leader)'' {nid 2XSM}
+
# TillMossakowski (DE) - ''(Project Leader)''  
# TommieMeyer (ZA) {nid 2Y8B}
+
# TommieMeyer (ZA)  
# YonghongCHENG (CN) {nid 2XTG}
+
# YonghongCHENG (CN)  
  
== History (may be incomplete) {nid 2XR0} ==
+
== History (may be incomplete) ==
  
* first working group meeting under the OMG "roof" - confcall n.38 17-Jul-2013 {nid 3VS7}
+
* first working group meeting under the OMG "roof" - confcall n.38 17-Jul-2013  
* official working group meeting on 25-Jun-2012 in Madrid, Spain {nid 38KF}
+
* official working group meeting on 25-Jun-2012 in Madrid, Spain  
* official working group meeting on 23-Feb-2012 in Berlin, Germany {nid 38KF}
+
* official working group meeting on 23-Feb-2012 in Berlin, Germany  
* '''[t 2K2U]''' {nid 2XQY}
+
* '''[t 2K2U]'''  
* this working group is meeting on 6-Oct-2011 in Berlin, Germany {nid 2XG7}
+
* 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.) {nid 2VTT}
+
* this new work item has been confirmed on 16-Jun-2011 at an ISO/TC37 meeting (in Seoul, ROK.)  
* mails introducing this initiative [http://ontolog.cim3.net/forum/ontolog-forum/2011-05/msg00034.html to the Ontolog community] and [http://philebus.tamu.edu/pipermail/cl/2011-May/thread.html#2260 to the Common Logic community] {nid 2VTV}
+
* mails introducing this initiative [http://ontolog.cim3.net/forum/ontolog-forum/2011-05/msg00034.html to the Ontolog community] and [http://philebus.tamu.edu/pipermail/cl/2011-May/thread.html#2260 to the Common Logic community]  
* [http://www.infoterm.info/activities/news/2011/2011_04_04.php Infoterm news item on OntoIOp (2011-04-04)] {nid 2XSC}
+
* [http://www.infoterm.info/activities/news/2011/2011_04_04.php Infoterm news item on OntoIOp (2011-04-04)]  
* [http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_03_25 early discussion of heterogeneous ontology approach and announcement of the first OntoIOp CEN standardisation proposal (Infoterm / EU OASIS IP / Bremen) in the context of the SIO initiative (2010-03-25)] {nid 49ZF}
+
* [http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_03_25 early discussion of heterogeneous ontology approach and announcement of the first OntoIOp CEN standardisation proposal (Infoterm / EU OASIS IP / Bremen) in the context of the SIO initiative (2010-03-25)]  
* first presentation (Bateman/Galinski) of the OntoIOp idea as an CEN/ISSS Workshop Proposal at the eBIF meeting in Bruxelles (2009-03-10) {nid 4DBR}
+
* first presentation (Bateman/Galinski) of the OntoIOp idea as an CEN/ISSS Workshop Proposal at the eBIF meeting in Bruxelles (2009-03-10)

Revision as of 16:42, 10 June 2015

[ ]

teroperability), an OMG Standard Development Initiative =     (1)

shortcut to this page: http://ontoiop.org     (2)

Ontology Integration and Interoperability (OntoIOp)     (3)

Contents

General Information     (4)

  • OntoIOp aims at a meta language for the specification, relation and modularisation of logical theories, with particular emphasis on (formal) ontologies, models and specifications     (4A)
  • A quick overview of OntoIOp's essential features (due to MichaelGruninger, 2011-10-06; rephrased by ChristophLange):     (4B)
    1. heterogeneity (within logical theories)     (4C1)
    2. modularity (of logical theories, including the reuse of existing logical theories)     (4C2)
    3. links (between logical theories)     (4C3)
    4. annotation (of logical theories and their parts)     (4C4)

Request for proposal (RFP)     (5)

The OMG RFP has been issued in December 2013. It can be found here.     (5A)

Answer to the RFP     (6)

The Distributed Ontology, Modeling and Specification Language (DOL) has just been submitted as an answer to the RFP and will be discussed on the December 2014 OMG meeting in Long Beach, California, USA.     (6A)

How can I contribute?     (7)

You can contribute in various ways:     (7A)

1:00am [+1] KST / 16:00 GMT/UTC. The next ones will be at December 15, January 4 .... They will be announced via the mailing list     (7D)

  • See [http:?OntoIOp#nid2XSD the publication list] for recent publications.     (8A)
  • See [http:?OntoIOp#nid2XR0 history section] for old news.     (8B)

Resources     (9)

Public     (9A)

Restricted to working group members     (9B)

Applications     (10)

COLORE (Common Logic Repository)     (10A)

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.     (10A1)

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).     (10A2)

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

Ontohub, a DOL-enabled Ontology Repository Engine     (10B)

The Ontohub repository engine (productive version, demo version with latest features, sources) supports many notions of DOL as first-class citizens:     (10B1)

[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].     (10B6)

Publications (newest first)     (11)

  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.     (11A)
  2. 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     (11D)
  3. 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)     (11G)

The Team     (12)

The list of people on the OntoIOp working group:     (12A)

  1. SueEllenWright (US) - (ISO/TC37/SC3 Chair)     (12B)
  2. GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary)     (12C)
  3. AndreasHoffmann (DE) (since 2013.07.17)     (12D)
  4. AdrianPaschke (DE) (since 2013.07.17)     (12E)
  5. AlanMelby (US)     (12F)
  6. AntonioPareja (ES)     (12G)
  7. BodilNistrupMadsen (DK)     (12H)
  8. CarlaFreericks (DE)     (12I)
  9. CarmenChui (CA)     (12J)
  10. CatherineProtic (FR)     (12K)
  11. ChangqingZHOU (CN)     (12L)
  12. ChristianGalinski (AT)     (12M)
  13. ChristopheRoche (FR)     (12N)
  14. ChristophLange (DE/UK) - (Assisting Project Leader)     (12O)
  15. ConradBock (US) (since 2013.10.23)     (12P)
  16. DanGillman (US)     (12Q)
  17. DavideSottara (US) (since 2013.07.17)     (12R)
  18. DosamHwang (KR)     (12S)
  19. DougLawrence (UK)     (12T)
  20. EdmundSkoviak (US) (since 2013.07.17)     (12U)
  21. ElisaKendall (US) (since 2013.07.17)     (12V)
  22. FabianNeuhaus (DE) (Co-Project Leader)     (12W)
  23. FrankFarance (US)     (12X)
  24. GeraldRadack (US)     (12Y)
  25. GerhardBudin (AT) {{     (12Z)
  26. GuadalupeAguado (ES)     (12AA)
  27. HanneErdmanThomsen (DK)     (12AB)
  28. HaroldSolbrig (US)     (12AC)
  29. JeromeEuzenat (FR)     (12AD)
  30. JohnBateman (DE)     (12AE)
  31. JohnSowa (US)     (12AF)
  32. KiyongLee (KR)     (12AG)
  33. LaurettePretorius (ZA)     (12AH)
  34. LeoObrst (US)     (12AI)
  35. MariaKeet (ZA)     (12AJ)
  36. MariaPozzi (MX)     (12AK)
  37. MariCarmenSuarezFigueroa (ES)     (12AL)
  38. MelanieMaradan (UEA-Esperanto)     (12AM)
  39. MichaelGruninger (CA) - (Co-Project Leader)     (12AN)
  40. MichaelWagner (DE) (since 2013.07.17)     (12AO)
  41. MonteGeorge (US)     (12AP)
  42. OliverKutz (DE) - (Co-Project Leader)     (12AQ)
  43. PatHayes (US)     (12AR)
  44. PeterYim (US)     (12AS)
  45. PierreYvesSchobbens (BE) {{     (12AT)
  46. SebastianRudolph (DE)     (12AU)
  47. StefanoBorgo (IT)     (12AV)
  48. SylvieArbouy (FR)     (12AW)
  49. TaraAthan (US) (since 2013.08.16)     (12AX)
  50. TerryLongstreth (US)     (12AY)
  51. TillMossakowski (DE) - (Project Leader)     (12AZ)
  52. TommieMeyer (ZA)     (12AAA)
  53. YonghongCHENG (CN)     (12AAB)

History (may be incomplete)     (13)