Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "The distributed ontology, modeling and specification language - recent developments"

by Till Mossakowski

Wed, 03 September 2014 at 10:30 am in Sinaia, Romania

Joint work with: Oliver Kutz, Christoph Lange, Mihai Codescu

Abstract: There is a diversity of ontology languages in use, among them OWL, RDF, OBO,Common Logic, and F-logic. Modeling languages such as UML, entity-relationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Also in specification (for formal software and hardware development), a variety of languages is used, e.g. VDM, Z, B, CASL, various temporal logics, higher-order logics etc. Let us abbreviate ontologies, specifications and models as OSMs. Another diversity appears at the level of OSM modularity and relations among OSMs. There is OSM matching and alignment, module extraction, interpolation, OSM linked by bridges, interpretation and refinement, and combination of OSMs. The Distributed Ontology, Modelling and Specification Language (DOL) aims at providing a unified meta language for handling this diversity. In particular, DOL provides constructs for "as-is" use of OSMs formulated in a specific logical language, OSMs formalised in heterogeneous logics, modular OSMs, and links between OSMs. This work sketches the design of the DOL language and its institution-independent semantics. DOL will be submitted as a proposal within the (Ontology, Specificationa and Modeling Integration and Interoperability, see http://www.ontoiop.org) standardisation activity of the Object Management Group (OMG). A correspondingrequest for proposals has been issued by the OMG in December 2013, available at http://www.omg.org/cgi-bin/doc?ad/2013-12-02 In this talk, we present some recent developments about hiding, alignments, combinations and queries.