<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <title>Soprano: Soprano::Inference Namespace Reference</title> <link href="tabs.css" rel="stylesheet" type="text/css"/> <link href="doxygen.css" rel="stylesheet" type="text/css"/> </head> <body> <!-- Generated by Doxygen 1.7.1 --> <script type="text/javascript"> function hasClass(ele,cls) { return ele.className.match(new RegExp('(\\s|^)'+cls+'(\\s|$)')); } function addClass(ele,cls) { if (!this.hasClass(ele,cls)) ele.className += " "+cls; } function removeClass(ele,cls) { if (hasClass(ele,cls)) { var reg = new RegExp('(\\s|^)'+cls+'(\\s|$)'); ele.className=ele.className.replace(reg,' '); } } function toggleVisibility(linkObj) { var base = linkObj.getAttribute('id'); var summary = document.getElementById(base + '-summary'); var content = document.getElementById(base + '-content'); var trigger = document.getElementById(base + '-trigger'); if ( hasClass(linkObj,'closed') ) { summary.style.display = 'none'; content.style.display = 'block'; trigger.src = 'open.png'; removeClass(linkObj,'closed'); addClass(linkObj,'opened'); } else if ( hasClass(linkObj,'opened') ) { summary.style.display = 'block'; content.style.display = 'none'; trigger.src = 'closed.png'; removeClass(linkObj,'opened'); addClass(linkObj,'closed'); } return false; } </script> <div class="navigation" id="top"> <div class="tabs"> <ul class="tablist"> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li class="current"><a href="namespaces.html"><span>Namespaces</span></a></li> <li><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs2"> <ul class="tablist"> <li><a href="namespaces.html"><span>Namespace List</span></a></li> <li><a href="namespacemembers.html"><span>Namespace Members</span></a></li> </ul> </div> <div class="navpath"> <ul> <li><a class="el" href="namespaceSoprano.html">Soprano</a> </li> <li><a class="el" href="namespaceSoprano_1_1Inference.html">Inference</a> </li> </ul> </div> </div> <div class="header"> <div class="summary"> <a href="#nested-classes">Classes</a> | <a href="#enum-members">Enumerations</a> </div> <div class="headertitle"> <h1>Soprano::Inference Namespace Reference</h1> </div> </div> <div class="contents"> <table class="memberdecls"> <tr><td colspan="2"><h2><a name="nested-classes"></a> Classes</h2></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1InferenceModel.html">InferenceModel</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">The <a class="el" href="namespaceSoprano.html">Soprano</a> <a class="el" href="namespaceSoprano_1_1Inference.html">Inference</a> <a class="el" href="classSoprano_1_1Model.html" title="A Model is the central class in Soprano. It is a queryable collection of RDF quadruples, i.e statements.">Model</a> provides a simple forward chaining inference engine which uses the underlying parent model itself to store status information. <a href="classSoprano_1_1Inference_1_1InferenceModel.html#_details">More...</a><br/></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1Rule.html">Rule</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">A rule used by the <a class="el" href="classSoprano_1_1Inference_1_1InferenceModel.html" title="The Soprano Inference Model provides a simple forward chaining inference engine which uses the underl...">InferenceModel</a> to generate inferenced statements. <a href="classSoprano_1_1Inference_1_1Rule.html#_details">More...</a><br/></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1RuleParser.html">RuleParser</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">The <a class="el" href="classSoprano_1_1Inference_1_1RuleParser.html" title="The RuleParser can be used to parse Soprano rule files.">RuleParser</a> can be used to parse Soprano rule files. <a href="classSoprano_1_1Inference_1_1RuleParser.html#_details">More...</a><br/></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1RuleSet.html">RuleSet</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">A set of inference rules. <a href="classSoprano_1_1Inference_1_1RuleSet.html#_details">More...</a><br/></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Smallest building block of an inference <a class="el" href="classSoprano_1_1Inference_1_1Rule.html" title="A rule used by the InferenceModel to generate inferenced statements.">Rule</a>. <a href="classSoprano_1_1Inference_1_1NodePattern.html#_details">More...</a><br/></td></tr> <tr><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Building block of an inference <a class="el" href="classSoprano_1_1Inference_1_1Rule.html" title="A rule used by the InferenceModel to generate inferenced statements.">Rule</a>. <a href="classSoprano_1_1Inference_1_1StatementPattern.html#_details">More...</a><br/></td></tr> <tr><td colspan="2"><h2><a name="enum-members"></a> Enumerations</h2></td></tr> <tr><td class="memItemLeft" align="right" valign="top">enum </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSoprano_1_1Inference.html#ae25c7ae3098c11663f555a3bb8aef3a9">StandardRuleSet</a> { <a class="el" href="namespaceSoprano_1_1Inference.html#ae25c7ae3098c11663f555a3bb8aef3a9a6b859b7e7c1fdbdcf346eee194977f95">RDFS</a>, <a class="el" href="namespaceSoprano_1_1Inference.html#ae25c7ae3098c11663f555a3bb8aef3a9a21f02c57ce8fb9f3813cf1f6dca5332a">NRL</a> }</td></tr> </table> <hr/><h2>Enumeration Type Documentation</h2> <a class="anchor" id="ae25c7ae3098c11663f555a3bb8aef3a9"></a><!-- doxytag: member="Soprano::Inference::StandardRuleSet" ref="ae25c7ae3098c11663f555a3bb8aef3a9" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">enum <a class="el" href="namespaceSoprano_1_1Inference.html#ae25c7ae3098c11663f555a3bb8aef3a9">Soprano::Inference::StandardRuleSet</a></td> </tr> </table> </div> <div class="memdoc"> <p>Soprano defines a number of rule sets. </p> <dl><dt><b>Enumerator: </b></dt><dd><table border="0" cellspacing="2" cellpadding="0"> <tr><td valign="top"><em><a class="anchor" id="ae25c7ae3098c11663f555a3bb8aef3a9a6b859b7e7c1fdbdcf346eee194977f95"></a><!-- doxytag: member="RDFS" ref="ae25c7ae3098c11663f555a3bb8aef3a9a6b859b7e7c1fdbdcf346eee194977f95" args="" -->RDFS</em> </td><td> <p>RDFS closure rules. </p> </td></tr> <tr><td valign="top"><em><a class="anchor" id="ae25c7ae3098c11663f555a3bb8aef3a9a21f02c57ce8fb9f3813cf1f6dca5332a"></a><!-- doxytag: member="NRL" ref="ae25c7ae3098c11663f555a3bb8aef3a9a21f02c57ce8fb9f3813cf1f6dca5332a" args="" -->NRL</em> </td><td> <p>NRL (Nepomuk Representation Language closure rules. </p> </td></tr> </table> </dd> </dl> <p>Definition at line <a class="el" href="inferenceruleset_8h_source.html#l00037">37</a> of file <a class="el" href="inferenceruleset_8h_source.html">inferenceruleset.h</a>.</p> </div> </div> </div> <hr class="footer"/><address class="footer"><small>Generated on Thu Oct 21 2010 for Soprano by <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.1 </small></address> </body> </html>