From OntologPSMW

(Difference between revisions)
Jump to: navigation, search
(copied from old wiki)
(typos)
Line 27: Line 27:
  
 
* 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/ {nid 41F3}
* come to our biweekly meetings: Monday  8:00am PST / 11:00 am EST / 5:00pm CET / 6:00pm SAST /
+
* 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}
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}
+
 
* 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}
 
* 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}
* become a supporter of OntoIOp (please write an email to Till Mossakowski, mossakow@iws.cs.uni-magdeburg.de) {nid 45AX}
+
* become a supporter of OntoIOp (please write an email to Till Mossakowski, till@iws.cs.uni-magdeburg.de) {nid 45AX}
 
* contribute to an answer to the RFP. One answer, DOL, is [https://github.com/tillmo/DOL coordinated here] {nid 43W3}
 
* contribute to an answer to the RFP. One answer, DOL, is [https://github.com/tillmo/DOL coordinated here] {nid 43W3}
  

Revision as of 16:41, 10 June 2015

[ ]

Contents

OntoIOp (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative {nid 2VTR}     (1)

shortcut to this page: http://ontoiop.org {nid 3C7Q}     (1A)

Ontology Integration and Interoperability (OntoIOp) {nid 2VTS}     (1B)

General Information {nid 2XSB}     (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 {nid 3YQB}     (1C1)
  • A quick overview of OntoIOp's essential features (due to MichaelGruninger, 2011-10-06; rephrased by ChristophLange): {nid 3239}     (1C2)
    1. heterogeneity (within logical theories) {nid 323A}     (1C3A)
    2. modularity (of logical theories, including the reuse of existing logical theories) {nid 323B}     (1C3B)
    3. links (between logical theories) {nid 323C}     (1C3C)
    4. annotation (of logical theories and their parts) {nid 3238}     (1C3D)

Request for proposal (RFP) {nid 409G}     (1D)

The OMG RFP has been issued in December 2013. It can be found here. {nid 409H}     (1D1)

Answer to the RFP {nid 409G}     (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. {nid 4EXC}     (1E1)

How can I contribute? {nid 41F1}     (1F)

You can contribute in various ways: {nid 41F2}     (1F1)

News {nid 2XQX}     (1G)

  • See [http:?OntoIOp#nid2XSD the publication list] for recent publications. {nid 3AD1}     (1G1)
  • See [http:?OntoIOp#nid2XR0 history section] for old news. {nid 2XQZ}     (1G2)

Resources {nid 2XS4}     (1H)

Public {nid 38JZ}     (1H1)

{nid 38K1}

Restricted to working group members {nid 38K2}     (1H2)

Applications {nid 38K3}     (1I)

COLORE (Common Logic Repository) {nid 38K4}     (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. {nid 38K5}     (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). {nid 38K6}     (1I1B)

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

Ontohub, a DOL-enabled Ontology Repository Engine {nid 38K8}     (1I2)

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

[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}     (1I2F)

Publications (newest first) {nid 2XSD}     (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. {nid 3C7O}     (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 {nid 3AD3}     (1J4)
  3. 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. {nid 3C7P}     (1J5)
  4. 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) {nid 2XSE}     (1J7)

The Team {nid 2XSG}     (1K)

The list of people on the OntoIOp working group: {nid 2XSH}     (1K1)

  1. SueEllenWright (US) - (ISO/TC37/SC3 Chair) {nid 2XTD}     (1K2)
  2. GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary) {nid 2XT1}     (1K3)
  3. AndreasHoffmann (DE) (since 2013.07.17) {nid 3WGV}     (1K4)
  4. AdrianPaschke (DE) (since 2013.07.17) {nid 3WGW}     (1K5)
  5. AlanMelby (US) {nid 2XSN}     (1K6)
  6. AntonioPareja (ES) {nid 2XSO}     (1K7)
  7. BodilNistrupMadsen (DK) {nid 2XSP}     (1K8)
  8. CarlaFreericks (DE) {nid 35E5}     (1K9)
  9. CarmenChui (CA) {nid 3PI1}     (1K10)
  10. CatherineProtic (FR) {nid 2XSQ}     (1K11)
  11. ChangqingZHOU (CN) {nid 2XSR}     (1K12)
  12. ChristianGalinski (AT) {nid 2XST}     (1K13)
  13. ChristopheRoche (FR) {nid 2XSU}     (1K14)
  14. ChristophLange (DE/UK) - (Assisting Project Leader) {nid 2XSI}     (1K15)
  15. ConradBock (US) (since 2013.10.23) {nid 3ZX7}     (1K16)
  16. DanGillman (US) {nid 2XSV}     (1K17)
  17. DavideSottara (US) (since 2013.07.17) {nid 3WGX}     (1K18)
  18. DosamHwang (KR) {nid 2XTH}     (1K19)
  19. DougLawrence (UK) {nid 3CG1}     (1K20)
  20. EdmundSkoviak (US) (since 2013.07.17) {nid 3WGY}     (1K21)
  21. ElisaKendall (US) (since 2013.07.17) {nid 3WGZ}     (1K22)
  22. FabianNeuhaus (DE) (Co-Project Leader) {nid 2XSX}     (1K23)
  23. FrankFarance (US) {nid 2XSY}     (1K24)
  24. GeraldRadack (US) {nid 2XT0}     (1K25)
  25. GerhardBudin (AT) {{{(awaiting confirmation on registration as AT Expert)}}} {nid 2YSE}     (1K26)
  26. GuadalupeAguado (ES) {nid 2XT2}     (1K27)
  27. HanneErdmanThomsen (DK) {nid 2XT3}     (1K28)
  28. HaroldSolbrig (US) {nid 3XT4}     (1K29)
  29. JeromeEuzenat (FR) {nid 2Y87}     (1K30)
  30. JohnBateman (DE) {nid 2XT5}     (1K31)
  31. JohnSowa (US) {nid 2XT6}     (1K32)
  32. KiyongLee (KR) {nid 3QGU}     (1K33)
  33. LaurettePretorius (ZA) {nid 2XT7}     (1K34)
  34. LeoObrst (US) {nid 2XT8}     (1K35)
  35. MariaKeet (ZA) {nid 2Y8A}     (1K36)
  36. MariaPozzi (MX) {nid 2XT9}     (1K37)
  37. MariCarmenSuarezFigueroa (ES) {nid 2XTA}     (1K38)
  38. MelanieMaradan (UEA-Esperanto) {nid 2ZPF}     (1K39)
  39. MichaelGruninger (CA) - (Co-Project Leader) {nid 2XSJ}     (1K40)
  40. MichaelWagner (DE) (since 2013.07.17) {nid 3WH0}     (1K41)
  41. MonteGeorge (US) {nid 2XSZ}     (1K42)
  42. OliverKutz (DE) - (Co-Project Leader) {nid 2XSL}     (1K43)
  43. PatHayes (US) {nid 2XTB}     (1K44)
  44. PeterYim (US) {nid 2XSK}     (1K45)
  45. PierreYvesSchobbens (BE) {{{(awaiting confirmation on registration as BE Expert)}}} {nid 3BZT}     (1K46)
  46. SebastianRudolph (DE) {nid 2Z86}     (1K47)
  47. StefanoBorgo (IT) {nid 2XTC}     (1K48)
  48. SylvieArbouy (FR) {nid 2XTE}     (1K49)
  49. TaraAthan (US) (since 2013.08.16) {nid 3WH1}     (1K50)
  50. TerryLongstreth (US) {nid 2XTF}     (1K51)
  51. TillMossakowski (DE) - (Project Leader) {nid 2XSM}     (1K52)
  52. TommieMeyer (ZA) {nid 2Y8B}     (1K53)
  53. YonghongCHENG (CN) {nid 2XTG}     (1K54)

History (may be incomplete) {nid 2XR0}     (1L)