Semantic Web Languages -- Towards an Institutional Perspective (2006)

Cached

Download Links

by Dorel Lucanu , Yuan Fang Li , Jin Song Dong
Citations:3 - 0 self

Active Bibliography

Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design – Oliver Kutz, Till Mossakowski, Dominik Lücke, To Joseph Goguen
2 Heterogeneously Structured Ontologies Integration, Connection, and Refinement – Oliver Kutz, Dominik Lücke, Till Mossakowski
Heterogeneous Logical Environments for . . . – Till Mossakowski, Andrzej Tarlecki
Borrowing Interpolation – Răzvan Diaconescu
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński A, Grant Malcolm A
Shapes of Alignments Construction, Combination, and Computation – Oliver Kutz, Till Mossakowski, Mihai Codescu
2 Behavioral extensions of institutions – Andrei Popescu - 2005
1 Shapes of Alignments Construction, Composition, and Computation – Mihai Codescu, Oliver Kutz, Till Mossakowski
3 Modules in Transition Conservativity, Composition, and Colimits – Oliver Kutz, Till Mossakowski
Complex software systems: Formalization and Applications ∗ – Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki, École Centrale Paris - 2013
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
4 The OWL in the CASL Designing Ontologies Across Logics – Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
Integrating Maude into Hets – Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński , Grant Malcolm
unknown title – unknown authors - 2013
Institutional semantics for many-valued logics – Răzvan Diaconescu
c ○ 2009 Birkhäuser Verlag Basel/Switzerland What is a Logic Translation? In memoriam – Joseph Goguen, Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu