RIF 20.8 KB
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML+RDFa 1.0//EN" "http://www.w3.org/MarkUp/DTD/xhtml-rdfa-1.dtd"><html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" dir="ltr">
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
		<meta http-equiv="Content-Style-Type" content="text/css" />
		<meta name="generator" content="MediaWiki 1.15.5" />
		<meta name="keywords" content="RIF,Books,Fuxi,OWL,RDF,RIF Validator,SPARQL,Programming Language,Tool" />
		<link rel="shortcut icon" href="/favicon.ico" />
		<link rel="search" type="application/opensearchdescription+xml" href="/2001/sw/wiki/opensearch_desc.php" title="Semantic Web Standards (en)" />
		<link rel="alternate" type="application/rss+xml" title="Semantic Web Standards RSS feed" href="/2001/sw/wiki/index.php?title=Special:RecentChanges&amp;feed=rss" />
		<link rel="alternate" type="application/atom+xml" title="Semantic Web Standards Atom feed" href="/2001/sw/wiki/index.php?title=Special:RecentChanges&amp;feed=atom" />
		<title>RIF - Semantic Web Standards</title>
		<link rel="stylesheet" href="/2001/sw/wiki/skins/common/shared.css?207" type="text/css" media="screen" />
		<link rel="stylesheet" href="/2001/sw/wiki/skins/common/commonPrint.css?207" type="text/css" media="print" />
		<link rel="stylesheet" href="/2001/sw/wiki/skins/w3cmonobook/main.css?207" type="text/css" media="screen" />
		<!--[if lt IE 5.5000]><link rel="stylesheet" href="/2001/sw/wiki/skins/w3cmonobook/IE50Fixes.css?207" type="text/css" media="screen" /><![endif]-->
		<!--[if IE 5.5000]><link rel="stylesheet" href="/2001/sw/wiki/skins/w3cmonobook/IE55Fixes.css?207" type="text/css" media="screen" /><![endif]-->
		<!--[if IE 6]><link rel="stylesheet" href="/2001/sw/wiki/skins/w3cmonobook/IE60Fixes.css?207" type="text/css" media="screen" /><![endif]-->
		<!--[if IE 7]><link rel="stylesheet" href="/2001/sw/wiki/skins/w3cmonobook/IE70Fixes.css?207" type="text/css" media="screen" /><![endif]-->
		<link rel="stylesheet" href="/2001/sw/wiki/index.php?title=MediaWiki:Common.css&amp;usemsgcache=yes&amp;ctype=text%2Fcss&amp;smaxage=18000&amp;action=raw&amp;maxage=18000" type="text/css" />
		<link rel="stylesheet" href="/2001/sw/wiki/index.php?title=MediaWiki:Print.css&amp;usemsgcache=yes&amp;ctype=text%2Fcss&amp;smaxage=18000&amp;action=raw&amp;maxage=18000" type="text/css" media="print" />
		<link rel="stylesheet" href="/2001/sw/wiki/index.php?title=MediaWiki:W3cmonobook.css&amp;usemsgcache=yes&amp;ctype=text%2Fcss&amp;smaxage=18000&amp;action=raw&amp;maxage=18000" type="text/css" />
		<link rel="stylesheet" href="/2001/sw/wiki/index.php?title=-&amp;action=raw&amp;maxage=18000&amp;gen=css" type="text/css" />
		<!--[if lt IE 7]><script type="text/javascript" src="/2001/sw/wiki/skins/common/IEFixes.js?207"></script>
		<meta http-equiv="imagetoolbar" content="no" /><![endif]-->

		<script type= "text/javascript">/*<![CDATA[*/
		var skin = "w3cmonobook";
		var stylepath = "/2001/sw/wiki/skins";
		var wgArticlePath = "/2001/sw/wiki/$1";
		var wgScriptPath = "/2001/sw/wiki";
		var wgScript = "/2001/sw/wiki/index.php";
		var wgVariantArticlePath = false;
		var wgActionPaths = {};
		var wgServer = "http://www.w3.org";
		var wgCanonicalNamespace = "";
		var wgCanonicalSpecialPageName = false;
		var wgNamespaceNumber = 0;
		var wgPageName = "RIF";
		var wgTitle = "RIF";
		var wgAction = "view";
		var wgArticleId = "233";
		var wgIsArticle = true;
		var wgUserName = null;
		var wgUserGroups = null;
		var wgUserLanguage = "en";
		var wgContentLanguage = "en";
		var wgBreakFrames = false;
		var wgCurRevisionId = 1709;
		var wgVersion = "1.15.5";
		var wgEnableAPI = true;
		var wgEnableWriteAPI = true;
		var wgSeparatorTransformTable = ["", ""];
		var wgDigitTransformTable = ["", ""];
		var wgRestrictionEdit = [];
		var wgRestrictionMove = [];
		/*]]>*/</script>

		<script type="text/javascript" src="/2001/sw/wiki/skins/common/wikibits.js?207"><!-- wikibits js --></script>
		<!-- Head Scripts -->
		<script type="text/javascript" src="/2001/sw/wiki/skins/common/ajax.js?207"></script>
				<link rel="alternate" type="application/rdf+xml" title="RIF" href="/2001/sw/wiki/index.php?title=Special:ExportRDF/RIF&amp;xmlmime=rdf" />

				<link rel="stylesheet" type="text/css" href="/2001/sw/wiki/extensions/SemanticMediaWiki/skins/SMW_custom.css" />

		<script type="text/javascript" src="/2001/sw/wiki/index.php?title=-&amp;action=raw&amp;gen=js&amp;useskin=w3cmonobook"><!-- site js --></script>
	</head>
