Rule Interchange Format Working Group - Publications
Recommendations
- Deliverers
- Rule Interchange Format Working Group
A RIF dialect building on RIF Core by adding function terms (Horn logic) and equality in the rule conclusions.
- Deliverers
- Rule Interchange Format Working Group
The minimum RIF dialect (datalog with builtins), to which other RIF dialects add extensions.
- Deliverers
- Rule Interchange Format Working Group
The list of datatypes, built-in functions, and built-in predicates supported by all RIF dialects, based on XML Schema, XML Query, and XPath.
- Deliverers
- Rule Interchange Format Working Group
Specifies a coherent way to build more-expressive RIF dialects, using a single semantic framework.
- Deliverers
- Rule Interchange Format Working Group
A RIF dialect for expressing the kind of rules used by production rule engines, such as commonly found in Business Rule systems
- Deliverers
- Rule Interchange Format Working Group
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.
Notes
- Deliverers
- Rule Interchange Format Working Group
A detailed explanation of how to implement OWL 2 RL reasoning using RIF Core.
- Deliverers
- Rule Interchange Format Working Group
Specification for how RIF rules can operate on XML data.
- Deliverers
- Rule Interchange Format Working Group
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.
- Deliverers
- Rule Interchange Format Working Group
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.
- Deliverers
- Rule Interchange Format Working Group
This document is a primer on the Rule Interchange Format (RIF). The primer provides a practical introduction to specifying declarative rules and production rules in RIF, in particular for the RIF BLD and PRD dialects. Examples of RIF specifications are developed in a stepwise manner.
- Deliverers
- Rule Interchange Format Working Group
Documentation for the RIF test suite and suggested RIF testing process.
- Deliverers
- Rule Interchange Format Working Group
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.