📄 term.html

📁 本体推理工具共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
📖 第 1 页 / 共 5 页
字号:
<TD><CODE><B>KAON2Manager.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Manager.html#getModule(java.lang.String, java.net.Proxy)">getModule</A></B>(java.lang.String&nbsp;physicalURI,
          java.net.Proxy&nbsp;proxy)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the module of the ontology with the given physical URI.</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/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#groundTerm(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)">groundTerm</A></B>(java.io.Reader&nbsp;reader,
           <A HREF="../../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#groundTerm(java.lang.String, org.semanticweb.kaon2.api.Namespaces)">groundTerm</A></B>(java.lang.String&nbsp;string,
           <A HREF="../../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces)</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/package-summary.html">org.semanticweb.kaon2.api</A> that return types with arguments of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</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/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>KAON2Connection.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Connection.html#getModules()">getModules</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of modules of all ontologies opened by this connection.</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/package-summary.html">org.semanticweb.kaon2.api</A> with parameters of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object)">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object&nbsp;result)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, java.util.List, org.semanticweb.kaon2.api.flogic.FMethodCallType, java.util.List)">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            java.util.List&lt;? extends <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&gt;&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.util.List&lt;? extends java.lang.Object&gt;&nbsp;results)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, java.util.List, org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object)">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            java.util.List&lt;? extends <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&gt;&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object&nbsp;result)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term[], org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object)">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[]&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object&nbsp;result)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term[], org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object)">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[]&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object&nbsp;result)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term[], org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object[])">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[]&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object[]&nbsp;results)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmethodCall(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term[], org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object[])">fmethodCall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;methodName,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[]&nbsp;arguments,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A>&nbsp;type,
            java.lang.Object[]&nbsp;results)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmolecule(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCall...)">fmolecule</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;object,
          <A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>...&nbsp;methodCalls)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmolecule(org.semanticweb.kaon2.api.logic.Term, java.util.List)">fmolecule</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;object,
          java.util.List&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>&gt;&nbsp;methodCalls)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</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/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#fmolecule(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCall...)">fmolecule</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module,
          <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;object,
⌨️ 快捷键说明

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