Carsten Lutz Ulrike Sattler Frank Wolter Description Logics and the Two-Variable Fragment. 2001 conf/dlog/2001 Description Logics http://CEUR-WS.org/Vol-49/LutzSattlerWolter-66start.ps db/conf/dlog/dlog2001.html#LutzSW01