Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

May 1983


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-83-15.


This thesis describes a description matcher for the KL-ONE knowledge representation language that is incremental and can perform partial matches. The matcher is incremental in that it can be suspended at any time, producing partial results, and later restarted. The matcher is partial in that it has a formalism for measuring the degree to which two descriptions match. Both features are supported by using four different scalar metrics for the degree of match of two descriptions: a lower bound, an upper bound, a base value, and a current estimate.



Date Posted: 25 October 2007