?? rule.html
字號:
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>> bodyFormulae)</CODE>
<BR>
</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>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#rule(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula[], boolean, org.semanticweb.kaon2.api.logic.Formula[])">rule</A></B>(java.lang.Object axiomID,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] headFormulae,
boolean isHeadConjunctive,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] bodyFormulae)</CODE>
<BR>
</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>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#rule(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Formula[])">rule</A></B>(java.lang.Object axiomID,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> headFormula,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[] bodyFormulae)</CODE>
<BR>
</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>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#rule(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula, java.util.List)">rule</A></B>(java.lang.Object axiomID,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> headFormula,
java.util.List<? extends <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> bodyFormulae)</CODE>
<BR>
</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>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#rule(java.lang.Object, java.util.List, boolean, java.util.List)">rule</A></B>(java.lang.Object axiomID,
java.util.List<? extends <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>> headFormulae,
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>> bodyFormulae)</CODE>
<BR>
</TD>
</TR>
</TABLE>
<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/package-summary.html">org.semanticweb.kaon2.api</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> java.lang.Object</CODE></FONT></TD>
<TD><CODE><B>KAON2Visitor.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Visitor.html#visit(org.semanticweb.kaon2.api.logic.Rule)">visit</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> object)</CODE>
<BR>
</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.logic"><!-- --></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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A></FONT></TH>
</TR>
</TABLE>
<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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> that return <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> <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>Rule.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html#getDLSafeVersion()">getDLSafeVersion</A></B>()</CODE>
<BR>
Returns the DL-safe version of this rule.</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>Rule.</B><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>Rule.</B><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>Rule.</B><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>Rule.</B><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>Rule.</B><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>
</TABLE>
<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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</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> <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>Rule.</B><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>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -