rule.html

本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理

 
<P>
<A NAME="org.semanticweb.kaon2.api.reasoner"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> in <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A></FONT></TH>
</TR>
</TABLE>
&nbsp;
<P>

<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A> that return types with arguments of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Collection&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getReductionToDisjunctiveDatalog(boolean, boolean, boolean, boolean)">getReductionToDisjunctiveDatalog</A></B>(boolean&nbsp;processABox,
                                 boolean&nbsp;unfoldNewPredicates,
                                 boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                                 boolean&nbsp;includeNonOWLAxioms)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Reduces the ontology to disjunctive datalog and returns thus obtained rules.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Collection&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getReductionToDLP(boolean, boolean, boolean, boolean)">getReductionToDLP</A></B>(boolean&nbsp;processABox,
                  boolean&nbsp;unfoldNewPredicates,
                  boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                  boolean&nbsp;includeNonOWLAxioms)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Reduces to ontology to disjunctive datalog, provided that it is in the DLP fragment.</TD>
</TR>
</TABLE>
&nbsp;
<P>

<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A> with parameters of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;boolean</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isRuleMaterialized(org.semanticweb.kaon2.api.logic.Rule)">isRuleMaterialized</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&nbsp;rule)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns <code>true</code> if the specified rule is materialized.</TD>
</TR>
</TABLE>
&nbsp;
<P>

<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Method parameters in <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A> with type arguments of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#addRuleRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.RuleProcessingStage)">addRuleRewriterFactory</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterFactory.html" title="interface in org.semanticweb.kaon2.extensionapi.rewriter">RewriterFactory</A>&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>,<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;&nbsp;rewriterFactory,
                       <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.RuleProcessingStage.html" title="enum in org.semanticweb.kaon2.api.reasoner">Reasoner.RuleProcessingStage</A>&nbsp;invokeAfter)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Registers a RewriterFactory for rules with this reasoner.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#addRuleRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.RuleProcessingStage)">addRuleRewriterFactory</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterFactory.html" title="interface in org.semanticweb.kaon2.extensionapi.rewriter">RewriterFactory</A>&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>,<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;&nbsp;rewriterFactory,
                       <A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.RuleProcessingStage.html" title="enum in org.semanticweb.kaon2.api.reasoner">Reasoner.RuleProcessingStage</A>&nbsp;invokeAfter)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Registers a RewriterFactory for rules with this reasoner.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#materializeRules(java.util.Collection, boolean)">materializeRules</A></B>(java.util.Collection&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;&nbsp;rules,
                 boolean&nbsp;status)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Notifies the reasoner whether a rule should be materialized or not.</TD>
</TR>
</TABLE>
&nbsp;
<P>
<HR>


<!-- ======= START OF BOTTOM NAVBAR ====== -->
<A NAME="navbar_bottom"><!-- --></A>
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_bottom_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
  <TR ALIGN="center" VALIGN="top">
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
  </TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>

<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;PREV&nbsp;
&nbsp;NEXT</FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/logic/\class-useRule.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="Rule.html" target="_top"><B>NO FRAMES</B></A>  &nbsp;
&nbsp;<SCRIPT type="text/javascript">
  <!--
  if(window==top) {
    document.writeln('<A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>');
  }
  //-->
</SCRIPT>
<NOSCRIPT>
  <A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>


</FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->

<HR>

</BODY>
</HTML>