📄 reasoner.html

📁 本体推理工具共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
📖 第 1 页 / 共 5 页
字号:
</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><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>
<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><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>
<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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.Namespaces, java.lang.String)">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces,
            java.lang.String&nbsp;queryText)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a query object from the query text.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.Namespaces, java.lang.String, java.util.List)">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces,
            java.lang.String&nbsp;queryText,
            java.util.List&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>&gt;&nbsp;temporaryChanges)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a query object from the query text.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.Namespaces, java.lang.String, org.semanticweb.kaon2.api.OntologyChangeEvent[])">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces,
            java.lang.String&nbsp;queryText,
            <A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>[]&nbsp;temporaryChanges)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a query object from the query text.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.Predicate)">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a conjunctive DL-safe query which returns the complete extension of the supplied predicate.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition)">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A>&nbsp;queryDefinition)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query from the <code>QueryDefinition</code> object.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, java.util.List)">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A>&nbsp;queryDefinition,
            java.util.List&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>&gt;&nbsp;temporaryChanges)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query from the <code>QueryDefinition</code> object.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, org.semanticweb.kaon2.api.OntologyChangeEvent[])">createQuery</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A>&nbsp;queryDefinition,
            <A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html" title="class in org.semanticweb.kaon2.api">OntologyChangeEvent</A>[]&nbsp;temporaryChanges)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Creates a DL-safe query from the <code>QueryDefinition</code> object.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#dispose()">dispose</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Frees the resources used by this reasoner.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#equivalent(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Description)">equivalent</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description1,
           <A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description2)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Checks if descriptions are equivalent.</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/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getOntology()">getOntology</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the ontology to which this reasoner is attached.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.lang.Object</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getParameter(java.lang.String)">getParameter</A></B>(java.lang.String&nbsp;parameterName)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns the parameter of the reasoner.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getReductionToDisjunctiveDatalog(boolean, boolean, boolean, boolean)">getReductionToDisjunctiveDatalog</A></B>(boolean&nbsp;processABox,
                                 boolean&nbsp;unfoldNewPredicates,
                                 boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                                 boolean&nbsp;includeNonOWLAxioms)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Reduces the ontology to disjunctive datalog and returns thus obtained rules.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getReductionToDLP(boolean, boolean, boolean, boolean)">getReductionToDLP</A></B>(boolean&nbsp;processABox,
                  boolean&nbsp;unfoldNewPredicates,
                  boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                  boolean&nbsp;includeNonOWLAxioms)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Reduces to ontology to disjunctive datalog, provided that it is in the DLP fragment.</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/SubsumptionHierarchy.html" title="interface in org.semanticweb.kaon2.api.reasoner">SubsumptionHierarchy</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#getSubsumptionHierarchy()">getSubsumptionHierarchy</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Computes the subsumption hierarchy for the knowledge base managed by this reasoner.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#interrupt()">interrupt</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Interrupts the current reasoning operation conducted by this reasoner.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isExtensionMaterialized(org.semanticweb.kaon2.api.logic.Predicate)">isExtensionMaterialized</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns <code>true</code> if the predicate is materialized.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isRuleMaterialized(org.semanticweb.kaon2.api.logic.Rule)">isRuleMaterialized</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&nbsp;rule)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Returns <code>true</code> if the specified rule is materialized.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isSatisfiable()">isSatisfiable</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Checks if the knowledge base is satisfiable.</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><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isSatisfiable(org.semanticweb.kaon2.api.owl.elements.Description)">isSatisfiable</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)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Checks if a description is satisfiable w.r.t.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
💿 文件大小 2303 K
👤 上传用户 foreigngirl
📂 所属分类人工智能/神经网络
🏷️ 相关标签

#本体 #理工
⌨️ 快捷键说明

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