From OntologPSMW

Revision as of 16:51, 10 June 2015 by TillMossakowski (Talk | contribs)

Jump to: navigation, search
[ ]


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

shortcut to this page:     (1A)

Ontology Integration and Interoperability (OntoIOp)     (1B)

General Information     (1C)

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

Request for proposal (RFP)     (1D)

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

Answer to the RFP     (1E)

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.     (1E1)

How can I contribute?     (1F)

You can contribute in various ways:     (1F1)

Resources     (1H)

Restricted to working group members     (1H2)

Applications     (1I)

COLORE (Common Logic Repository)     (1I1)

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.     (1I1A)

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).     (1I1B)

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

Ontohub, a DOL-enabled Ontology Repository Engine     (1I2)

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

Publications (newest first)     (1J)

  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.     (1J1)
  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     (1J4)
  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)     (1J7)

The Team     (1K)

The list of people on the OntoIOp working group:     (1K1)

  1. SueEllenWright (US) - (ISO/TC37/SC3 Chair)     (1K2)
  2. GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary)     (1K3)
  3. AndreasHoffmann (DE) (since 2013.07.17)     (1K4)
  4. AdrianPaschke (DE) (since 2013.07.17)     (1K5)
  5. AlanMelby (US)     (1K6)
  6. AntonioPareja (ES)     (1K7)
  7. BodilNistrupMadsen (DK)     (1K8)
  8. CarlaFreericks (DE)     (1K9)
  9. CarmenChui (CA)     (1K10)
  10. CatherineProtic (FR)     (1K11)
  11. ChangqingZHOU (CN)     (1K12)
  12. ChristianGalinski (AT)     (1K13)
  13. ChristopheRoche (FR)     (1K14)
  14. ChristophLange (DE/UK) - (Assisting Project Leader)     (1K15)
  15. ConradBock (US) (since 2013.10.23)     (1K16)
  16. DanGillman (US)     (1K17)
  17. DavideSottara (US) (since 2013.07.17)     (1K18)
  18. DosamHwang (KR)     (1K19)
  19. DougLawrence (UK)     (1K20)
  20. EdmundSkoviak (US) (since 2013.07.17)     (1K21)
  21. ElisaKendall (US) (since 2013.07.17)     (1K22)
  22. FabianNeuhaus (DE) (Co-Project Leader)     (1K23)
  23. FrankFarance (US)     (1K24)
  24. GeraldRadack (US)     (1K25)
  25. GerhardBudin (AT) {{     (1K26)
  26. GuadalupeAguado (ES)     (1K27)
  27. HanneErdmanThomsen (DK)     (1K28)
  28. HaroldSolbrig (US)     (1K29)
  29. JeromeEuzenat (FR)     (1K30)
  30. JohnBateman (DE)     (1K31)
  31. JohnSowa (US)     (1K32)
  32. KiyongLee (KR)     (1K33)
  33. LaurettePretorius (ZA)     (1K34)
  34. LeoObrst (US)     (1K35)
  35. MariaKeet (ZA)     (1K36)
  36. MariaPozzi (MX)     (1K37)
  37. MariCarmenSuarezFigueroa (ES)     (1K38)
  38. MelanieMaradan (UEA-Esperanto)     (1K39)
  39. MichaelGruninger (CA) - (Co-Project Leader)     (1K40)
  40. MichaelWagner (DE) (since 2013.07.17)     (1K41)
  41. MonteGeorge (US)     (1K42)
  42. OliverKutz (DE) - (Co-Project Leader)     (1K43)
  43. PatHayes (US)     (1K44)
  44. PeterYim (US)     (1K45)
  45. PierreYvesSchobbens (BE) {{     (1K46)
  46. SebastianRudolph (DE)     (1K47)
  47. StefanoBorgo (IT)     (1K48)
  48. SylvieArbouy (FR)     (1K49)
  49. TaraAthan (US) (since 2013.08.16)     (1K50)
  50. TerryLongstreth (US)     (1K51)
  51. TillMossakowski (DE) - (Project Leader)     (1K52)
  52. TommieMeyer (ZA)     (1K53)
  53. YonghongCHENG (CN)     (1K54)

History (may be incomplete)     (1L)