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
11 Formal Properties of Modularisation – Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
13 Logic-based ontology comparison and module extraction, with an application to DL-Lite – Roman Kontchakov , Frank Wolter , Michael Zakharyaschev - 2010
1 Deciding the logical difference problem for EL with role inclusions – Daniel Pokrywczynski, Dirk Walther
2 Forgetting for Knowledge Bases in DL-Lite – Zhe Wang, Kewen Wang, Rodney Topor , Jeff Z. Pan
ii ABSTRACT – Arash Shaban-nejad, Arash Shaban-nejad, A Framework, Analyzing Changes, Health Care Lexicons - 2010
4 Forgetting and uniform interpolation in extensions of the description logic – Boris Konev, Dirk Walther, Frank Wolter
25 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
9 Conservativity in Structured Ontologies – Oliver Kutz, Till Mossakowski
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
Borrowing Interpolation – Răzvan Diaconescu
The Logical Difference For FuzzyEL + Ontologies – Shasha Feng, Dantong Ouyang, Yonggang Zhang, Haiyan Che, Jie Liu
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
2 Mathematical logic for life science ontologies – Carsten Lutz, Frank Wolter - 2009
27 Can you tell the difference between DL-Lite ontologies – Roman Kontchakov, Frank Wolter, Michael Zakharyaschev - 2008
Advised by: – Viktoria Pammer, Prof Dr, Klaus Tochtermann, Prof Dr, Rudi Studer, Dr. Stefanie, N. Lindstaedt, Luciano Serafini Acknowledgements - 2010
Shapes of Alignments Construction, Combination, and Computation – Oliver Kutz, Till Mossakowski, Mihai Codescu