From OntologPSMW

Jump to: navigation, search
[ ]


[[OntoIOp]] (Ontology Integration and Interoperability), the ISO 17347 Standard Development Initiative     (1)

shortcut to this page:     (1A)

ISO/TC37/SC3/WG3: ISO WD 17347 - Ontology Integration and Interoperability ([[OntoIOp]]) – Part 1: The Distributed Ontology Language (DOL)     (1B)

General Information     (1C)

    1. heterogeneity (within ontologies)     (1C3A)
    2. modularity (of ontologies, including the reuse of existing ontologies)     (1C3B)
    3. links (between ontologies)     (1C3C)
    4. annotation (of ontologies and their parts)     (1C3D)

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

Resources     (1E)

As usual with ISO standards, the working draft is not currently open access. However, related ISO standards, such as Common Logic, are open. We aim at obtaining the permission to make the OntoIOp standard open around summer 2012.     (1E1E)

Restricted to ISO working group members     (1E2)

Applications     (1F)

COLORE (Common Logic Repository)     (1F1)

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

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

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

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

The Ontohub repository engine (demo installation, sources) supports many notions of DOL as first-class citizens:     (1F2A)

[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].     (1F2F)

Publications (newest first)     (1G)

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

The Team     (1H)

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

History (may be incomplete)     (1I)