📄 reasoner.html
字号:
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#isTBoxRBoxSatisfiable()">isTBoxRBoxSatisfiable</A></B>()</CODE>
<BR>
Checks if the TBox and RBox of an ontology are satisfiable (i.e.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#materializeExtensions(java.util.Collection, boolean)">materializeExtensions</A></B>(java.util.Collection<<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>> predicates,
boolean status)</CODE>
<BR>
Notifies the reasoner whether an extension of a predicate should be materialized or not.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#materializeRules(java.util.Collection, boolean)">materializeRules</A></B>(java.util.Collection<<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>> rules,
boolean status)</CODE>
<BR>
Notifies the reasoner whether a rule should be materialized or not.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#setParameter(java.lang.String, java.lang.Object)">setParameter</A></B>(java.lang.String parameterName,
java.lang.Object parameterValue)</CODE>
<BR>
Sets the parameter of the reasoner.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#setTrace(java.lang.String, boolean, java.io.PrintWriter, org.semanticweb.kaon2.api.Namespaces)">setTrace</A></B>(java.lang.String target,
boolean state,
java.io.PrintWriter out,
<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</CODE>
<BR>
Activates or deactivates tracing in this reasoner.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#subsumedBy(org.semanticweb.kaon2.api.owl.elements.Description, org.semanticweb.kaon2.api.owl.elements.Description)">subsumedBy</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A> subDescription,
<A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A> superDescription)</CODE>
<BR>
Checks if one description subsumes the other w.r.t.</TD>
</TR>
</TABLE>
<P>
<!-- ============ METHOD DETAIL ========== -->
<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="getOntology()"><!-- --></A><H3>
getOntology</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> <B>getOntology</B>()</PRE>
<DL>
<DD>Returns the ontology to which this reasoner is attached.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the ontology to which this reasoner is attached</DL>
</DD>
</DL>
<HR>
<A NAME="dispose()"><!-- --></A><H3>
dispose</H3>
<PRE>
void <B>dispose</B>()</PRE>
<DL>
<DD>Frees the resources used by this reasoner. This method should be called after the reasoner is not needed any more to avoid resource leakage. The effects of calls on this object after dispose() is called once are undefined.
<P>
<DD><DL>
</DL>
</DD>
</DL>
<HR>
<A NAME="interrupt()"><!-- --></A><H3>
interrupt</H3>
<PRE>
void <B>interrupt</B>()
throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Interrupts the current reasoning operation conducted by this reasoner. This method is thread-safe. If no reasoning operation is in progress on this reasoner, this invocation has no effect.
<P>
<DD><DL>
<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="setParameter(java.lang.String, java.lang.Object)"><!-- --></A><H3>
setParameter</H3>
<PRE>
void <B>setParameter</B>(java.lang.String parameterName,
java.lang.Object parameterValue)
throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Sets the parameter of the reasoner. If the parameter is not supported, an exception is thrown. The names and values of the reasoner parameters are implementation-dependent.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>parameterName</CODE> - the name of the parameter<DD><CODE>parameterValue</CODE> - the value of the parameter
<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="getParameter(java.lang.String)"><!-- --></A><H3>
getParameter</H3>
<PRE>
java.lang.Object <B>getParameter</B>(java.lang.String parameterName)
throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the parameter of the reasoner. If the reasoner does not support the given parameter, <code>null</code> is returned.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>parameterName</CODE> - the name of the parameter
<DT><B>Returns:</B><DD>the value (or <code>null</code> if the parameter is not supported
<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="addAxiomRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.AxiomProcessingStage)"><!-- --></A><H3>
addAxiomRewriterFactory</H3>
<PRE>
void <B>addAxiomRewriterFactory</B>(<A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterFactory.html" title="interface in org.semanticweb.kaon2.extensionapi.rewriter">RewriterFactory</A><<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>,<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>> rewriterFactory,
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.AxiomProcessingStage.html" title="enum in org.semanticweb.kaon2.api.reasoner">Reasoner.AxiomProcessingStage</A> invokeAfter)
throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Registers a RewriterFactory for axioms with this reasoner. This method allows the users to plug in their own transformations of axioms during query processing. The Rewriters are invoked in the order in which their respective rewriters are introduced.
<P>
<DD><DL>
<DT><B>Throws:</B>
<DD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></CODE></DL>
</DD>
</DL>
<HR>
<A NAME="addRuleRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.RuleProcessingStage)"><!-- --></A><H3>
addRuleRewriterFactory</H3>
<PRE>
void <B>addRuleRewriterFactory</B>(<A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterFactory.html" title="interface in org.semanticweb.kaon2.extensionapi.rewriter">RewriterFactory</A><<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>,<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>> rewriterFactory,
<A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.RuleProcessingStage.html" title="enum in org.semanticweb.kaon2.api.reasoner">Reasoner.RuleProcessingStage</A> invokeAfter)
throws <A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Registers a RewriterFactory for rules with this reasoner. This method allows the users to plug in their own transformations of rules during query processing. The Rewriters are invoked in the order in which their respective rewriters are introduced.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>rewriterFactory</CODE> - the factory for Rewriter objects<DD><CODE>invokeAfter</CODE> - determines the time at which the rewriter is invoked
<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="setTrace(java.lang.String, boolean, java.io.PrintWriter, org.semanticweb.kaon2.api.Namespaces)"><!-- --></A><H3>
setTrace</H3>
<PRE>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -