📄 rule.html
字号:
<BR>
Checks if this rule is a tautology.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#normalize()">normalize</A></B>()</CODE>
<BR>
Normalizes this rule by eliminating certain surplus formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#replaceHeadOrBody(org.semanticweb.kaon2.api.logic.Formula[], boolean, org.semanticweb.kaon2.api.logic.Formula[])">replaceHeadOrBody</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] newHeadFormulae,
boolean isHeadConjunctive,
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] newBodyFormulae)</CODE>
<BR>
Creates a rule in which the body and/or the head formulae are replaced with new formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#replaceHeadOrBody(org.semanticweb.kaon2.api.logic.Formula[], org.semanticweb.kaon2.api.logic.Formula[])">replaceHeadOrBody</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] newHeadFormulae,
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] newBodyFormulae)</CODE>
<BR>
Creates a rule in which the body and/or the head formulae are replaced with new formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#replaceHeadOrBody(java.util.List, boolean, java.util.List)">replaceHeadOrBody</A></B>(java.util.List<? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> newHeadFormulae,
boolean isHeadConjunctive,
java.util.List<? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> newBodyFormulae)</CODE>
<BR>
Creates a rule in which the body and/or the head formulae are replaced with new formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#replaceHeadOrBody(java.util.List, java.util.List)">replaceHeadOrBody</A></B>(java.util.List<? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> newHeadFormulae,
java.util.List<? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> newBodyFormulae)</CODE>
<BR>
Creates a rule in which the body and/or the head formulae are replaced with new formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html" title="class in org.semanticweb.kaon2.api.logic">Rule.SubsumptionResult</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html#subsumes(org.semanticweb.kaon2.api.logic.Rule)">subsumes</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> rule)</CODE>
<BR>
Checks whether this rule subsumes another rule.</TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.logic.Formula"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#apply(java.util.Map)">apply</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getClassicalComplementNNF()">getClassicalComplementNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getDefaultComplementNNF()">getDefaultComplementNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables()">getFreeVariables</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables(java.util.Set)">getFreeVariables</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getNNF()">getNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isClosed()">isClosed</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isGround()">isGround</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isInNNF()">isInNNF</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.Axiom"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#getAxiomID()">getAxiomID</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE></TD>
</TR>
</TABLE>
<P>
<!-- ============ METHOD DETAIL ========== -->
<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="getHeadFormulae()"><!-- --></A><H3>
getHeadFormulae</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] <B>getHeadFormulae</B>()</PRE>
<DL>
<DD>Returns the array of head formulae. The returned object is not owned by this rule and can be freely changed without affecting the rule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the head formulae</DL>
</DD>
</DL>
<HR>
<A NAME="getHeadLiterals()"><!-- --></A><H3>
getHeadLiterals</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A>[] <B>getHeadLiterals</B>()</PRE>
<DL>
<DD>Returns the array of head literals. The returned object is not owned by this rule and can be freely changed without affecting the rule. If the head contains a non-literal, ClassCastException is thrown.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the head literals</DL>
</DD>
</DL>
<HR>
<A NAME="getHeadLength()"><!-- --></A><H3>
getHeadLength</H3>
<PRE>
int <B>getHeadLength</B>()</PRE>
<DL>
<DD>Returns the number of head literals.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the number of head literals</DL>
</DD>
</DL>
<HR>
<A NAME="getHeadFormula(int)"><!-- --></A><H3>
getHeadFormula</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> <B>getHeadFormula</B>(int headFormulaIndex)</PRE>
<DL>
<DD>Returns the head formula with given index.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>headFormulaIndex</CODE> - the index of the head formula
<DT><B>Returns:</B><DD>the head formula with given index</DL>
</DD>
</DL>
<HR>
<A NAME="getHeadLiteral(int)"><!-- --></A><H3>
getHeadLiteral</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A> <B>getHeadLiteral</B>(int headLiteralIndex)
throws java.lang.ClassCastException</PRE>
<DL>
<DD>Returns the head formula with given index casted to a Literal. If the formula is not a literal, ClassCastException is thrown.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>headLiteralIndex</CODE> - the index of the head literal
<DT><B>Returns:</B><DD>the head ltieral with given index
<DT><B>Throws:</B>
<DD><CODE>java.lang.ClassCastException</CODE> - thrown if the head formula with given index is not a Literal</DL>
</DD>
</DL>
<HR>
<A NAME="isHeadConjunctive()"><!-- --></A><H3>
isHeadConjunctive</H3>
<PRE>
boolean <B>isHeadConjunctive</B>()</PRE>
<DL>
<DD>If this method returns <code>true</code>, then the head literals of this rule should be interpreted conjunctively; otherwise, they are interpreted disjunctively.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>if <code>true</code>, then the head literals of this rule should be interpreted conjunctively</DL>
</DD>
</DL>
<HR>
<A NAME="getBodyFormulae()"><!-- --></A><H3>
getBodyFormulae</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] <B>getBodyFormulae</B>()</PRE>
<DL>
<DD>Returns the array of body formula. The returned object is not owned by this rule and can be freely changed without affecting the rule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the body formulae</DL>
</DD>
</DL>
<HR>
<A NAME="getBodyLiterals()"><!-- --></A><H3>
getBodyLiterals</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A>[] <B>getBodyLiterals</B>()
throws java.lang.ClassCastException</PRE>
<DL>
<DD>Returns the array of body literals. The returned object is not owned by this rule and can be freely changed without affecting the rule. If the body contains a non-literal, ClassCastException is thrown.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the body literals
<DT><B>Throws:</B>
<DD><CODE>java.lang.ClassCastException</CODE></DL>
</DD>
</DL>
<HR>
<A NAME="getBodyLength()"><!-- --></A><H3>
getBodyLength</H3>
<PRE>
int <B>getBodyLength</B>()</PRE>
<DL>
<DD>Returns the number of body literals.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the number of body literals</DL>
</DD>
</DL>
<HR>
<A NAME="getBodyFormula(int)"><!-- --></A><H3>
getBodyFormula</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> <B>getBodyFormula</B>(int bodyFormulaIndex)</PRE>
<DL>
<DD>Returns the body formula with given index.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>bodyFormulaIndex</CODE> - the index of the body formula
<DT><B>Returns:</B><DD>the literal with given index</DL>
</DD>
</DL>
<HR>
<A NAME="getBodyLiteral(int)"><!-- --></A><H3>
getBodyLiteral</H3>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -