reasoner.html

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

void <B>setTrace</B>(java.lang.String&nbsp;target,
              boolean&nbsp;state,
              java.io.PrintWriter&nbsp;out,
              <A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A>&nbsp;namespaces)
              throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Activates or deactivates tracing in this reasoner. This method changes approrpiate parameters of this reasoner.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>target</CODE> - the target of the trace (can be "queryAnswering", "reasoner", "theoremProver", "clausification", "clausificationSPASS" or "clausificationTPTP")<DD><CODE>state</CODE> - <code>true</code> if the tracing is to be turned on<DD><CODE>out</CODE> - the print writer receiving the output<DD><CODE>namespaces</CODE> - the namespaces object used to abbreviate names in the output
<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 the parameter name of value are incorrect</DL>
</DD>
</DL>
<HR>

<A NAME="checkReasoningProperty(java.lang.String, java.lang.Object)"><!-- --></A><H3>
checkReasoningProperty</H3>
<PRE>
java.lang.Object <B>checkReasoningProperty</B>(java.lang.String&nbsp;propertyName,
                                        java.lang.Object&nbsp;parameter)
                                        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 a certain property of reasoning over axioms of the current ontology. For example, one might want to check
 whether the rules in the ontology can be evaluated bottom-up. The type of properties supported and the return
 value for each property are specific to the underlying reasoner.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>propertyName</CODE> - the name of the property to check<DD><CODE>parameter</CODE> - the parameter for the check
<DT><B>Returns:</B><DD>the value of the check
<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="materializeExtensions(java.util.Collection, boolean)"><!-- --></A><H3>
materializeExtensions</H3>
<PRE>
void <B>materializeExtensions</B>(java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&gt;&nbsp;predicates,
                           boolean&nbsp;status)
                           throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                                  java.lang.InterruptedException</PRE>
<DL>
<DD>Notifies the reasoner whether an extension of a predicate should be materialized or not.
 Materialized extensions are computed only once; all subsequent queries are then answered against this extension.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>predicates</CODE> - the collection of predicates whose extension is to be materialized or not<DD><CODE>status</CODE> - <code>true</code> if the extensions should be materialized
<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="isExtensionMaterialized(org.semanticweb.kaon2.api.logic.Predicate)"><!-- --></A><H3>
isExtensionMaterialized</H3>
<PRE>
boolean <B>isExtensionMaterialized</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>&nbsp;predicate)
                                throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns <code>true</code> if the predicate is materialized.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>predicate</CODE> - the predicate whose materialization status is being checked
<DT><B>Returns:</B><DD><code>true</code> if the predicate extension is materialized
<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="materializeRules(java.util.Collection, boolean)"><!-- --></A><H3>
materializeRules</H3>
<PRE>
void <B>materializeRules</B>(java.util.Collection&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&gt;&nbsp;rules,
                      boolean&nbsp;status)
                      throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A>,
                             java.lang.InterruptedException</PRE>
<DL>
<DD>Notifies the reasoner whether a rule should be materialized or not.
 Assume that the ontology contains two rules:<br>
 (1) P(x) :- Q(x)<br>
 (2) P(x) :- R(x)<br>
 Now if this method is called with the rule (2), this is equivalent to replacing the rule (2) with the rules
 (2.1) P(x) :- P'(x)<br>
 (2.2) P'(x) :- R(x)<br>
 and then materializing the extension of P'(x).
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>rules</CODE> - the rules to be materialized<DD><CODE>status</CODE> - <code>true</code> if the extensions should be materialized
<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="isRuleMaterialized(org.semanticweb.kaon2.api.logic.Rule)"><!-- --></A><H3>
isRuleMaterialized</H3>
<PRE>
boolean <B>isRuleMaterialized</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&nbsp;rule)
                           throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns <code>true</code> if the specified rule is materialized.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>rule</CODE> - the rule whose materialization status is being checked
<DT><B>Returns:</B><DD><code>true</code> if the specified rule is being materialized
<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="isTBoxRBoxSatisfiable()"><!-- --></A><H3>
isTBoxRBoxSatisfiable</H3>
<PRE>
boolean <B>isTBoxRBoxSatisfiable</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 TBox and RBox of an ontology are satisfiable (i.e. it takes only terminological information into accout).
<P>
<DD><DL>

<DT><B>Returns:</B><DD><code>true</code> if the terminological part of the ontology 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="subsumedBy(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Description)"><!-- --></A><H3>
subsumedBy</H3>
<PRE>
boolean <B>subsumedBy</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;subDescription,
                   <A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;superDescription)
                   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 one description subsumes the other w.r.t. the knowledge base. In the check, only the terminological
 part is taken into account (i.e. a possible inconsistency in the ABox is not taken into account).
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>subDescription</CODE> - the subdescription<DD><CODE>superDescription</CODE> - the superdescription
<DT><B>Returns:</B><DD><code>true</code> if the subdescription is subsumed by the superdescription
<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="equivalent(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Description)"><!-- --></A><H3>
equivalent</H3>
<PRE>
boolean <B>equivalent</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)
                   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 descriptions are equivalent. In the check, only the terminological
 part is taken into account (i.e. a possible inconsistency in the ABox is not taken into account).
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>description1</CODE> - the first description<DD><CODE>description2</CODE> - the second description
<DT><B>Returns:</B><DD><code>true</code> if the descriptions are equivalent
<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(org.semanticweb.kaon2.api.owl.elements.Description)"><!-- --></A><H3>
isSatisfiable</H3>
<PRE>
boolean <B>isSatisfiable</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&nbsp;description)
                      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 a description is satisfiable w.r.t. the TBox and the RBox. This method does not
 take the ABox into account.
<P>