⭐ 欢迎来到虫虫下载站！ | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站
📤 上传资源

📄 term.html

📁 本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
📖 第 1 页 / 共 5 页
字号:
🔍
12345 
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf,
                    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#fmoleculeSubClassOf(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term)">fmoleculeSubClassOf</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,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf)</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#fmoleculeSubClassOf(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCall...)">fmoleculeSubClassOf</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,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf,
                    <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#fmoleculeSubClassOf(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCallType, org.semanticweb.kaon2.api.logic.Term)">fmoleculeSubClassOf</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/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf,
                    <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;methodCallType,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&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/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#fmoleculeSubClassOf(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, java.util.List)">fmoleculeSubClassOf</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,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf,
                    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#fmoleculeSubClassOf(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.flogic.FMethodCallType, org.semanticweb.kaon2.api.logic.Term)">fmoleculeSubClassOf</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,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;subClassOf,
                    <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;methodCallType,
                    <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&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/logic/FunctionalTerm.html" title="interface in org.semanticweb.kaon2.api.logic">FunctionalTerm</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#functionalTerm(java.lang.Object, org.semanticweb.kaon2.api.logic.Term...)">functionalTerm</A></B>(java.lang.Object&nbsp;functionSymbol,
               <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>...&nbsp;arguments)</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;java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&gt;</CODE></FONT></TD>
<TD><CODE><B>KAON2Connection.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Connection.html#getOntologies(org.semanticweb.kaon2.api.logic.Term)">getOntologies</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the set of onotlogies opened by this connection that have the given module.</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/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#literal(boolean, org.semanticweb.kaon2.api.logic.Predicate, org.semanticweb.kaon2.api.logic.Term...)">literal</A></B>(boolean&nbsp;isPositive,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>...&nbsp;terms)</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/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#literal(org.semanticweb.kaon2.api.logic.Term, boolean, org.semanticweb.kaon2.api.logic.Predicate, java.util.List)">literal</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module,
        boolean&nbsp;isPositive,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate,
        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;terms)</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/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#literal(org.semanticweb.kaon2.api.logic.Term, boolean, org.semanticweb.kaon2.api.logic.Predicate, org.semanticweb.kaon2.api.logic.Term...)">literal</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module,
        boolean&nbsp;isPositive,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>...&nbsp;terms)</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/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#literal(org.semanticweb.kaon2.api.logic.Term, boolean, org.semanticweb.kaon2.api.logic.Predicate, org.semanticweb.kaon2.api.logic.Term...)">literal</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module,
        boolean&nbsp;isPositive,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate,
        <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>...&nbsp;terms)</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;boolean</CODE></FONT></TD>
<TD><CODE><B>Ontology.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html#occursInAxioms(org.semanticweb.kaon2.api.logic.Term, boolean)">occursInAxioms</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;term,
               boolean&nbsp;checkImportedOntologies)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Checks whether the supplied term occurs in one of the axioms of this ontology.</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>Ontology.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html#replaceTerm(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.ProgressListener)">replaceTerm</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;termToReplace,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;replaceWith,
            <A HREF="../../../../../../org/semanticweb/kaon2/api/ProgressListener.html" title="interface in org.semanticweb.kaon2.api">ProgressListener</A>&nbsp;progressListener)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Replaces all occurrences of one term in this ontology with another term.</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>Ontology.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html#setModule(org.semanticweb.kaon2.api.logic.Term)">setModule</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;module)</CODE>
12345

⌨️ 快捷键说明

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