<body class="mediawiki ltr ns-0 ns-subject page-RIF skin-w3cmonobook">
	<div id="globalWrapper">
		<div id="column-content">
	<div id="content">
		<a id="top"></a>
				<h1 id="firstHeading" class="firstHeading">RIF</h1>
		<div id="bodyContent">
			<h3 id="siteSub">From Semantic Web Standards</h3>
			<div id="contentSub"></div>
									<div id="jump-to-nav">Jump to: <a href="#column-one">navigation</a>, <a href="#searchInput">search</a></div>			<!-- start content -->
			<table style="background: #eeeeee; margin-bottom:2em; margin-right:1em; float:right">

<tr>
<td> <span style="float:right"><img src="http://www.w3.org/Icons/SW/Buttons/sw-rif-blue.png" alt="sw-rif-blue.png" /></span>
</td></tr>
<tr>
<td>
<ul><li> Publication date: 2010-06-22   
</li><li> Created by:  <a href="http://www.w3.org/2001/sw/#rdf" class="external text" title="http://www.w3.org/2001/sw/#rdf" rel="nofollow">RIF Working Group</a>
</li><li> List of documents at: <a href="http://www.w3.org/standards/techs/rdf" class="external free" title="http://www.w3.org/standards/techs/rdf" rel="nofollow">http://www.w3.org/standards/techs/rdf</a> 
</li></ul>
</td></tr></table>
<p><br />
</p>
<a name="Rule_Interchange_Format_.28RIF.29" id="Rule_Interchange_Format_.28RIF.29"></a><h1> <span class="mw-headline"> Rule Interchange Format (RIF) </span></h1>
<a name="Overview" id="Overview"></a><h2> <span class="mw-headline"> Overview </span></h2>
<p>The goal of RIF is to define a standard for exchanging rules among rule systems, in particular among Web rule engines. RIF focuses on exchange rather than defining a single one-fits-all rule language because, in contrast to other Semantic Web standards, such as <a href="/2001/sw/wiki/RDF" title="RDF">RDF</a>, <a href="/2001/sw/wiki/OWL" title="OWL">OWL</a>, and <a href="/2001/sw/wiki/SPARQL" title="SPARQL">SPARQL</a>, it was immediately clear that a single language would not cover all popular paradigms of using rules for knowledge representation and business modeling. Even rule exchange alone was quickly recognized to be 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>The approach taken by the RIF Working Group is to design a family of languages, called dialects, with rigorously specified syntax and semantics. The family of RIF dialects is intended to be uniform and extensible. 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>
<a name="Recommended_Reading" id="Recommended_Reading"></a><h2> <span class="mw-headline"> Recommended Reading </span></h2>
<p>The official <a href="http://www.w3.org/standards/techs/rif" class="external text" title="http://www.w3.org/standards/techs/rif" rel="nofollow">RIF</a> documents include a <a href="http://www.w3.org/TR/rif-overview/" class="external text" title="http://www.w3.org/TR/rif-overview/" rel="nofollow">RIF Overview</a> that provides a high-level explanation of RIF concepts and architecture as well as a general survey of RIF documents. 
</p><p>A number of textbooks have been published on Semantic Web in general, including the theory and practice of rule languages on the Web. Please, refer to a <a href="/2001/sw/wiki/Books" title="Books">separate page</a> listing some of those, as maintained by the community. That list also includes references to conference proceedings and article collections that might be of general interest.
</p>
<a name="Tools_that_are_listed_as_relevant_to_RIF" id="Tools_that_are_listed_as_relevant_to_RIF"></a><h1> <span class="mw-headline"> Tools that are listed as relevant to RIF </span></h1>
<p>(Note that you can browse tools per <a href="/2001/sw/wiki/Category:Tool" title="Category:Tool">tool categories</a> or <a href="/2001/sw/wiki/Category:Programming_Language" title="Category:Programming Language">programming languages</a>, too.)
</p>
<a name="Last_modified_and.2For_added" id="Last_modified_and.2For_added"></a><h2> <span class="mw-headline"> Last modified and/or added </span></h2>
<p>The description of the following tools have been added and/or modified most recently.
</p>
				<ul>
