📄 axiom.html
字号:
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../org/semanticweb/kaon2/api/formatting/package-summary.html">org.semanticweb.kaon2.api.formatting</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#addWhitespaceAfter(org.semanticweb.kaon2.api.Axiom, java.lang.String)">addWhitespaceAfter</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
java.lang.String text)</CODE>
<BR>
Adds a whitespace formatting element after the given axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#addWhitespaceBefore(org.semanticweb.kaon2.api.Axiom, java.lang.String)">addWhitespaceBefore</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
java.lang.String text)</CODE>
<BR>
Adds a whitespace formatting element before the given axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#canPreserveFormattingForAxiom(org.semanticweb.kaon2.api.Axiom)">canPreserveFormattingForAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Returns <code>true</code> if formatting can be preserved for ths supplied axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#deleteWhitespaceAfter(org.semanticweb.kaon2.api.Axiom)">deleteWhitespaceAfter</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Deletes all whitespace elements after the given axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#deleteWhitespaceBefore(org.semanticweb.kaon2.api.Axiom)">deleteWhitespaceBefore</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Deletes all whitespace elements before the given axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#getAxiomText(org.semanticweb.kaon2.api.Axiom)">getAxiomText</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Returns the string representation of an axiom.</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>FormattingElementCursor.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/FormattingElementCursor.html#goToAxiom(org.semanticweb.kaon2.api.Axiom)">goToAxiom</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom)</CODE>
<BR>
Moves to the specified axiom.</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>OntologyFormatting.</B><B><A HREF="../../../../../org/semanticweb/kaon2/api/formatting/OntologyFormatting.html#setAxiomText(org.semanticweb.kaon2.api.Axiom, java.lang.String)">setAxiomText</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A> axiom,
java.lang.String text)</CODE>
<BR>
Sets the text of the given axiom.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.logic"><!-- --></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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</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/logic/package-summary.html">org.semanticweb.kaon2.api.logic</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/logic/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic">ClassicalNegation</A></B></CODE>
<BR>
Represents the classical negation of a formula.</TD>
</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/logic/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Conjunction</A></B></CODE>
<BR>
A formula that represents the conjunction of other formulae.</TD>
</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/logic/DefaultNegation.html" title="interface in org.semanticweb.kaon2.api.logic">DefaultNegation</A></B></CODE>
<BR>
Represents the default negation (negation-as-failure) of a formula.</TD>
</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/logic/Disjunction.html" title="interface in org.semanticweb.kaon2.api.logic">Disjunction</A></B></CODE>
<BR>
A formula that represents the disjunction of other formulae.</TD>
</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/logic/Equivalence.html" title="interface in org.semanticweb.kaon2.api.logic">Equivalence</A></B></CODE>
<BR>
Represents an equivalence formula.</TD>
</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/logic/Exists.html" title="interface in org.semanticweb.kaon2.api.logic">Exists</A></B></CODE>
<BR>
Implements an existentially quantified formula.</TD>
</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/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A></B></CODE>
<BR>
This is a tagging interface that identifies formulae that represent facts.</TD>
</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/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></B></CODE>
<BR>
Implements a universally quantified formula.</TD>
</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/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></B></CODE>
<BR>
Represents a FOL formula.</TD>
</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/logic/Implication.html" title="interface in org.semanticweb.kaon2.api.logic">Implication</A></B></CODE>
<BR>
Represents an implication formula.</TD>
</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/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></B></CODE>
<BR>
Represents a literal in the rule.</TD>
</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/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic">QueryDefinition</A></B></CODE>
<BR>
Rerepsents a definition of a query.</TD>
</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/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A></B></CODE>
<BR>
Represents a rule in the program.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.owl.axioms"><!-- --></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/owl/axioms/package-summary.html">org.semanticweb.kaon2.api.owl.axioms</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/owl/axioms/package-summary.html">org.semanticweb.kaon2.api.owl.axioms</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -