Towards a Functional Approach to Modular Ontologies using Institutions

by Daniel Pokrywczyński , Grant Malcolm

Active Bibliography

Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński A, Grant Malcolm A
6 Formal Properties of Modularisation – Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
4 Logic-based ontology comparison and module extraction, with an application to DL-Lite – Roman Kontchakov , Frank Wolter , Michael Zakharyaschev - 2010
Deciding the logical difference problem for EL with role inclusions – Daniel Pokrywczynski, Dirk Walther
1 Shapes of Alignments Construction, Composition, and Computation – Mihai Codescu, Oliver Kutz, Till Mossakowski
Shapes of Alignments Construction, Combination, and Computation – Oliver Kutz, Till Mossakowski, Mihai Codescu
2 Forgetting and uniform interpolation in extensions of the description logic – Boris Konev, Dirk Walther, Frank Wolter
17 Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies – Boris Konev, Dirk Walther, Frank Wolter
2 CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL – Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter, Tu Dresden
7 Logical Difference and Module Extraction with CEX and MEX – Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter, Tu Dresden
3 Modules in Transition Conservativity, Composition, and Colimits – Oliver Kutz, Till Mossakowski
7 Conservativity in Structured Ontologies – Oliver Kutz, Till Mossakowski
The Logical Difference For FuzzyEL + Ontologies – Shasha Feng, Dantong Ouyang, Yonggang Zhang, Haiyan Che, Jie Liu
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
Borrowing Interpolation – Răzvan Diaconescu
1 Mathematical logic for life science ontologies – Carsten Lutz, Frank Wolter - 2009
1 The OWL in the CASL Designing Ontologies Across Logics – Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
22 Can you tell the difference between DL-Lite ontologies – Roman Kontchakov, Frank Wolter, Michael Zakharyaschev - 2008
2 Heterogeneously Structured Ontologies Integration, Connection, and Refinement – Oliver Kutz, Dominik Lücke, Till Mossakowski