reasoner.html

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

<DD><DL>
<DT><B>Parameters:</B><DD><CODE>description</CODE> - the description
<DT><B>Returns:</B><DD><code>true</code> if the description is satisfiable
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error
<DD><CODE>java.lang.InterruptedException</CODE> - thrown if reasoning is interrupted</DL>
</DD>
</DL>
<HR>

<A NAME="isSatisfiable()"><!-- --></A><H3>
isSatisfiable</H3>
<PRE>
boolean <B>isSatisfiable</B>()
                      throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                             java.lang.InterruptedException</PRE>
<DL>
<DD>Checks if the knowledge base is satisfiable. This method takes TBox, RBox and ABox into account.
<P>
<DD><DL>

<DT><B>Returns:</B><DD><code>true</code> if this knowledge base is satisfiable
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error
<DD><CODE>java.lang.InterruptedException</CODE> - thrown if reasoning is interrupted</DL>
</DD>
</DL>
<HR>

<A NAME="getSubsumptionHierarchy()"><!-- --></A><H3>
getSubsumptionHierarchy</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/SubsumptionHierarchy.html" title="interface in org.semanticweb.kaon2.api.reasoner">SubsumptionHierarchy</A> <B>getSubsumptionHierarchy</B>()
                                             throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                                                    java.lang.InterruptedException</PRE>
<DL>
<DD>Computes the subsumption hierarchy for the knowledge base managed by this reasoner.
<P>
<DD><DL>

<DT><B>Returns:</B><DD>the subsumption hierarchy
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error
<DD><CODE>java.lang.InterruptedException</CODE> - thrown if reasoning is interrupted</DL>
</DD>
</DL>
<HR>

<A NAME="getReductionToDisjunctiveDatalog(boolean, boolean, boolean, boolean)"><!-- --></A><H3>
getReductionToDisjunctiveDatalog</H3>
<PRE>
java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt; <B>getReductionToDisjunctiveDatalog</B>(boolean&nbsp;processABox,
                                                            boolean&nbsp;unfoldNewPredicates,
                                                            boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                                                            boolean&nbsp;includeNonOWLAxioms)
                                                            throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                                                                   java.lang.InterruptedException</PRE>
<DL>
<DD>Reduces the ontology to disjunctive datalog and returns thus obtained rules.
 Thus obtained program does not contain the DL-safe rules; these should be appended manually.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>processABox</CODE> - <code>true</code> if ABox is to be processed as well<DD><CODE>unfoldNewPredicates</CODE> - <code>true</code> if the predicates introduced in the reduction should removed by rule unfolding<DD><CODE>unfoldNonAtomicDescriptionsInABox</CODE> - <code>true</code> if the new predicates should be unfolded from the ABox assertions as well<DD><CODE>includeNonOWLAxioms</CODE> - <code>true</code> if the non-OWL axioms should be included in the translation
<DT><B>Returns:</B><DD>the list of disjunctive rules
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error
<DD><CODE>java.lang.InterruptedException</CODE> - thrown if reasoning is interrupted</DL>
</DD>
</DL>
<HR>

<A NAME="getReductionToDLP(boolean, boolean, boolean, boolean)"><!-- --></A><H3>
getReductionToDLP</H3>
<PRE>
java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt; <B>getReductionToDLP</B>(boolean&nbsp;processABox,
                                             boolean&nbsp;unfoldNewPredicates,
                                             boolean&nbsp;unfoldNonAtomicDescriptionsInABox,
                                             boolean&nbsp;includeNonOWLAxioms)
                                             throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                                                    java.lang.InterruptedException</PRE>
<DL>
<DD>Reduces to ontology to disjunctive datalog, provided that it is in the DLP fragment.
 If the ontology is not in the DLP fragment, an exception is thrown. This method is basically
 similar to getReductionToDisjunctiveDatalog(); however, for onotlogies in the DLP fragment
 it may be significantly faster, since it does not invoke the saturation algorithm.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>processABox</CODE> - <code>true</code> if ABox is to be processed as well<DD><CODE>unfoldNewPredicates</CODE> - <code>true</code> if the predicates introduced in the reduction should removed by rule unfolding<DD><CODE>unfoldNonAtomicDescriptionsInABox</CODE> - <code>true</code> if the new predicates should be unfolded from the ABox assertions as well<DD><CODE>includeNonOWLAxioms</CODE> - <code>true</code> if the non-OWL axioms should be included in the translation