<li><a href="/2001/sw/wiki/Fuxi" title="Fuxi">FuXi</a> (last modified: 18 March 2011)</li>
<li><a href="/2001/sw/wiki/RIF_Validator" title="RIF Validator">RIFLE</a> (last modified: 11 December 2009)</li>
				</ul>
<p><br />
</p>
<a name="All_relevant_tools" id="All_relevant_tools"></a><h2> <span class="mw-headline"> All relevant tools </span></h2>
<p>This is a list of all tools listed on this wiki, and that are marked as relevant to RIF. 
</p>
				<ul>
<li><a href="/2001/sw/wiki/Fuxi" title="Fuxi">FuXi</a>  (programming environment). Directly usable from Python
</li>
<li><a href="/2001/sw/wiki/RIF_Validator" title="RIF Validator">RIFLE</a>  (validator). 
</li>
				</ul>

<!-- 
NewPP limit report
Preprocessor node count: 141/1000000
Post-expand include size: 2219/2097152 bytes
Template argument size: 218/2097152 bytes
Expensive parser function count: 0/100
-->

<!-- Saved in parser cache with key wikidb-sw_:pcache:idhash:233-0!1!0!!en!2!edit=0 and timestamp 20120115232147 -->
<div id='RDFa' about='http://www.w3.org/2001/sw/wiki/RIF' xmlns:wiki_1='http://www.w3.org/2001/sw/wiki/index.php/'xmlns:wiki_1_property='http://www.w3.org/2001/sw/wiki/index.php/Property:'xmlns:wiki_1_category='http://www.w3.org/2001/sw/wiki/index.php/Category:' typeof='wiki_1_categoryWork' typeof='wiki_1_categoryRecommendation'>
<div property='wiki_1_property:Creator' content='http://www.w3.org/2001/sw/#rdf'></div>
<div property='wiki_1_property:Date' content='22 June 2010'></div>
<div property='wiki_1_property:Description' content='The goal of RIF is to define a standard for exchanging rules among rule systems, in particular among Web rule engines.'></div>
<div property='wiki_1_property:Modification_date' content='22 June 2010 20:43:53'></div>
<div property='wiki_1_property:SameAs' content='http://www.w3.org/2002/01/tr-automation/techs#rdf'></div>
<div property='wiki_1_property:SeeAlso' content='http://www.w3.org/standards/techs/rdf'></div>
</div><div style='display:none' ></div><div class="printfooter">
Retrieved from "<a href="http://www.w3.org/2001/sw/wiki/RIF">http://www.w3.org/2001/sw/wiki/RIF</a>"</div>
			<div id='catlinks' class='catlinks'><div id="mw-normal-catlinks"><a href="/2001/sw/wiki/Special:Categories" title="Special:Categories">Categories</a>:&#32;<span dir='ltr'><a href="/2001/sw/wiki/Category:Work" title="Category:Work">Work</a></span> | <span dir='ltr'><a href="/2001/sw/wiki/Category:Recommendation" title="Category:Recommendation">Recommendation</a></span></div></div>			<!-- end content -->
			<div id='mw-data-after-content'>
	<div class="smwfact"><span class="smwfactboxhead">Facts about <span class="swmfactboxheadbrowse"><a href="/2001/sw/wiki/Special:Browse/RIF" title="Special:Browse/RIF">RIF</a></span></span><span class="smwrdflink"><span class="rdflink"><a href="/2001/sw/wiki/Special:ExportRDF/RIF" title="Special:ExportRDF/RIF">RDF feed</a></span></span><table class="smwfacttable">
