SILO:Integrating Logic in Objects for Knowledge Representation and Reasoning Technical Report CTI 95.09.31 - Χατζηλυγερούδης, Ι. (Computer Technology Institute, 1995)