Theofilos P. Mailis, Giorgos Stoilos, Nikos Simou, Giorgos B. Stamou: Tractable Reasoning Based on the Fuzzy EL++ Algorithm. URSW 2008