IOS Press The OntoIOp Registry – a Dataset Supporting Ontology, Model and Specification

Abstract. OntoIOp is an initiative for developing a standard for Ontology, Model and Specification Integration and Inter-Operability within the OMG (Object Management Group). (We will henceforth abbreviate “Ontology, Model and Specification” as OMS.) The OntoIOp working group, formed in 2011 and affiliated with the OMG since 2013, comprises a few dozen in-ternational experts representing all major communities on research and application of ontologies, formal modeling and formal specification. The primary tangible output of the OntoIOp work will be DOL, the Distributed OMS Language, a meta-language that gives the combination of different OMS languages a formal semantics and enables writing OMS libraries consisting of modules written in multiple OMS languages, and of mappings between such modules. The standardization of DOL’s syntax and semantics is still in progress, there is already software that supports it, most prominently the Ontohub repository engine. While the DOL conformance of the most widely used standard OMS languages, particularly OWL, Common Logic and RDFS, and of their underlying logics and of translations between them, is being established in annexes to the standard, the DOL framework is designed to be extensible to any future OMS language. For this purpose, the standard provides for an open registry, to which the community can contribute descriptions of languages, logics and translations. In the interest of enabling interoperability, this registry is published as a linked open dataset. We present the initial population of the OntoIOp Registry, comprising 29 (sub)logics, 43 translations and 14 (sub)languages