Semantics of the Distributed Ontology Language: Institutes and Institutions
From MaRDI portal
Publication:2848885
DOI10.1007/978-3-642-37635-1_13zbMath1394.68379MaRDI 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
68T30: Knowledge representation
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
Related Items
Towards an Institutional Framework for Heterogeneous Formal Development in UML, Formal Modelling for Cooking Assistance, The Distributed Ontology, Modeling and Specification Language – DOL, CafeOBJ Traces, Unranked fuzzy logic and reasoning, Modularity of Ontologies in an Arbitrary Institution