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

The assumptions of the RIF Condition Language are structured here following the Phase 1 requirements of the UCR document.

Different intended semantics

RIF must cover rule languages having different intended semantics.

(A. RIF Condition Language) having different semantics for FOL, LP, and production rules (A.6 Semantics).


RIF must be implementable using well understood techniques.

Limited number of dialects

RIF must have a limited number of standard dialects and/or a common core.

(A. RIF Condition Language).

OWL data

RIF must cover OWL knowledge bases as data where compatible with Phase 1 semantics.

RDF data

RIF must cover RDF triples as data where compatible with Phase 1 semantics.

Semantic precision

RIF must have a clear and precise (unambiguous) semantics to reduce the potential for error in the exchange of rules.

Standard components

RIF implementations must be able to use standard support technologies such as XML parsers and other parser generators.


RIF must not require rule systems to be changed; it must be implementable via translators.

XML syntax

RIF must have an XML syntax as its primary normative syntax.