The last point may be seen better if we look at some differences between our system and KRYPTON , which also distinguishes between an object theory and background knowledge ( cfXXX Brachman et al. 1985 ) .
krypton a functional approach to knowledge representationquot
R J Brachman R E Fikes H J Levesque
Rather , R must be treated as a separate logical level for these syntactic reasons , and because of its function -- being a pool of possibly conflicting semantic constraints . The last point may be seen better if we look at some differences between our system and KRYPTON , which also distinguishes between an object theory and background knowledge ( cfXXX Brachman et al. 1985 ) . KRYPTON 's A-box , encoding the object theory as a set of assertions , uses standard first order logic ; the T-box contains information expressed in a frame-based language equivalent to a fragment of FOL .
The last point may be seen better if we look at some differences between our system and KRYPTON , which also distinguishes between an object theory and background knowledge ( cfXXX @@CITATION ) .