Implementing Telos
Bryan M. Kramer, Vinay K. Chaudhri, Manolis Koubarakis, Thodoros Topaloglou, Huaiqing Wang, John Mylopoulos · ACM SIGART Bulletin · 1991
This paper describes experiences in implementing Telos [MBJK90, TK89], a knowledge representation scheme developed at the University of Toronto. In a nutshell, Telos is a hybrid of an object-centered representation for representing entities, a logic-based language for representing deductive rules and integrity constraints, and an interval-based language for representing time. The language is unique for its tight integration of temporal knowledge and for its meta-level capabilities which include a class/metaclass hierarchy and a reflective inference engine.