📄 formula.html
字号:
<BR>
Represents the default negation (negation-as-failure) of a formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Disjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Disjunction</A></B></CODE>
<BR>
A formula that represents the disjunction of other formulae.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Equivalence.html" title="interface in org.semanticweb.kaon2.api.logic">Equivalence</A></B></CODE>
<BR>
Represents an equivalence formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Exists.html" title="interface in org.semanticweb.kaon2.api.logic">Exists</A></B></CODE>
<BR>
Implements an existentially quantified formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A></B></CODE>
<BR>
This is a tagging interface that identifies formulae that represent facts.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></B></CODE>
<BR>
Implements a universally quantified formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Implication.html" title="interface in org.semanticweb.kaon2.api.logic">Implication</A></B></CODE>
<BR>
Represents an implication formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></B></CODE>
<BR>
Represents a literal in the rule.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></B></CODE>
<BR>
Represents a rule in the program.</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> that return <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Formula.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html#apply(java.util.Map)">apply</A></B>(java.util.Map<<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>,<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>> substitution)</CODE>
<BR>
Returns the formula obtained by replacing free variables according to the specified substitution.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Implication.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Implication.html#getAntecedent()">getAntecedent</A></B>()</CODE>
<BR>
Returns the antecedent.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Rule.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html#getBodyFormula(int)">getBodyFormula</A></B>(int bodyFormulaIndex)</CODE>
<BR>
Returns the body formula with given index.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]</CODE></FONT></TD>
<TD><CODE><B>Rule.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html#getBodyFormulae()">getBodyFormulae</A></B>()</CODE>
<BR>
Returns the array of body formula.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Formula.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getClassicalComplementNNF()">getClassicalComplementNNF</A></B>()</CODE>
<BR>
Returns the negation-normal form of this formula complemented under classical negation.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Implication.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Implication.html#getConsequent()">getConsequent</A></B>()</CODE>
<BR>
Returns the consequent.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Formula.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getDefaultComplementNNF()">getDefaultComplementNNF</A></B>()</CODE>
<BR>
Returns the negation-normal form of this formula complemented under default negation.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>QueryDefinition.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html#getFormula()">getFormula</A></B>()</CODE>
<BR>
The formula of the query.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Forall.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html#getFormula()">getFormula</A></B>()</CODE>
<BR>
Returns the formula that is being quantified.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>Exists.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Exists.html#getFormula()">getFormula</A></B>()</CODE>
<BR>
Returns the formula that is being quantified.</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/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></CODE></FONT></TD>
<TD><CODE><B>DefaultNegation.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/DefaultNegation.html#getFormula()">getFormula</A></B>()</CODE>
<BR>
Returns the negated formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -