270 likes | 436 Views
2. Two main uses of Axioms. KIF and PAL (Grosso 1999) axioms in this talk use an object-centered (meta-)notation similar to feature structures (Johnson 1999) or F-logic (Kifer et al. 1995)For convenience we subdivide PAL axioms as follows:Tell/Storage/Assertion: Constraint axiomsCheck input be
E N D