<tr><td class="smwpropname"><a href="/2001/sw/wiki/Property:Creator" title="Property:Creator">Creator</a></td><td class="smwprops"><a href="http://www.w3.org/2001/sw/#rdf" class="external free" title="http://www.w3.org/2001/sw/#rdf" rel="nofollow">http://www.w3.org/2001/sw/#rdf</a>&#160;&#160;<span class="smwsearch"><a href="/2001/sw/wiki/Special:SearchByProperty/Creator/http:-2F-2Fwww.w3.org-2F2001-2Fsw-2F-23rdf" title="Special:SearchByProperty/Creator/http:-2F-2Fwww.w3.org-2F2001-2Fsw-2F-23rdf">+</a></span></td></tr><tr><td class="smwpropname"><a href="/2001/sw/wiki/Property:Date" title="Property:Date">Date</a></td><td class="smwprops">22 June 2010&#160;&#160;<span class="smwsearch"><a href="/2001/sw/wiki/Special:SearchByProperty/Date/22-20June-202010" title="Special:SearchByProperty/Date/22-20June-202010">+</a></span></td></tr><tr><td class="smwpropname"><a href="/2001/sw/wiki/Property:Description" title="Property:Description">Description</a></td><td class="smwprops">The goal of RIF is to define a standard for exchanging rules among rule systems, in particular among Web rule engines.&#160;&#160;<span class="smwsearch"><a href="/2001/sw/wiki/Special:SearchByProperty/Description/The-20goal-20of-20RIF-20is-20to-20define-20a-20standard-20for-20exchanging-20rules-20among-20rule-20systems,-20in-20particular-20among-20Web-20rule-20engines." title="Special:SearchByProperty/Description/The-20goal-20of-20RIF-20is-20to-20define-20a-20standard-20for-20exchanging-20rules-20among-20rule-20systems,-20in-20particular-20among-20Web-20rule-20engines.">+</a></span></td></tr><tr><td class="smwpropname"><a href="/2001/sw/wiki/Property:SameAs" title="Property:SameAs">SameAs</a></td><td class="smwprops"><a href="http://www.w3.org/2002/01/tr-automation/techs#rdf" class="external free" title="http://www.w3.org/2002/01/tr-automation/techs#rdf" rel="nofollow">http://www.w3.org/2002/01/tr-automation/techs#rdf</a>&#160;&#160;<span class="smwsearch"><a href="/2001/sw/wiki/Special:SearchByProperty/SameAs/http:-2F-2Fwww.w3.org-2F2002-2F01-2Ftr-2Dautomation-2Ftechs-23rdf" title="Special:SearchByProperty/SameAs/http:-2F-2Fwww.w3.org-2F2002-2F01-2Ftr-2Dautomation-2Ftechs-23rdf">+</a></span></td></tr><tr><td class="smwpropname"><a href="/2001/sw/wiki/Property:SeeAlso" title="Property:SeeAlso">SeeAlso</a></td><td class="smwprops"><a href="http://www.w3.org/standards/techs/rdf" class="external free" title="http://www.w3.org/standards/techs/rdf" rel="nofollow">http://www.w3.org/standards/techs/rdf</a>&#160;&#160;<span class="smwsearch"><a href="/2001/sw/wiki/Special:SearchByProperty/SeeAlso/http:-2F-2Fwww.w3.org-2Fstandards-2Ftechs-2Frdf" title="Special:SearchByProperty/SeeAlso/http:-2F-2Fwww.w3.org-2Fstandards-2Ftechs-2Frdf">+</a></span></td></tr></table></div>

