From OntologPSMW
Revision as of 04:04, 27 September 2016 by TillMossakowski (Talk | contribs)
Contents
|
OntoIOp (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative     (1)
Ontology Integration and Interoperability (OntoIOp)
    (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     (1D1)
- A quick overview of OntoIOp's essential features (due to Michael Grüninger, 2011-10-06; rephrased by ChristophLange):     (1D2)
- heterogeneity (within logical theories)     (1D3)
- modularity (of logical theories, including the reuse of existing logical theories)     (1D4)
- mappings (between logical theories)     (1D5)
- annotation (of logical theories and their parts)     (1D6)
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).
    (1F1)
You can contribute in various ways:
    (1G1)
- subscribe to the mailing list: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/     (1G2)
- come to our virtual meetings. They are announced via the mailing list     (1G3)
- become a supporter of OntoIOp (please write an email to Till Mossakowski, mossakow@iws.cs.uni-magdeburg.de)     (1G4)
- DOL - preparation of an answer to the RFP (write access granted by Till Mossakowski on request)     (1I1B)
- OntoIOp registry (machine-processable descriptions of ontology languages, logics, translations, etc.):     (1I1C)
- try e.g. http://purl.net/dol/logics/SROIQ for the SROIQ logic underlying OWL 2 DL     (1I1C1)
- There are nicer web frontends for browsing such linked open datasets, e.g. URIburner     (1I1C2)
- Subpages of this page (comments, brainstorming, further pointers, etc.): standardization issues     (1I1D)
- File repository (public part): example ontologies, publications, free material related to the working draft     (1I1E)
- general questions and discussion are also welcome on the ontolog-forum mailing list     (1I1F2)
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.
    (1J1A)
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).
    (1J1B)
First mappings implemented in DOL can be found in the directories for OWL Time intervals and Periods.
    (1J1C)
The Ontohub repository engine (productive version, demo version with latest features, sources) supports many notions of DOL as first-class citizens:
    (1J2A)
- ontologies     (1J2B)
- logics (to be extended)     (1J2C)
- links (to be implemented)     (1J2D)
- logic translations (to be implemented)     (1J2E)
- 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.     (1K1)
- 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.     (1K3)
- 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     (1K4)
- 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.     (1K5)
- 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, poster)     (1K6)
- 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)     (1K7)
The list of people on the OntoIOp working group:
    (1L1)
- GottfriedHerzog (DE) - (ISO/TC37/SC3 Secretary)     (1L3)
- AndreasHoffmann (DE) (since 2013.07.17)     (1L4)
- AlanMelby (US)     (1L6)
- AntonioPareja (ES)     (1L7)
- BodilNistrupMadsen (DK)     (1L8)
- CarlaFreericks (DE)     (1L9)
- CatherineProtic (FR)     (1L11)
- ChangqingZHOU (CN)     (1L12)
- ChristopheRoche (FR)     (1L14)
- DanGillman (US)     (1L17)
- DougLawrence (UK)     (1L20)
- EdmundSkoviak (US) (since 2013.07.17)     (1L21)
- FrankFarance (US)     (1L24)
- GerhardBudin (AT) {{     (1L26)
- GuadalupeAguado (ES)     (1L27)
- HanneErdmanThomsen (DK)     (1L28)
- MariaPozzi (MX)     (1L37)
- MelanieMaradan (UEA-Esperanto)     (1L39)
- MichaelWagner (DE) (since 2013.07.17)     (1L41)
- MonteGeorge (US)     (1L42)
- SebastianRudolph (DE)     (1L47)
- SylvieArbouy (FR)     (1L49)
- YonghongCHENG (CN)     (1L54)
- first working group meeting under the OMG "roof" - confcall n.38 17-Jul-2013     (1M1)
- official working group meeting on 25-Jun-2012 in Madrid, Spain     (1M2)
- official working group meeting on 23-Feb-2012 in Berlin, Germany     (1M3)
- [t 2K2U]     (1M4)
- this working group is meeting on 6-Oct-2011 in Berlin, Germany     (1M5)
- this new work item has been confirmed on 16-Jun-2011 at an ISO/TC37 meeting (in Seoul, ROK.)     (1M6)
- mails introducing this initiative to the Ontolog community and to the Common Logic community     (1M7)
- first presentation (Bateman/Galinski) of the OntoIOp idea as an CEN/ISSS Workshop Proposal at the eBIF meeting in Bruxelles (2009-03-10)     (1M10)