Iluju Kiringa Specifying Event Logics for Active Databases. 2002 conf/dlog/2002 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-54/kiringa.ps db/conf/dlog/dlog2002.html#Kiringa02