Extended RIF must cover FOL
Full Statement
It must be straight-forward to define an extension to RIF Core which allows any finite ruleset (meaning "any finite theory") in full First Order Logic to be conveyed in the resulting RIF dialect.
Position in the DC structure
Level: Requirement [PROPOSED]
Dependencies
TBD
Motivation
FOL is widely-studied and widely-used. Aside from the utility for FOL users of having a standard language for conveying FOL knowledge bases (rulesets), investigating this area will help clarify the boundaries of RIF Core, and provide an example of how to define extensions.
Urgency