Semantics of the Distributed Ontology Language: Institutes and Institutions

DOI10.1007/978-3-642-37635-1_13zbMath1394.68379OpenAlexW1600511090MaRDI QIDQ2848885

Christoph Lange, Oliver Kutz, Till Mossakowski

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_13

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (6)

Modularity of Ontologies in an Arbitrary Institution ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ CafeOBJ Traces ⋮ Unranked fuzzy logic and reasoning ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ Formal Modelling for Cooking Assistance

This page was built for publication: Semantics of the Distributed Ontology Language: Institutes and Institutions