?? axiom.html
字號:
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/owl/axioms/SubObjectPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubObjectPropertyOf</A></B></CODE>
<BR>
Represents an axiom specifying that one object property is a subproperty of another property.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.reasoner"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> in <A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A></FONT></TH>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Method parameters in <A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A> with type arguments of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B>Reasoner.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#addAxiomRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.AxiomProcessingStage)">addAxiomRewriterFactory</A></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)</CODE>
<BR>
Registers a RewriterFactory for axioms with this 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>Reasoner.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/Reasoner.html#addAxiomRewriterFactory(org.semanticweb.kaon2.extensionapi.rewriter.RewriterFactory, org.semanticweb.kaon2.api.reasoner.Reasoner.AxiomProcessingStage)">addAxiomRewriterFactory</A></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)</CODE>
<BR>
Registers a RewriterFactory for axioms with this reasoner.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.extensionapi.formats"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/package-summary.html">org.semanticweb.kaon2.extensionapi.formats</A></FONT></TH>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/package-summary.html">org.semanticweb.kaon2.extensionapi.formats</A> with type parameters of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="0" SUMMARY="">
<TR ALIGN="right" VALIGN="">
<TD NOWRAP><FONT SIZE="-1">
<CODE><E extends <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>>
<BR>
<A HREF="../../../../../org/semanticweb/kaon2/api/Request.html" title="interface in org.semanticweb.kaon2.api">Request</A><E></CODE></FONT></TD>
</TR>
</TABLE>
</CODE></FONT></TD>
<TD><CODE><B>OntologyContents.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createAxiomRequest(java.lang.Class)">createAxiomRequest</A></B>(java.lang.Class<E> axiomType)</CODE>
<BR>
Returns an object that can be used to retrieve axioms of given type.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/package-summary.html">org.semanticweb.kaon2.extensionapi.formats</A> that return types with arguments of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Request.html" title="interface in org.semanticweb.kaon2.api">Request</A><<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>></CODE></FONT></TD>
<TD><CODE><B>OntologyContents.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#createAxiomRequest()">createAxiomRequest</A></B>()</CODE>
<BR>
Returns an object that can be used to retrieve axioms.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/package-summary.html">org.semanticweb.kaon2.extensionapi.formats</A> with parameters of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
<TD><CODE><B>ImportListener.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/ImportListener.html#axiomRead(org.semanticweb.kaon2.api.Axiom, java.lang.String)">axiomRead</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
java.lang.String axiomString)</CODE>
<BR>
Called when an axiom has been read from the input.</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>OntologyContents.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/OntologyContents.html#containsAxiom(org.semanticweb.kaon2.api.Axiom)">containsAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Checks whether given axiom is contained in this ontology.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.extensionapi.rewriter"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/package-summary.html">org.semanticweb.kaon2.extensionapi.rewriter</A></FONT></TH>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/package-summary.html">org.semanticweb.kaon2.extensionapi.rewriter</A> with type parameters of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="0" SUMMARY="">
<TR ALIGN="right" VALIGN="">
<TD NOWRAP><FONT SIZE="-1">
<CODE><E extends <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>>
<BR>
<A HREF="../../../../../org/semanticweb/kaon2/api/Request.html" title="interface in org.semanticweb.kaon2.api">Request</A><E></CODE></FONT></TD>
</TR>
</TABLE>
</CODE></FONT></TD>
<TD><CODE><B>RewriterContext.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createAxiomRequest(java.lang.Class)">createAxiomRequest</A></B>(java.lang.Class<E> axiomType)</CODE>
<BR>
Returns an object that can be used to retrieve axioms of given type.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/package-summary.html">org.semanticweb.kaon2.extensionapi.rewriter</A> that return types with arguments of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Request.html" title="interface in org.semanticweb.kaon2.api">Request</A><<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>></CODE></FONT></TD>
<TD><CODE><B>RewriterContext.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#createAxiomRequest()">createAxiomRequest</A></B>()</CODE>
<BR>
Returns an object that can be used to retrieve axioms.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/package-summary.html">org.semanticweb.kaon2.extensionapi.rewriter</A> with parameters of type <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B>RewriterContext.</B><B><A HREF="../../../../../org/semanticweb/kaon2/extensionapi/rewriter/RewriterContext.html#ontologyContainsAxiom(org.semanticweb.kaon2.api.Axiom, boolean)">ontologyContainsAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
boolean checkIncludedOntologies)</CODE>
<BR>
Checks whether given axiom is contained in the ontology associated with this context.</TD>
</TR>
</TABLE>
<P>
<HR>
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<A NAME="navbar_bottom"><!-- --></A>
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_bottom_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
<?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -