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

This document specifies a list of datatypes, built-in functions and built-in predicates expected to be supported by RIF dialects such as the RIF Core Dialect, the RIF Basic Logic Dialect, and the RIF Production Rules Dialect. Each dialect supporting a superset or subset of the datatypes, built-in functions and built-in predicates defined here shall specify these additions or restrictions. Some of the datatypes are adapted from XML Schema. A large part of the definitions of the listed functions and operators are adapted from 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.

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.

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.