Skip to main content
Handling inheritance in a system integrating logic in objects.
Faculty Publications
  • Ioannis Hatzilygeroudis
  • Han Reichgelt
SelectedWorks Author Profiles:

Han Reichgelt

Document Type
Publication Date
Date Issued
January 1997
Date Available
July 2014
The inheritance mechanism of SILO, a system integrating a many-sorted logic within an object-based framework, is presented. In order to be adequate for knowledge representation, it comprises two components, a hardwired and a user-definable. Due to use of typed (sorted) terms, a variety of specialisation types between logical formulas (axioms) are introduced and defined. Thus, the hardwired component is able to represent a variety of inheritance/specialisation relations between objects. The notion of a conflict is defined and conflict detection theorems are introduced. Also, consequence retraction is introduced and used alongside attribute/predicate overriding to resolve conflicts. The user-definable component consists of a number of user definable functions, called meta-functions, which are able to implement both global and local inheritance control. It is based on a partial reflection meta-level architecture.
Citation only. Full-text article is available through licensed access provided by the publisher. Published in Data & Knowledge Engineering, 21, 253-280. doi: 10.1016/S0169-023X(96)00044-4. Members of the USF System may access the full-text of the article through the authenticated link provided.
Creative Commons License
Creative Commons Attribution-Noncommercial-No Derivative Works 4.0
Citation Information
Hatzilygeroudis, I. & Reichgelt, H. (1997). Handling inheritance in a system integrating logic in objects. Data & Knowledge Engineering, 21, 253-280. doi: 10.1016/S0169-023X(96)00044-4