Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design

by Oliver Kutz , Till Mossakowski , Dominik Lücke , To Joseph Goguen

Active Bibliography

1 Ontology Engineering-The DOGMA Approach – Mustafa Jarrar, Robert Meersman
IOS Press Institutionalising Ontology-Based Semantic Integration – Marco Schorlemmer A, Yannis Kalfoglou B
9 Conservativity in Structured Ontologies – Oliver Kutz, Till Mossakowski
4 The OWL in the CASL Designing Ontologies Across Logics – Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
Shapes of Alignments Construction, Combination, and Computation – Oliver Kutz, Till Mossakowski, Mihai Codescu
1 Shapes of Alignments Construction, Composition, and Computation – Mihai Codescu, Oliver Kutz, Till Mossakowski
2 Heterogeneously Structured Ontologies Integration, Connection, and Refinement – Oliver Kutz, Dominik Lücke, Till Mossakowski
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński , Grant Malcolm
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński A, Grant Malcolm A
10 Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering – Mustafa Jarrar - 2006
3 Towards a Standard for Heterogeneous Ontology Integration and Interoperability – Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange
1 Kind Theory – Joseph R. Kiniry - 2002
8 Formal versus Material Ontologies for information Systems interoperation – Robert M. Colomb, Robert M. Colomb, Robert M. Colomb - 2006
76 Data modelling versus Ontology engineering – Peter Spyns - 2002
ii ABSTRACT – Arash Shaban-nejad, Arash Shaban-nejad, A Framework, Analyzing Changes, Health Care Lexicons - 2010
3 Modules in Transition Conservativity, Composition, and Colimits – Oliver Kutz, Till Mossakowski
A Categorical Approach to Logics and Logic Homomorphisms – Robert Helgesson - 2007
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996