Rewriting Rules into SROIQ Axioms. - Francis Gasse; Ulrike Sattler; Volker Haarslev (Description Logics, 2008)

DLRule: A Rule Editor plug-in for Protege. - Francis Gasse; Volker Haarslev (OWLED (Spring), 2008)

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. - Francis Gasse; Viorica Sofronie-Stokkermans (Description Logics, 2011)