Key points are not available for this paper at this time.
Krypton clearly distinguishes between definitional and factual information by using both frame-based and logic-based languages.
Brachman et al. (Sat,) studied this question.