Natasha Alechina (Modal) Logics for Semistructed Data. 1999 conf/dlog/1999 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/alechina.ps db/conf/dlog/dlog1999.html#Alechina99