axiom.html
来自「本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理」· HTML 代码 · 共 1,044 行 · 第 1/5 页
HTML
1,044 行
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axiom(java.lang.String, org.semanticweb.kaon2.api.Namespaces)">axiom</A></B>(java.lang.String string,
<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</CODE>
<BR>
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B>OntologyChangeEvent.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html#getAxiom()">getAxiom</A></B>()</CODE>
<BR>
Returns the axiom that was added or removed.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#getAxiomFromURI(java.lang.String)">getAxiomFromURI</A></B>(java.lang.String uri)</CODE>
<BR>
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.AxiomIterator.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.AxiomIterator.html#next()">next</A></B>()</CODE>
<BR>
</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/api/package-summary.html">org.semanticweb.kaon2.api</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> java.util.List<<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axioms(java.io.Reader, org.semanticweb.kaon2.api.Namespaces)">axioms</A></B>(java.io.Reader reader,
<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</CODE>
<BR>
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.util.List<<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#axioms(java.lang.String, org.semanticweb.kaon2.api.Namespaces)">axioms</A></B>(java.lang.String string,
<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</CODE>
<BR>
</TD>
</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.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/api/package-summary.html">org.semanticweb.kaon2.api</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#addAxiom(org.semanticweb.kaon2.api.Axiom)">addAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Adds an axiom to an ontology.</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#containsAxiom(org.semanticweb.kaon2.api.Axiom, boolean)">containsAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
boolean checkImportedOntologies)</CODE>
<BR>
Checks whether given axiom is contained in this ontology.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A></CODE></FONT></TD>
<TD><CODE><B>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#getDeclaringOntology(org.semanticweb.kaon2.api.Axiom)">getDeclaringOntology</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Returns the ontology where the given axiom is declared.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.lang.String</CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#getURIForAxiom(java.lang.String, org.semanticweb.kaon2.api.Axiom)">getURIForAxiom</A></B>(java.lang.String uriPrefix,
<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#removeAxiom(org.semanticweb.kaon2.api.Axiom)">removeAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Removes an axiom from an ontology.</TD>
</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/package-summary.html">org.semanticweb.kaon2.api</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#addAxioms(java.util.Collection)">addAxioms</A></B>(java.util.Collection<<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>> axioms)</CODE>
<BR>
Adds a collection of axioms to an ontology.</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>Ontology.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/Ontology.html#removeAxioms(java.util.Collection)">removeAxioms</A></B>(java.util.Collection<<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>> axioms)</CODE>
<BR>
Removes a collection of axioms from an ontology.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Constructors in <A HREF="../../../../../org/semanticweb/kaon2/api/package-summary.html">org.semanticweb.kaon2.api</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><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.html#OntologyChangeEvent(org.semanticweb.kaon2.api.Axiom, org.semanticweb.kaon2.api.OntologyChangeEvent.ChangeType)">OntologyChangeEvent</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
<A HREF="../../../../../org/semanticweb/kaon2/api/OntologyChangeEvent.ChangeType.html" title="enum in org.semanticweb.kaon2.api">OntologyChangeEvent.ChangeType</A> changeType)</CODE>
<BR>
Creates an instance of this class.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.flogic"><!-- --></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/flogic/package-summary.html">org.semanticweb.kaon2.api.flogic</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">Subinterfaces 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/flogic/package-summary.html">org.semanticweb.kaon2.api.flogic</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> interface</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A></B></CODE>
<BR>
Represents an F-molecule.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.formatting"><!-- --></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/formatting/package-summary.html">org.semanticweb.kaon2.api.formatting</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/api/formatting/package-summary.html">org.semanticweb.kaon2.api.formatting</A> that return <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/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></CODE></FONT></TD>
<TD><CODE><B>FormattingElementCursor.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html#getCurrentAxiom()">getCurrentAxiom</A></B>()</CODE>
<BR>
Returns the axiom of the current formatting element.</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?