Runtime Verification Using a Temporal Description Logic Revisited

From International Center for Computational Logic