%0 Conference Paper %1 mossakowski2015distributed %A Mossakowski, Till %A Codescu, Mihai %A Neuhaus, Fabian %A Kutz, Oliver %B The Road to Universal Logic %D 2015 %E Koslow, A. %E Buchsbaum, A. %I Birkhäuser %K myown theo-ovgu %T The Distributed Ontology, Modeling, and Specification Language –- DOL %U http://link.springer.com/chapter/10.1007/978-3-319-15368-1_21 %V 2 %X There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and F-logic. Related languages such as UML class diagrams, entity-relationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Also in model-driven engineering, there is a diversity of diagrams: UML consists of 15 different diagram types, and SysML provides further types. Finally, in software and hardware specification, a variety of formalisms are in use, like Z, VDM, first-order logic, temporal logic etc. Another diversity appears at the level of ontology, model and specification modularity and relations among ontologies, specifications and models. There is ontology matching and alignment, module extraction, interpolation, ontologies linked by bridges, interpretation and refinement, and combination of ontologies, models and specifications. The Distributed Ontology, Modeling and Specification Language (DOL) aims at providing a unified metalanguage for handling this diversity. In particular, DOL provides constructs for - äs-is" use of ontologies, models and specifications (OMS) formulated in a specific ontology, modelling or specification language, - OMS formalised in heterogeneous logics, - modular OMS, - mappings between OMS, and - networks of OMS. This paper sketches the design of the DOL language. DOL has been submitted as a proposal within the OntoIOp (Ontology, Model, Specification Integration and Interoperability) standardisation activity of the Object Management Group (OMG).

@inproceedings{mossakowski2015distributed, abstract = { There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and F-logic. Related languages such as UML class diagrams, entity-relationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Also in model-driven engineering, there is a diversity of diagrams: UML consists of 15 different diagram types, and SysML provides further types. Finally, in software and hardware specification, a variety of formalisms are in use, like Z, VDM, first-order logic, temporal logic etc. Another diversity appears at the level of ontology, model and specification modularity and relations among ontologies, specifications and models. There is ontology matching and alignment, module extraction, interpolation, ontologies linked by bridges, interpretation and refinement, and combination of ontologies, models and specifications. The Distributed Ontology, Modeling and Specification Language (DOL) aims at providing a unified metalanguage for handling this diversity. In particular, DOL provides constructs for - "as-is" use of ontologies, models and specifications (OMS) formulated in a specific ontology, modelling or specification language, - OMS formalised in heterogeneous logics, - modular OMS, - mappings between OMS, and - networks of OMS. This paper sketches the design of the DOL language. DOL has been submitted as a proposal within the OntoIOp (Ontology, Model, Specification Integration and Interoperability) standardisation activity of the Object Management Group (OMG). }, added-at = {2016-08-29T12:37:33.000+0200}, author = {Mossakowski, Till and Codescu, Mihai and Neuhaus, Fabian and Kutz, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/27246c8977a381c1149bc77b9fe0d1b5f/tillmo}, booktitle = {The Road to Universal Logic}, editor = {Koslow, A. and Buchsbaum, A.}, interhash = {cd2f91c0611c97b332a14d78fe6f27f4}, intrahash = {7246c8977a381c1149bc77b9fe0d1b5f}, keywords = {myown theo-ovgu}, publisher = {Birkhäuser}, series = {Studies in Universal Logic}, timestamp = {2016-08-29T19:20:37.000+0200}, title = {The Distributed Ontology, Modeling, and Specification Language –- DOL}, url = {http://link.springer.com/chapter/10.1007/978-3-319-15368-1_21}, volume = 2, year = 2015 }