- Frame Logic (or F-logic) provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation.
Frame-based (slotted) representation is very useful and is mentioned in the RIFWG charter.
Impact on Design
F-logic is a stable, well-researched paradigm for frame-based rule languages. It has a number of academic and commercial implementations, and this experience can be very valuable for the design of RIF.
For More Information
More information on F-logic can be found in http://flora.sourceforge.net/aboutFlogic.php
RIFWG contact on F-logic: MichaelKifer.