index.html
32.1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'><html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>RIF Overview</title>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
<style type="text/css">
.editsection { display: none; }
</style>
<link href="tr.css" rel="stylesheet" type="text/css" />
<link href="http://www.w3.org/StyleSheets/TR/W3C-WG-NOTE" rel="stylesheet" type="text/css" />
</head>
<body>
<div class="head">
<a href="http://www.w3.org/"><img alt="W3C" height="48" src="http://www.w3.org/Icons/w3c_home" width="72" /></a><h1 id="title" style="clear:both"><span id="short-title">RIF Overview</span></h1>
<h2 id="W3C-doctype">W3C Working Group Note 22 June 2010</h2>
<!-- no inplace warning -->
<dl>
<dt>This version:</dt>
<dd><a href="http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/" id="this-version-url">http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/</a></dd>
<dt>Latest version:</dt>
<dd><a href="http://www.w3.org/TR/rif-overview/">http://www.w3.org/TR/rif-overview/</a></dd>
<dt>Previous version:</dt>
<dd><a href="http://www.w3.org/TR/2010/WD-rif-overview-20100511/">http://www.w3.org/TR/2010/WD-rif-overview-20100511/</a> (<a href="http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/diff-from-20100511">color-coded diff</a>)</dd>
</dl>
<dl><dt>Editors:</dt><dd>Michael Kifer, State University of New York at Stony Brook</dd>
<dd>Harold Boley, National Research Council Canada</dd>
</dl>
<p>This document is also available in these non-normative formats: <a href="http://www.w3.org/2010/pdf/NOTE-rif-overview-20100622.pdf">PDF version</a>.</p>
<p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2010 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. W3C <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p>
</div>
<hr />
<h2><a id="abstract" name="abstract">Abstract</a></h2>
<div>
<div><p>This document is an overview of the Rule Interchange Format (RIF). It provides a high-level explanation of RIF concepts and architecture as well as a general survey of RIF documents.</p></div>
</div>
<h2 class="no-toc no-num">
<a id="w3c_status" name="w3c_status">Status of this Document</a>
</h2>
<h4 class="no-toc no-num" id="may-be">May Be Superseded</h4>
<p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at http://www.w3.org/TR/.</em></p>
<h4 class="no-toc no-num" id="related">Set of Documents</h4>
<p>This document is being published as one of a set of 11 documents: </p>
<ol>
<li><a href="http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/">RIF Overview</a> (this document)</li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/">RIF Core Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/">RIF Basic Logic Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/">RIF Production Rule Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/">RIF Framework for Logic Dialects</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/">RIF Datatypes and Built-Ins 1.0</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/">RIF RDF and OWL Compatibility</a></li>
<li><a href="http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/">OWL 2 RL in RIF</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-xml-data-20100622/">RIF Combination with XML data</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-in-rdf-20100622/">RIF In RDF</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/">RIF Test Cases</a></li>
</ol>
<!-- no eventStatusExtra -->
<!-- no statusExtra -->
<div>
<h4 class="no-toc no-num" id="sotd-xml-dep">XML Schema Datatypes Dependency</h4>
<p>RIF is defined to use datatypes defined in the <a href="http://www.w3.org/TR/xmlschema-2/">XML Schema Definition Language (XSD)</a>. As of this writing, the latest W3C Recommendation for XSD is version 1.0, with <a href="http://www.w3.org/TR/xmlschema11-1/">version 1.1</a> progressing toward Recommendation. RIF has been designed to take advantage of the new datatypes and clearer explanations available in XSD 1.1, but for now those advantages are being partially put on hold. Specifically, until XSD 1.1 becomes a W3C Recommendation, the elements of RIF which are based on it should be considered <em>optional</em>, as detailed in <a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/#XML_Schema_Datatypes">Datatypes and Builtins, section 2.3</a>. Upon the publication of XSD 1.1 as a W3C Recommendation, those elements will cease to be optional and are to be considered required as otherwise specified.</p>
<p>We suggest that for now developers and users follow the <a href="http://www.w3.org/TR/2009/WD-xmlschema11-1-20091203/">XSD 1.1 Last Call Working Draft</a>. Based on discussions between the Schema, RIF and OWL Working Groups, we do not expect any implementation changes will be necessary as XSD 1.1 advances to Recommendation.</p>
</div>
<h4 class="no-toc no-num" id="status-changes">Summary of Changes</h4>
<div>There have been no <a href="http://www.w3.org/2005/10/Process-20051014/tr#substantive-change">substantive</a> changes since the <a href="http://www.w3.org/TR/2010/WD-rif-overview-20100511/">previous version</a>. For details on the minor changes see the <a href="#changelog">change log</a> and <a href="http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/diff-from-20100511">color-coded diff</a>.</div>
<h4 class="no-toc no-num" id="please">Please Send Comments</h4><p>Please send any comments to <a class="mailto" href="mailto:public-rif-comments@w3.org">public-rif-comments@w3.org</a>
(<a class="http" href="http://lists.w3.org/Archives/Public/public-rif-comments/">public
archive</a>). Although work on this document by the <a href="http://www.w3.org/2005/rules/wg.html">Rule Interchange Format (RIF) Working Group</a> is complete, comments may be addressed in the <a href="http://www.w3.org/2010/rif/errata">errata</a> or in future revisions. Open discussion among developers is welcome at <a class="mailto" href="mailto:public-rif-dev@w3.org">public-rif-dev@w3.org</a> (<a class="http" href="http://lists.w3.org/Archives/Public/public-rif-dev/">public archive</a>).</p>
<h4 class="no-toc no-num" id="no-endorsement">No Endorsement</h4>
<p><em>Publication as a Working Group Note does not imply endorsement by the W3C Membership. This document may be updated, replaced or obsoleted by other documents at any time. Therefore, quotes or references to specific information in the document should include the publication date of this version, 22 June 2010. It is inappropriate to cite this document as other than a Working Group Note, which is not an endorsed W3C Recommendation.</em></p>
<h4 class="no-toc no-num" id="patents">Patents</h4>
<p><em>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 W3C Patent Policy</a>. The group does not expect this document to become a W3C Recommendation. W3C maintains a <a href="http://www.w3.org/2004/01/pp-impl/38457/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure"> section 6 of the W3C Patent Policy</a>.</em></p>
<hr title="Separator After Status Section" />
<table class="toc" id="toc" summary="Contents"><tr><td><div id="toctitle"><h2>Table of Contents</h2></div>
<ul>
<li class="toclevel-1"><a href="#Introduction"><span class="tocnumber">1</span> <span class="toctext">Introduction</span></a></li>
<li class="toclevel-1"><a href="#RIF_Dialects"><span class="tocnumber">2</span> <span class="toctext">RIF Dialects</span></a></li>
<li class="toclevel-1"><a href="#RIF_Framework_for_Logic_Dialects"><span class="tocnumber">3</span> <span class="toctext">RIF Framework for Logic Dialects</span></a></li>
<li class="toclevel-1"><a href="#RDF_and_OWL_Compatibility"><span class="tocnumber">4</span> <span class="toctext">RDF and OWL Compatibility</span></a></li>
<li class="toclevel-1"><a href="#A_General_Survey_of_the_RIF_Documents"><span class="tocnumber">5</span> <span class="toctext">A General Survey of the RIF Documents</span></a></li>
<li class="toclevel-1"><a href="#References"><span class="tocnumber">6</span> <span class="toctext">References</span></a></li>
<li class="toclevel-1"><a href="#Appendix:_Change_Log_.28Informative.29"><span class="tocnumber">7</span> <span class="toctext">Appendix: Change Log (Informative)</span></a></li>
</ul>
</td></tr></table><script type="text/javascript"> if (window.showTocToggle) { var tocShowText = "show"; var tocHideText = "hide"; showTocToggle(); } </script>
<a id="Introduction" name="Introduction"></a><h2> <span class="mw-headline">1 Introduction </span></h2>
<p>The <i>Rule Interchange Format</i> (RIF) Working Group was chartered by the World Wide Web Consortium in 2005 to create a standard for exchanging rules among rule systems, in particular among Web rule engines. RIF focused on exchange rather than trying to develop a single one-fits-all rule language because, in contrast to other Semantic Web standards, such as <a href="#ref-rdf-concepts" title="">RDF</a>, <a href="#ref-owl-reference" title="">OWL</a>, and <a href="#ref-sparql" title="">SPARQL</a>, it was immediately clear that a single language would not satisfy the needs of many popular paradigms for using rules in knowledge representation and business modeling. But even rule exchange alone was recognized as a daunting task. Known rule systems fall into three broad categories: first-order, logic-programming, and action rules. These paradigms share little in the way of syntax and semantics. Moreover, there are large differences between systems even within the same paradigm.
</p><p>Given this diversity, what is the most useful notion of rule exchange? The approach taken by the Working Group was to design a family of languages, called <i>dialects</i>, with rigorously specified syntax and semantics. The family of RIF dialects is intended to be <i>uniform</i> and <i>extensible</i>. RIF uniformity means that dialects are expected to share as much as possible of the existing syntactic and semantic apparatus. Extensibility here means that it should be possible for
motivated experts to define a new RIF dialect as a syntactic
extension to an existing RIF dialect, with new elements
corresponding to desired additional functionality. These new
RIF dialects would be non-standard when defined, but might
eventually become standards.
</p><p>Because of the emphasis on rigor, the word <i>format</i> in the name of RIF is
somewhat of an understatement. RIF in fact provides more than just a
format. However, the concept of format is essential to the way RIF is
intended to be used. Ultimately, the medium of exchange between different
rule systems is XML, a format for data exchange. Central to the idea behind rule exchange through RIF is that different systems will provide syntactic mappings from their native languages to RIF dialects and back. These mappings are required to be <i>semantics-preserving</i>, and thus rule sets can be communicated from one system to another provided that the systems can talk through a suitable dialect, which they both support.
</p>
<a id="RIF_Dialects" name="RIF_Dialects"></a><h2> <span class="mw-headline">2 RIF Dialects </span></h2>
<p>The RIF Working Group has focused on two kinds of dialects: <i>logic-based dialects</i> and dialects for <i>rules with actions</i>. Generally, logic-based dialects include languages that employ some kind of logic, such as first-order logic (often restricted to Horn logic) or non-first-order logics underlying the various logic programming languages (e.g., logic programming under the <a href="#ref-wf-model" title="">well-founded</a> or <a href="#ref-stable-model" title="">stable</a> semantics). The rules-with-actions dialects include production rule systems, such as <a class="external text" href="http://www.jessrules.com/" title="http://www.jessrules.com/">Jess</a>, <a class="external text" href="http://jboss.org/drools/" title="http://jboss.org/drools/">Drools</a> and <a class="external text" href="http://www.ilog.com/products/jrules/" title="http://www.ilog.com/products/jrules/">JRules</a>, as well as reactive (or event-condition-action) rules, such as <a class="external text" href="http://reaction.ruleml.org/" title="http://reaction.ruleml.org/">Reaction RuleML</a> and <a class="external text" href="http://reactiveweb.org/xchange/" title="http://reactiveweb.org/xchange/">XChange</a>. Due to the limited resources of the RIF Working Group, it defined only two logic dialects, the <a href="#ref-rif-bld" title="">Basic Logic Dialect</a> (RIF-BLD) and a subset, the <a href="#ref-rif-core" title="">RIF Core Dialect</a>, shared with RIF-PRD; the <a href="#ref-rif-prd" title="">Production Rule Dialect</a> (RIF-PRD) is the only rules-with-actions dialect defined by the group. Other dialects are expected to be defined by the various user communities.
</p><p>Present and future RIF dialects are expected to share datatypes, built-in functions, and built-in predicates as defined by <a href="#ref-rif-dtb" title="">RIF Datatypes and Built-Ins</a> (RIF-DTB). In particular, the current dialects RIF-BLD, RIF-Core, and RIF-PRD all share the foundations of RIF-DTB 1.0.
</p>
<a id="RIF_Framework_for_Logic_Dialects" name="RIF_Framework_for_Logic_Dialects"></a><h2> <span class="mw-headline">3 RIF Framework for Logic Dialects </span></h2>
<p>The RIF Working Group spent almost four years on developing the above three dialects, and this begs a question: If dialect development is so time consuming, who will donate the necessary resources for the next round of development and who will ensure the uniformity of community-developed dialects once the RIF Working Group disbands? The Working Group partially addressed these questions by also developing an extensibility framework, called the <a href="#ref-rif-fld" title="">Framework for Logic Dialects</a>, or RIF-FLD. A comparable framework for rules with actions might be developed later.
</p><p>Developing RIF-FLD as a framework turned out to be feasible because despite the diversity of logical theories underlying the different logic rule systems, they share much of the same syntactic and semantic machinery. Moreover, the ways to combine the different pieces of that machinery in order to create those logic systems are well studied. However, the <a href="#ref-rif-fld" title="">RIF-FLD</a> specification is unique in that it digests much of this knowledge, presents it in a coherent form, and uses XML even on the framework level.
</p><p>RIF-FLD is a very general logic language that includes a great deal of commonly used syntactic and semantic apparatus; however, it purposely leaves certain parameters unspecified to enable designers of concrete dialects to fill in the necessary details. For instance, RIF-FLD provides machinery to tweak the rules of syntax through the notion of <i>signatures</i>. It also specifies certain semantic notions, such as models and logical entailment, but it leaves certain other options open (for instance, which exact models are to be used for entailment). A dialect designer can then define the syntax of a dialect by <i>specializing</i> it from the syntax of RIF-FLD, and the semantics by specializing it from the semantics of RIF-FLD. While doing so, the designer will make choices by selecting from the options provided by RIF-FLD, but he or she will not have to repeat the definitions of formulas, datatypes, models, entailment, and so on. This approach is illustrated using the <a href="#ref-rif-bld" title="">RIF-BLD dialect</a>. This dialect is specified in two ways, both normative: directly, by spelling out all the definitions, which takes about 40 dense pages, and by specialization from RIF-FLD -- just about 5 pages. Any discrepancy between the two specifications is to be treated as a <i>bug</i> that must be clarified and corrected. This dual specification of RIF-BLD is also intended to serve as an example of dialect design by specialization from the RIF framework -- the preferred mode of specification for various future logic dialects.
</p><p>The RIF framework is not a monument that is cut in stone and is likely to see several extensions in the future. One, as we already mentioned, might be to cover the paradigm of actions and reactive rules.
</p>
<a id="RDF_and_OWL_Compatibility" name="RDF_and_OWL_Compatibility"></a><h2> <span class="mw-headline">4 RDF and OWL Compatibility </span></h2>
<p>Recognizing that RIF rules should be able to interface with RDF and OWL ontologies, the RIF Working Group has also defined the necessary concepts to ensure compatibility of RIF with RDF and OWL. RIF, RDF, and OWL are exchange languages with dissimilar syntaxes and semantics. How, then, should RIF rules refer to RDF and OWL facts, and what is the logical meaning of the overall language? <a href="#ref-rif-swc" title="">RIF-RDF and OWL Compatibility</a> defines just that. The basic idea is that RIF uses its frame syntax to communicate with RDF/OWL. These frames are mapped onto RDF triples and a joint semantics is defined for the combination.
</p>
<a id="A_General_Survey_of_the_RIF_Documents" name="A_General_Survey_of_the_RIF_Documents"></a><h2> <span class="mw-headline">5 A General Survey of the RIF Documents </span></h2>
<p>The RIF Working Group has produced ten documents, six of which are intended to become W3C Recommendations. The following general survey can help the reader to navigate these documents.
</p>
<ul><li> <a href="#ref-rif-bld" title="">RIF-BLD: The Basic Logic Dialect</a>. This is one of the two major dialects, and the main logic-based dialect, developed by the group. Technically, this dialect corresponds to Horn logic with various syntactic and semantic extensions. The main syntactic extensions include the frame syntax and predicates with named arguments. The main semantic extensions include datatypes and externally defined predicates. Although this dialect is not expressive enough for many applications of rules, it covers many existing rule systems, and development of such a dialect was necessary as a starting point for future, more expressive dialects. This future activity is expected to take place within the RIF extensibility framework, RIF-FLD.
</li></ul>
<ul><li> <a href="#ref-rif-prd" title="">RIF-PRD: The Production Rule Dialect</a>. This is the other major dialect developed by the group, capturing the main aspects of various production rule systems. Serious industrial interest in production rule technology has been demonstrated by major players. Production rules, as they are currently practiced in main-stream systems like <a class="external text" href="http://www.jessrules.com/" title="http://www.jessrules.com/">Jess</a> or <a class="external text" href="http://www.ilog.com/products/jrules/" title="http://www.ilog.com/products/jrules/">JRules</a>, are defined using ad hoc computational mechanisms, which are not based on a logic. For this reason, RIF-PRD is not part of the suite of logical RIF dialects and stands apart from them. However, significant effort has been extended to ensure as much sharing with the other dialects as possible. This sharing was the main reason for the development of the RIF Core dialect.
</li></ul>
<ul><li> <a href="#ref-rif-core" title="">RIF-Core: The Core Dialect</a>. This dialect is a subset of both RIF-BLD and RIF-PRD based on RIF-DTB 1.0, thus enabling limited rule exchange between logic rule dialects and production rules. RIF-Core corresponds to Horn logic without function symbols (often called 'Datalog') with a number of extensions to support features such as objects and frames as in F-logic, internationalized resource identifiers for concepts, and XML Schema datatypes.
</li></ul>
<ul><li> <a href="#ref-rif-fld" title="">RIF-FLD: The Framework for Logic Dialects</a>. RIF-FLD is not a dialect in its own right, but rather a general logical extensibility framework. It was introduced in order to drastically lower the amount of effort needed to define and verify new logic dialects that extend the capabilities of RIF-BLD.
</li></ul>
<ul><li> <a href="#ref-rif-swc" title="">RIF-RDF+OWL: RDF and OWL Compatibility</a>. Rules interchanged via RIF may depend on or be used in combination with RDF data and RDF Schema or OWL ontologies. This document enables interoperability between RIF and these other Semantic Web standards. It defines the syntax and semantics of combined RIF+RDF and RIF+OWL 2 languages.
</li></ul>
<ul><li> <a href="#ref-rif-dtb" title="">RIF-DTB: Datatypes and Built-ins</a>. Rules often refer to built-ins (e.g., arithmetics, string manipulation) and datatypes (e.g., integers, strings, Booleans). To enable semantics-preserving exchange of such rules, it is necessary that most commonly used datatypes and built-in functions and predicates are identified and their semantics are defined precisely. This purpose is served by the RIF-DTB document.
</li></ul>
<ul><li> <a href="#ref-rif-xmldata" title="">RIF+XML-Data: RIF Combination with XML Data</a>. Rules should be combinable with XML data sources. This document specifies how such combinations can be done.
</li></ul>
<ul><li> <a href="#ref-rif-owlrl" title="">RIF-OWLRL: OWL 2 RL in RIF</a>. OWL 2 RL is an OWL 2 subset defined via a partial axiomatization of the OWL 2 RDF-based semantics in the form of implications. That definition can be used as the basis for a rule-based implementation as shown in this document using RIF.
</li></ul>
<ul><li> <a href="#ref-rif-in-rdf" title="">RIF in RDF</a>. Although the standard exchange syntax for RIF is XML, as defined in the dialect specifications, it is possible to map this XML to RDF graphs, so that RDF systems can more easily store and process RIF documents. Since RDF is compatible with RIF frames (see <a href="#ref-rif-swc" title="">RIF RDF and OWL Compatibility</a>), this mapping also provides an interoperable way to write RIF rules that process RIF documents.
</li></ul>
<ul><li> <a href="#ref-rif-ucr" title="">RIF-UCR: Use Cases and Requirements</a>. One of the first tasks of the RIF Working Group was to identify classes of applications that the RIF suite of dialects should be able to address, and use that to derive requirements to RIF. To a large extent, the design of RIF dialects was driven by the requirements found in the RIF-UCR document.
</li></ul>
<ul><li> <a href="#ref-rif-test" title="">RIF-Test: Test Cases</a>. This document is primarily of concern to RIF implementers. It includes the description of test cases -- both positive and negative -- that can be used in order to give an indication of whether a particular implementation of a RIF dialect is compliant with the specifications. There is a companion <a class="external text" href="http://www.w3.org/2005/rules/test/" title="http://www.w3.org/2005/rules/test/">repository of the source code</a> for the various test cases.
</li></ul>
<a id="References" name="References"></a><h2> <span class="mw-headline">6 References </span></h2>
<p><span id="ref-owl-reference"></span>
</p>
<dl><dt> [OWL-Reference]
</dt><dd> <i>OWL Web Ontology Language Reference</i>, M. Dean, G. Schreiber, Editors, W3C Recommendation, 10 February 2004. Latest version available at <a class="external free" href="http://www.w3.org/TR/owl-ref/" title="http://www.w3.org/TR/owl-ref/">http://www.w3.org/TR/owl-ref/</a>.
</dd></dl>
<p><span class="anchor" id="ref-rdf-concepts"></span>
</p>
<dl><dt> [RDF-Concepts]
</dt><dd> <i>Resource Description Framework (RDF): Concepts and Abstract Syntax]</i>, G. Klyne, J. Carrol, Editors, W3C Recommendation, 10 February 2004, <a class="external free" href="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/" title="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/">http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/</a>. <a class="external text" href="http://www.w3.org/TR/rdf-concepts/" title="http://www.w3.org/TR/rdf-concepts/">Latest version</a> available at <a class="external free" href="http://www.w3.org/TR/rdf-concepts/" title="http://www.w3.org/TR/rdf-concepts/">http://www.w3.org/TR/rdf-concepts/</a>.
</dd></dl>
<p><span class="anchor" id="ref-rif-bld"></span>
</p>
<dl><dt> [RIF-BLD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/"><span>RIF Basic Logic Dialect</span></a></cite> Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/">http://www.w3.org/TR/2010/REC-rif-bld-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-bld/">http://www.w3.org/TR/rif-bld/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-core"></span>
</p>
<dl><dt> [RIF-Core]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/"><span>RIF Core Dialect</span></a></cite> Harold Boley, Gary Hallmark, Michael Kifer, Adrian Paschke, Axel Polleres, Dave Reynolds, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/">http://www.w3.org/TR/2010/REC-rif-core-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-core/">http://www.w3.org/TR/rif-core/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-dtb"></span>
</p>
<dl><dt> [RIF-DTB]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/"><span>RIF Datatypes and Built-Ins 1.0</span></a></cite> Axel Polleres, Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/">http://www.w3.org/TR/2010/REC-rif-dtb-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-dtb/">http://www.w3.org/TR/rif-dtb/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-in-rdf"></span>
</p>
<dl><dt> [RIF in RDF]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/WD-rif-in-rdf-20100622/"><span>RIF In RDF</span></a></cite> Sandro Hawke, editor. W3C Working Draft, 22 June 2010, <a href="http://www.w3.org/TR/2010/WD-rif-in-rdf-20100622/">http://www.w3.org/TR/2010/WD-rif-in-rdf-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-in-rdf/">http://www.w3.org/TR/rif-in-rdf/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-xmldata"></span>
</p>
<dl><dt> [RIF+XML-Data]
</dt><dd> <i>RIF Combination with XML Data</i>, Christian de Sainte Marie (Editor), W3C Rule Interchange Format Working Group Draft. Latest Version available at <a class="external free" href="http://www.w3.org/2005/rules/wiki/RIF%2BXML_data-schema" title="http://www.w3.org/2005/rules/wiki/RIF%2BXML_data-schema">http://www.w3.org/2005/rules/wiki/RIF%2BXML_data-schema</a>.
</dd></dl>
<p><span class="anchor" id="ref-rif-owlrl"></span>
</p>
<dl><dt> [RIF-OWLRL]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/"><span>OWL 2 RL in RIF</span></a></cite> Dave Reynolds, editor. W3C Working Group Note, 22 June 2010, <a href="http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/">http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-owl-rl/">http://www.w3.org/TR/rif-owl-rl/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-fld"></span>
</p>
<dl><dt> [RIF-FLD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/"><span>RIF Framework for Logic Dialects</span></a></cite> Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/">http://www.w3.org/TR/2010/REC-rif-fld-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-fld/">http://www.w3.org/TR/rif-fld/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-prd"></span>
</p>
<dl><dt> [RIF-PRD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/"><span>RIF Production Rule Dialect</span></a></cite> Christian de Sainte Marie, Gary Hallmark, Adrian Paschke, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/">http://www.w3.org/TR/2010/REC-rif-prd-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-prd/">http://www.w3.org/TR/rif-prd/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-swc"></span>
</p>
<dl><dt> [RIF-RDF+OWL]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/"><span>RIF RDF and OWL Compatibility</span></a></cite> Jos de Bruijn, editor. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/">http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-rdf-owl/">http://www.w3.org/TR/rif-rdf-owl/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-test"></span>
</p>
<dl><dt> [RIF-Test]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/"><span>RIF Test Cases</span></a></cite> Stella Mitchell, Leora Morgenstern, Adrian Paschke, eds. W3C Working Draft, 22 June 2010, <a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/">http://www.w3.org/TR/2010/WD-rif-test-20100622/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-test/">http://www.w3.org/TR/rif-test/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-ucr"></span>
</p>
<dl><dt> [RIF-UCR]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2008/WD-rif-ucr-20081218/">RIF Use Cases and Requirements</a></cite> Adrian Paschke, David Hirtle, Allen Ginsberg, Paula-Lavinia Patranjan, Frank McCabe, Eds. W3C Working Draft, 18 December 2008, <a href="http://www.w3.org/TR/2008/WD-rif-ucr-20081218/">http://www.w3.org/TR/2008/WD-rif-ucr-20081218/</a>. Latest version available at <a href="http://www.w3.org/TR/rif-ucr/">http://www.w3.org/TR/rif-ucr/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-sparql"></span>
</p>
<dl><dt> [SPARQL]
</dt><dd> <i>SPARQL Query Language for RDF</i>, E. Prud'hommeaux, A. Seaborne (Editors), W3C Recommendation, World Wide Web Consortium, 12 January 2008, <a class="external free" href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/" title="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/">http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/</a>. Latest version available at <a class="external free" href="http://www.w3.org/TR/rdf-sparql-query/" title="http://www.w3.org/TR/rdf-sparql-query/">http://www.w3.org/TR/rdf-sparql-query/</a>.
</dd></dl>
<p><span class="anchor" id="ref-stable-model"></span>
</p>
<dl><dt> [GL88]
</dt><dd> <i>The Stable Model Semantics for Logic Programming</i>, M. Gelfond and V. Lifschitz. Logic Programming: Proceedings of the Fifth Conference and Symposium, pages 1070-1080, 1988.
</dd></dl>
<p><span class="anchor" id="ref-wf-model"></span>
</p>
<dl><dt> [GRS91]
</dt><dd> <i>The Well-Founded Semantics for General Logic Programs</i>, A. Van Gelder, K.A. Ross, J.S. Schlipf. Journal of ACM, 38:3, pages 620-650, 1991.
</dd></dl>
<p><br />
</p>
<div id="changelog">
<a id="Appendix:_Change_Log_.28Informative.29" name="Appendix:_Change_Log_.28Informative.29"></a><h2> <span class="mw-headline">7 Appendix: Change Log (Informative) </span></h2>
<ul><li> Various wording changes; fixed references, links; typos fixed.
</li><li> Added "RIF in RDF" to the General Survey and the References.
</li></ul>
</div>
</body>
</html>