<DT><B>Returns:</B><DD>the list of disjunctive rules
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error
<DD><CODE>java.lang.InterruptedException</CODE> - thrown if the process is interrupted</DL>
</DD>
</DL>
<HR>

<A NAME="createQuery(org.semanticweb.kaon2.api.logic.Formula, org.semanticweb.kaon2.api.logic.Variable[], org.semanticweb.kaon2.api.OntologyChangeEvent[], org.semanticweb.kaon2.api.logic.FactFormula[])"><!-- --></A><H3>
createQuery</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A> <B>createQuery</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)
                  throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Creates a DL-safe query over the ontology owned by the reasoner. This method additionally takes an array of
 OntologyChangeEvent objects. The axioms in these objects are "temporarily" applied to the ontology; that is, they are
 applied, but only for the duration of the query.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>queryFormula</CODE> - the formula of the query<DD><CODE>distinguishedVariables</CODE> - the distinguished (returned) variables<DD><CODE>temporaryChanges</CODE> - the array of change events that are temporarily applied to the ontology (may be <code>null</code><DD><CODE>constructPattern</CODE> - the construct pattern of the query (may be <code>null</code>)
<DT><B>Returns:</B><DD>the query object
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="createQuery(org.semanticweb.kaon2.api.logic.Formula, java.util.List, java.util.List, java.util.List)"><!-- --></A><H3>
createQuery</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A> <B>createQuery</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)
                  throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Creates a DL-safe query over the ontology owned by the reasoner. This method additionally takes an array of
 OntologyChangeEvent objects. The axioms in these objects are "temporarily" applied to the ontology; that is, they are
 applied, but only for the duration of the query.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>queryFormula</CODE> - the formula of the query<DD><CODE>distinguishedVariables</CODE> - the distinguished (returned) variables<DD><CODE>temporaryChanges</CODE> - the list of change events that are temporarily applied to the ontology<DD><CODE>constructPattern</CODE> - the construct pattern of the query (may be <code>null</code>)
<DT><B>Returns:</B><DD>the query object
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, org.semanticweb.kaon2.api.OntologyChangeEvent[])"><!-- --></A><H3>
createQuery</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A> <B>createQuery</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)
                  throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Creates a DL-safe query from the <code>QueryDefinition</code> object. This method additionally takes an array of
 OntologyChangeEvent objects. The axioms in these objects are "temporarily" applied to the ontology; that is, they are
 applied, but only for the duration of the query.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>queryDefinition</CODE> - the definition of the query<DD><CODE>temporaryChanges</CODE> - the array of change events that are temporarily applied to the ontology (may be <code>null</code>
<DT><B>Returns:</B><DD>the query object
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition, java.util.List)"><!-- --></A><H3>
createQuery</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A> <B>createQuery</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)
                  throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Creates a DL-safe query from the <code>QueryDefinition</code> object. This method additionally takes an array of
 OntologyChangeEvent objects. The axioms in these objects are "temporarily" applied to the ontology; that is, they are
 applied, but only for the duration of the query.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>queryDefinition</CODE> - the definition of the query<DD><CODE>temporaryChanges</CODE> - the array of change events that are temporarily applied to the ontology
<DT><B>Returns:</B><DD>the query object
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE> - thrown if there is an error</DL>
</DD>
</DL>
<HR>

<A NAME="createQuery(org.semanticweb.kaon2.api.logic.QueryDefinition)"><!-- --></A><H3>
createQuery</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Query.html" title="interface in org.semanticweb.kaon2.api.reasoner">Query</A> <B>createQuery</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A>&nbsp;queryDefinition)
                  throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.