Francis Gasse

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Francis Gasse, Viorica Sofronie-Stokkermans
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. Description Logics (2011)
Francis Gasse, Ulrike Sattler, Volker Haarslev
Rewriting Rules into SROIQ Axioms. Description Logics (2008)
Francis Gasse, Volker Haarslev
DLRule: A Rule Editor plug-in for Protege. OWLED (Spring) (2008)