Knowledge representation and reasoning in a system integrating logic in objects

Most of the systems that integrate logic and objects (frames or classes) give pre-eminence to logic. This, however, results in a number of disadvantages. Basic aspects of knowledge representation and reasoning in SILO, a system integrating logic and objects that gives pre-eminence to objects, are presented. A SILO object comprises declarative facets, from frames, as well as methods and message passing, from classes. A kind of an (extended) first-order many-sorted logic is used to express object-internal knowledge. Message passing, alongside inheritance, plays a significant role in the reasoning process