Actions

OntoIOp: Difference between revisions

Ontolog Forum

imported>TillMossakowski
(DOL link)
 
No edit summary
 
Line 27: Line 27:
You can contribute in various ways:  
You can contribute in various ways:  


* subscribe to the mailing list: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
* Become a supporter of [[OntoIOp]] (please write an email to Till Mossakowski, mossakow@iws.cs.uni-magdeburg.de).
* come to our virtual meetings. They are announced via the mailing list
* [https://github.com/tillmo/DOL read and comment on the DOL standard].
* become a supporter of [[OntoIOp]] (please write an email to Till Mossakowski, mossakow@iws.cs.uni-magdeburg.de)  
* [https://github.com/tillmo/DOL read and comment the DOL standard]


== News  ==
== News  ==


* See [http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp#nid2XSD the publication list] for recent publications.  
* See [https://ontologforum.com/index.php/OntoIOp#Publications_(newest_first) the publication list].
* See [http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp#nid2XR0 history section] for old news.
* See [https://ontologforum.com/index.php/OntoIOp#History_(may_be_incomplete) history section].


== Resources  ==
== Resources  ==
Line 47: Line 45:
** try e.g. http://purl.net/dol/logics/SROIQ for the SROIQ logic underlying OWL 2 DL  
** 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]  
** 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://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp/StandardizationIssues standardization issues]  
* Subpages of this page (comments, brainstorming, further pointers, etc.): [[OntoIOp/StandardizationIssues|Standardization Issues]]
* File repository (public part): example ontologies, publications, free material related to the working draft
* General questions and discussion are also welcome on the Ontolog Forum.
** (before Sep-2013) - http://interop.cim3.net/file/pub/OntoIOp/
** (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]  
** 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
 
=== Restricted to working group members  ===
 
* Mailing list: [http://interop.cim3.net/mailman/listinfo/ontoiop-wg ontoiop-wg@interop.cim3.net]
** [http://interop.cim3.net/forum/ontoiop-wg/ Archives]
* [http://interop.cim3.net/file/work/OntoIOp/ File repository]
** [http://community.cim3.net/cgi-bin/wiki.pl?FileWorkspaceAccess how to access]


== Applications  ==
== Applications  ==
Line 81: Line 67:
* logic translations (to be implemented)  
* logic translations (to be implemented)  


[http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_03_27 This presentation] introduces Ontohub with [http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2012_03_27#nid383G a slide show and a demo video].
[[OOR/ConferenceCall_2012_03_27|This presentation] introduces Ontohub with a slide show and a demo video.


== Publications (newest first)  ==
== Publications (newest first)  ==


# [[ChristophLange|Christoph Lange]], [[TillMossakowski|Till Mossakowski]], 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.  
# [[ChristophLange|Christoph Lange]], [[TillMossakowski|Till Mossakowski]], 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|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], [[ChristophLange|Christoph Lange]]: [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.  
# [[TillMossakowski|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], [[ChristophLange|Christoph Lange]]: 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|Christoph Lange]], [[OliverKutz|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], 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|Christoph Lange]], [[OliverKutz|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], 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|Christoph Lange]], [[TillMossakowski|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], [[ChristianGalinski|Christian Galinski]], [[MichaelGruninger|Michael Grüninger]], 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]  
# [[ChristophLange|Christoph Lange]], [[TillMossakowski|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], [[ChristianGalinski|Christian Galinski]], [[MichaelGruninger|Michael Grüninger]], DanielCoutoVale.  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|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], 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.  
# [[TillMossakowski|Till Mossakowski]], [[OliverKutz|Oliver Kutz]], 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|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], [[ChristianGalinski|Christian Galinski]], 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|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], [[ChristianGalinski|Christian Galinski]], ChristophLange. 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])  
# [[OliverKutz|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], [[ChristianGalinski|Christian Galinski]], 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)  
# [[OliverKutz|Oliver Kutz]], [[TillMossakowski|Till Mossakowski]], [[ChristianGalinski|Christian Galinski]], 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)  


Line 159: Line 145:
* this working group is meeting on 6-Oct-2011 in Berlin, Germany  
* 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.)  
* 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]  
* the mail introducing this initiative is at [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)]  
* [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)]  
* [[ConferenceCall_2010_03_25]] is an 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)
* first presentation (Bateman/Galinski) of the [[OntoIOp]] idea as an CEN/ISSS Workshop Proposal at the eBIF meeting in Bruxelles (2009-03-10)

Latest revision as of 19:23, 2 September 2024

OntoIOp (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative

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

This page is now outdated. See the DOL page at http://dol-omg.org

Ontology Integration and Interoperability (OntoIOp)

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
  • A quick overview of OntoIOp's essential features (due to Michael Grüninger, 2011-10-06; rephrased by ChristophLange):
  1. heterogeneity (within logical theories)
  2. modularity (of logical theories, including the reuse of existing logical theories)
  3. mappings (between logical theories)
  4. annotation (of logical theories and their parts)

Request for proposal (RFP)

The OMG RFP has been issued in December 2013. It can be found here.

Answer to the RFP and finalization

The Distributed Ontology, Modeling and Specification Language (DOL) has been submitted as an answer to the RFP in December 2014. It has been approved in December 2015. Currently, DOL is being finalized by the Finalization Task Force (FTF).

How can I contribute?

You can contribute in various ways:

News

Resources

Public

Applications

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 (productive version, demo version with latest features, sources) supports many notions of DOL as first-class citizens:

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

[[OOR/ConferenceCall_2012_03_27|This presentation] introduces Ontohub with a slide show and a demo video.

Publications (newest first)

  1. Christoph Lange, Till Mossakowski, 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. Till Mossakowski, Oliver Kutz, Christoph Lange: 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. Christoph Lange, Oliver Kutz, Till Mossakowski, 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. Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, DanielCoutoVale. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility in Terminology and Knowledge Engineering (TKE), Madrid, Spain, June 2012. presentation slides
  5. Till Mossakowski, Oliver Kutz, ChristophLange. Semantics of the Distributed Ontology Language: Institutes and Institutions; in 21st International Workshop on Algebraic Development, Salamanca, Spain, June 7-10, 2012.
  6. Oliver Kutz, Till Mossakowski, Christian Galinski, 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)
  7. Oliver Kutz, Till Mossakowski, Christian Galinski, 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:

  1. Sue Ellen Wright (US) - (ISO/TC37/SC3 Chair)
  2. GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary)
  3. AndreasHoffmann (DE) (since 2013.07.17)
  4. Adrian Paschke (DE) (since 2013.07.17)
  5. AlanMelby (US)
  6. AntonioPareja (ES)
  7. BodilNistrupMadsen (DK)
  8. CarlaFreericks (DE)
  9. Carmen Chui (CA)
  10. CatherineProtic (FR)
  11. ChangqingZHOU (CN)
  12. Christian Galinski (AT)
  13. ChristopheRoche (FR)
  14. Christoph Lange (DE/UK) - (Assisting Project Leader)
  15. Conrad Bock (US) (since 2013.10.23)
  16. DanGillman (US)
  17. Davide Sottara (US) (since 2013.07.17)
  18. Dosam Hwang (KR)
  19. DougLawrence (UK)
  20. EdmundSkoviak (US) (since 2013.07.17)
  21. Elisa Kendall (US) (since 2013.07.17)
  22. Fabian Neuhaus (DE) (Co-Project Leader)
  23. FrankFarance (US)
  24. Gerald Radack (US)
  25. GerhardBudin (AT) {{
  26. GuadalupeAguado (ES)
  27. HanneErdmanThomsen (DK)
  28. Harold Solbrig (US)
  29. Jerome Euzenat (FR)
  30. John Bateman (DE)
  31. John F. Sowa (US)
  32. Kiyong Lee (KR)
  33. Laurette Pretorius (ZA)
  34. Leo Obrst (US)
  35. Maria Keet (ZA)
  36. MariaPozzi (MX)
  37. Mari Carmen Suarez Figueroa (ES)
  38. MelanieMaradan (UEA-Esperanto)
  39. Michael Grüninger (CA) - (Co-Project Leader)
  40. MichaelWagner (DE) (since 2013.07.17)
  41. MonteGeorge (US)
  42. Oliver Kutz (DE) - (Co-Project Leader)
  43. Pat Hayes (US)
  44. Peter P. Yim (US)
  45. Pierre Yves Schobbens (BE) {{
  46. SebastianRudolph (DE)
  47. Stefano Borgo (IT)
  48. SylvieArbouy (FR)
  49. Tara Athan (US) (since 2013.08.16)
  50. Terry Longstreth (US)
  51. Till Mossakowski (DE) - (Project Leader)
  52. Tommie Meyer (ZA)
  53. YonghongCHENG (CN)

History (may be incomplete)

  • 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
  • official working group meeting on 23-Feb-2012 in Berlin, Germany
  • [t 2K2U]
  • 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.)
  • the mail introducing this initiative is at to the Common Logic community
  • Infoterm news item on OntoIOp (2011-04-04)
  • ConferenceCall_2010_03_25 is an 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)