📄 variable.html

📁 本体推理工具共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
📖 第 1 页 / 共 4 页
字号:
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A> in <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</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">Fields in <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> with type parameters of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Map&lt;<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>&gt;</CODE></FONT></TD>
<TD><CODE><B>Rule.SubsumptionResult.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html#m_substitution">m_substitution</A></B></CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> that return <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></CODE></FONT></TD>
<TD><CODE><B>Literal.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArgumentVariable(int)">getArgumentVariable</A></B>(int&nbsp;argumentIndex)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the variable at given position.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></CODE></FONT></TD>
<TD><CODE><B>QueryDefinition.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html#getDistinguishedVariable(int)">getDistinguishedVariable</A></B>(int&nbsp;index)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the distinguished variable with a given index.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>[]</CODE></FONT></TD>
<TD><CODE><B>QueryDefinition.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html#getDistinguishedVariables()">getDistinguishedVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;The distinguished variables of the query.</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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> that return types with arguments of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Rule.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.html#getBoundVariables()">getBoundVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of variables bound by the implicit universal qnaitifier in front of the implication.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Forall.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html#getBoundVariables()">getBoundVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of variables bound by the quantifier.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Exists.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Exists.html#getBoundVariables()">getBoundVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of variables bound by the quantifier.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Term.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html#getFreeVariables()">getFreeVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of the free variables of this term.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>Formula.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables()">getFreeVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of free variables of this formula.</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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> with parameters of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</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>Term.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html#containsVariable(org.semanticweb.kaon2.api.logic.Variable)">containsVariable</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&nbsp;variable)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns <code>true</code> if this term contains the supplied variable.</TD>
</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>Literal.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Literal.html#containsVariable(org.semanticweb.kaon2.api.logic.Variable)">containsVariable</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&nbsp;variable)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns <code>true</code> if this literal contains the supplied variable.</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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> with type arguments of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A></CODE></FONT></TD>
<TD><CODE><B>Term.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html#apply(java.util.Map)">apply</A></B>(java.util.Map&lt;<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>&gt;&nbsp;substitution)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the term 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>&nbsp;<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&lt;<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>&gt;&nbsp;substitution)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;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>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B>Term.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html#getFreeVariables(java.util.Set)">getFreeVariables</A></B>(java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;&nbsp;freeVariables)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Adds the free variables of this term to the supplied set.</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>Formula.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables(java.util.Set)">getFreeVariables</A></B>(java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;&nbsp;freeVariables)</CODE>

<BR>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -