- Frame Logic (or F-logic) provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation.
Relevance
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
Academic implementations of F-logic include
FLORA-2
FLORID
TRIPLE
A commercial F-logic based product is found at OntoBroker (ontoprise).
RIFWG contact on F-logic: MichaelKifer.
Other
Other recently proposed rule-based languages that rely on F-logic include WebRuleLanguage and SWSL-Rules.