Deciding the logical difference problem for EL with role inclusions. - Daniel Pokrywczynski; Dirk Walther 003 (WoMO, 2008)

A query-based approach to ontologies using the theory of institutions. - Daniel Pokrywczynski (2010)

Towards a Functional Approach to Modular Ontologies Using Institutions. - Daniel Pokrywczynski; Grant Malcolm (Stud Logica, 2014)