Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. - Thorsten Liebig; Stephan Scheele; Julian Lambertz (Description Logics, 2007)

Living semantic platform. - Willy Chen; Julian Lambertz (SEMANTiCS, 2015)