</div>
			<div class="visualClear"></div>
		</div>
	</div>
		</div>
		<div id="column-one">
	<div id="p-cactions" class="portlet">
		<h5>Views</h5>
		<div class="pBody">
			<ul>
	
				 <li id="ca-nstab-main" class="selected"><a href="/2001/sw/wiki/RIF" title="View the content page [c]" accesskey="c">Page</a></li>
				 <li id="ca-talk" class="new"><a href="/2001/sw/wiki/index.php?title=Talk:RIF&amp;action=edit&amp;redlink=1" title="Discussion about the content page [t]" accesskey="t">Discussion</a></li>
				 <li id="ca-viewsource"><a href="/2001/sw/wiki/index.php?title=RIF&amp;action=edit" title="This page is protected.&#10;You can view its source [e]" accesskey="e">View source</a></li>
				 <li id="ca-history"><a href="/2001/sw/wiki/index.php?title=RIF&amp;action=history" title="Past revisions of this page [h]" accesskey="h">History</a></li>			</ul>
		</div>
	</div>
	<div class="portlet" id="p-personal">
		<h5>Personal tools</h5>
		<div class="pBody">
			<ul>
				<li id="pt-login"><a href="/2001/sw/wiki/index.php?title=Special:UserLogin&amp;returnto=RIF" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o">Log in</a></li>
			</ul>
		</div>
	</div>
	<div class="portlet" id="p-logo">
		<a style="background-image: url(/Icons/SW/sw-vert-w3c.png);" href="/2001/sw/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"></a>
	</div>
	<script type="text/javascript"> if (window.isMSIE55) fixalpha(); </script>
	<div class='generated-sidebar portlet' id='p-Navigation'>
		<h5>Navigation</h5>
		<div class='pBody'>
			<ul>
				<li id="n-mainpage"><a href="/2001/sw/wiki/Main_Page" title="Visit the main page">Main Page</a></li>
				<li id="n-recentchanges"><a href="/2001/sw/wiki/Special:RecentChanges" title="The list of recent changes in the wiki [r]" accesskey="r">Recent changes</a></li>
				<li id="n-Tools"><a href="/2001/sw/wiki/Tools">Tools</a></li>
				<li id="n-Books"><a href="/2001/sw/wiki/Books">Books</a></li>
				<li id="n-Validators"><a href="/2001/sw/wiki/SWValidators">Validators</a></li>
			</ul>
		</div>
	</div>
	<div class='generated-sidebar portlet' id='p-Other_W3C_resources'>
		<h5>Other W3C resources</h5>
		<div class='pBody'>
			<ul>
				<li id="n-Activity-news"><a href="http://www.w3.org/2001/sw/anews/">Activity news</a></li>
				<li id="n-Publications"><a href="http://www.w3.org/2001/sw/Specs.html">Publications</a></li>
				<li id="n-Logos.2C-buttons"><a href="http://www.w3.org/2007/10/sw-logos.html">Logos, buttons</a></li>
				<li id="n-Activity-home-page"><a href="http://www.w3.org/2001/sw/">Activity home page</a></li>
			</ul>
		</div>
	</div>
	<div class='generated-sidebar portlet' id='p-W3C_RSS_feeds'>
		<h5>W3C RSS feeds</h5>
		<div class='pBody'>
			<ul>
				<li id="n-Activity-newsfeed"><a href="http://www.w3.org/blog/SW?tempskin=_rdf">Activity newsfeed</a></li>
				<li id="n-W3C-blogs"><a href="http://www.ivan-herman.net/cgi-bin/toRss1.py?uri=http://www.w3.org/QA/atom.xml&amp;categories=[Semantic+Web]&amp;title=W3C+QA+Blog,+Semantic+Web&amp;link=http://www.w3.org/QA/atom.xml">W3C blogs</a></li>
				<li id="n-Use-cases.2C-case-studies"><a href="http://www.w3.org/2001/sw/sweo/public/UseCases/Overview.rdf">Use cases, case studies</a></li>
			</ul>
		</div>
	</div>
	<div class='generated-sidebar portlet' id='p-Account_request'>
		<h5>Account request</h5>
		<div class='pBody'>
			<ul>
				<li id="n-W3C-Member"><a href="http://www.w3.org/Help/Account/Request/Member">W3C Member</a></li>
				<li id="n-Public"><a href="http://www.w3.org/Help/Account/Request/Public">Public</a></li>
			</ul>
		</div>
	</div>
	<div id="p-search" class="portlet">
		<h5><label for="searchInput">Search</label></h5>
		<div id="searchBody" class="pBody">
			<form action="/2001/sw/wiki/index.php" id="searchform"><div>
				<input type='hidden' name="title" value="Special:Search"/>
				<input id="searchInput" name="search" type="text" title="Search Semantic Web Standards [f]" accesskey="f" value="" />
				<input type='submit' name="go" class="searchButton" id="searchGoButton"	value="Go" title="Go to a page with this exact name if exists" />&nbsp;
				<input type='submit' name="fulltext" class="searchButton" id="mw-searchButton" value="Search" title="Search the pages for this text" />
			</div></form>
		</div>
	</div>
	<div class="portlet" id="p-tb">
		<h5>Toolbox</h5>
		<div class="pBody">
			<ul>
				<li id="t-whatlinkshere"><a href="/2001/sw/wiki/Special:WhatLinksHere/RIF" title="List of all wiki pages that link here [j]" accesskey="j">What links here</a></li>
				<li id="t-recentchangeslinked"><a href="/2001/sw/wiki/Special:RecentChangesLinked/RIF" title="Recent changes in pages linked from this page [k]" accesskey="k">Related changes</a></li>
