variable.html

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

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Adds the free variables of this formula to the supplied set.</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">Constructor 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><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html#Rule.SubsumptionResult(org.semanticweb.kaon2.api.logic.Rule.SubsumptionType, java.util.Map, boolean)">Rule.SubsumptionResult</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionType.html" title="enum in org.semanticweb.kaon2.api.logic">Rule.SubsumptionType</A>&nbsp;subsumptionType,
                       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,
                       boolean&nbsp;isVariableRenaming)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TD>
</TR>
</TABLE>
&nbsp;
<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/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</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 <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>Query.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Query.html#getDistinguishedVariables()">getDistinguishedVariables</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns 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/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</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;<A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A></CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula[], org.semanticweb.kaon2.api.logic.Variable[])">createQuery</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]&nbsp;queryFormulae,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>[]&nbsp;distinguishedVariables)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query over the ontology owned by the reasoner.</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/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A></CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Variable[], org.semanticweb.kaon2.api.OntologyChangeEvent[], org.semanticweb.kaon2.api.logic.FactFormula[])">createQuery</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;queryFormula,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>[]&nbsp;distinguishedVariables,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>[]&nbsp;temporaryChanges,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>[]&nbsp;constructPattern)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query over the ontology owned by the reasoner.</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/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/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A></CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Formula, java.util.List, java.util.List, java.util.List)">createQuery</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;queryFormula,
            java.util.List&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;&nbsp;distinguishedVariables,
            java.util.List&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>&gt;&nbsp;temporaryChanges,
            java.util.List&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>&gt;&nbsp;constructPattern)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query over the ontology owned by the reasoner.</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/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A></CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(java.util.List, java.util.List)">createQuery</A></B>(java.util.List&lt;? extends <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;queryFormulae,
            java.util.List&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt;&nbsp;distinguishedVariables)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query over the ontology owned by the reasoner.</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/Variable.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-useVariable.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="Variable.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>