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

📄 kaon2factory.html

📁 本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
📖 第 1 页 / 共 5 页
字号:
🔍
12345 
&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/owl/elements/AnnotationProperty.html" title="interface in org.semanticweb.kaon2.api.owl.elements">AnnotationProperty</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#annotationProperty(java.lang.String)">annotationProperty</A></B>(java.lang.String&nbsp;uri)</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/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axiom(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)">axiom</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/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axiom(java.lang.String, org.semanticweb.kaon2.api.Namespaces)">axiom</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>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axioms(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)">axioms</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;java.util.List&lt;<A HREF="../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axioms(java.lang.String, org.semanticweb.kaon2.api.Namespaces)">axioms</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>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;<A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.AxiomIterator.html" title="interface in org.semanticweb.kaon2.api">KAON2Factory.AxiomIterator</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axiomsIterator(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)">axiomsIterator</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/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic">ClassicalNegation</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#classicalNegation(org.semanticweb.kaon2.api.logic.Formula)">classicalNegation</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;formula)</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/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic">ClassicalNegation</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#classicalNegation(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula)">classicalNegation</A></B>(java.lang.Object&nbsp;axiomID,
                  <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;formula)</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/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ClassMember</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#classMember(org.semanticweb.kaon2.api.owl.elements.Annotation[], org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)">classMember</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>[]&nbsp;annotations,
            <A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description,
            <A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Individual.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Individual</A>&nbsp;individual)</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/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ClassMember</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#classMember(java.util.Collection, org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)">classMember</A></B>(java.util.Collection&lt;<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Annotation.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Annotation</A>&gt;&nbsp;annotations,
            <A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description,
            <A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Individual.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Individual</A>&nbsp;individual)</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/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ClassMember</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#classMember(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Individual)">classMember</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description,
            <A HREF="../../../../org/semanticweb/kaon2/api/owl/elements/Individual.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Individual</A>&nbsp;individual)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.util.Collection)">conjunction</A></B>(java.util.Collection&lt;? extends <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;formulae)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(org.semanticweb.kaon2.api.logic.Formula...)">conjunction</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>...&nbsp;formulae)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Formula)">conjunction</A></B>(<A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;first,
            <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&nbsp;second)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.lang.Object, java.util.Collection)">conjunction</A></B>(java.lang.Object&nbsp;axiomID,
            java.util.Collection&lt;? extends <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;formulae)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula...)">conjunction</A></B>(java.lang.Object&nbsp;axiomID,
            <A HREF="../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>...&nbsp;formulae)</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/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../org/semanticweb/kaon2/api/KAON2Factory.html#conjunction(java.lang.Object, org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Formula)">conjunction</A></B>(java.lang.Object&nbsp;axiomID,
12345

⌨️ 快捷键说明

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