@Inproceedings{fensel1998sodfksea, author = "Dieter Fensel and Frank van Harmelen and Pascal van Eck and Joeri Engelfriet and Yde Venema and Mark Willems", booktitle = "Transaction and Change in Logic Databases", issn = "0302-9743", publisher = "Springer-Verlag, Berlin", series = "Lecture Notes in Computer Science (LNCS)", title = "Specification of Dynamics for Knowledge-based Systems (extended abstract)", volume = "1472", year = "1998", }