This is an archive of an inactive wiki and cannot be modified.


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

Academic implementations of F-logic include

A commercial F-logic based product is found at OntoBroker (ontoprise).

RIFWG contact on F-logic: MichaelKifer.


Other recently proposed rule-based languages that rely on F-logic include WebRuleLanguage and SWSL-Rules.