A RIF dialect building on RIF Core by adding function terms (Horn logic) and equality in the rule conclusions.

The minimum RIF dialect (datalog with builtins), to which other RIF dialects add extensions.

A formal specification for how RIF can be used with RDF and OWL, including the semantics of different ways of importing RDF data and OWL ontologies into RIF rule systems.

The list of datatypes, built-in functions, and built-in predicates supported by all RIF dialects, based on XML Schema, XML Query, and XPath.

Specifies a coherent way to build more-expressive RIF dialects, using a single semantic framework.

A RIF dialect for expressing the kind of rules used by production rule engines, such as commonly found in Business Rule systems

The Linked Data Glossary contains terms defined and used to describe Linked Data, and its associated vocabularies and best practices related to publishing structured data on the Web using open Web standards.

An enumeration of the main use cases considered by the RIF Working Group, and design requirements than emerged from those use cases and guided the overall design of RIF.

Documentation for the RIF test suite and suggested RIF testing process.

An overview of the Rule Interchange Format (RIF), including a high-level explanation of RIF concepts and architecture and a survey of other RIF documents.

A detailed explanation of how to implement OWL 2 RL reasoning using RIF Core.

Specification for how RIF rules can operate on XML data.

Specifies a way to encode RIF documents in RDF, allowing rules to be stored and processed as RDF triples; can also be used for writing RIF rules which transform RIF rules.