<li id="t-specialpages"><a href="/2001/sw/wiki/Special:SpecialPages" title="List of all special pages [q]" accesskey="q">Special pages</a></li>
				<li id="t-print"><a href="/2001/sw/wiki/index.php?title=RIF&amp;printable=yes" rel="alternate" title="Printable version of this page [p]" accesskey="p">Printable version</a></li>				<li id="t-permalink"><a href="/2001/sw/wiki/index.php?title=RIF&amp;oldid=1709" title="Permanent link to this revision of the page">Permanent link</a></li><li id="t-smwbrowselink"><a href="/2001/sw/wiki/Special:Browse/RIF" title="Special:Browse/RIF">Browse properties</a></li>			</ul>
		</div>
	</div>
		</div><!-- end of the left (by default at least) column -->
			<div class="visualClear"></div>
			<div id="footer">
				<div id="f-poweredbyico"><a href="http://www.mediawiki.org/"><img src="/2001/sw/wiki/skins/common/images/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" /></a></div>
			<ul id="f-list">
					<li id="lastmod"> This page was last modified on 22 June 2010, at 20:44.</li>
					<li id="viewcount">This page has been accessed 63,117 times.</li>
					<li id="privacy"><a href="/2001/sw/wiki/Semantic_Web_Standards:Privacy_policy" title="Semantic Web Standards:Privacy policy">Privacy policy</a></li>
					<li id="about"><a href="/2001/sw/wiki/Semantic_Web_Standards:About" title="Semantic Web Standards:About">About Semantic Web Standards</a></li>
					<li id="disclaimer"><a href="/2001/sw/wiki/Semantic_Web_Standards:General_disclaimer" title="Semantic Web Standards:General disclaimer">Disclaimers</a></li>
			</ul>
		</div>
</div>

		<script type="text/javascript">if (window.runOnloadHook) runOnloadHook();</script>
<!-- Served in 0.301 secs. --></body></html>