?? description.html
字號:
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html#getSimplified()">getSimplified</A></B>()</CODE>
<BR>
Returns the simplified version of this description.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html#getSubDescriptions(org.semanticweb.kaon2.api.Ontology)">getSubDescriptions</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)</CODE>
<BR>
Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html#getSuperDescriptions(org.semanticweb.kaon2.api.Ontology)">getSuperDescriptions</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)</CODE>
<BR>
Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description.</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/owl/elements/Description.html#isInNNF()">isInNNF</A></B>()</CODE>
<BR>
Returns <code>true</code> if this description is in negation-normal form.</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/owl/elements/Description.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></B>(java.lang.StringBuffer buffer,
<A HREF="../../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</CODE>
<BR>
Writes this description to the supplied sting buffer.</TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.logic.Predicate"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.logic.<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#getArity()">getArity</A></CODE></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="isInNNF()"><!-- --></A><H3>
isInNNF</H3>
<PRE>
boolean <B>isInNNF</B>()</PRE>
<DL>
<DD>Returns <code>true</code> if this description is in negation-normal form.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD><code>true</code> if this description is in negation-normal form</DL>
</DD>
</DL>
<HR>
<A NAME="getNNF()"><!-- --></A><H3>
getNNF</H3>
<PRE>
<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A> <B>getNNF</B>()</PRE>
<DL>
<DD>Returns the negation-normal form of this description.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the negation-normal form of this description</DL>
</DD>
</DL>
<HR>
<A NAME="getComplementNNF()"><!-- --></A><H3>
getComplementNNF</H3>
<PRE>
<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A> <B>getComplementNNF</B>()</PRE>
<DL>
<DD>Returns the negation-normal form of the complement of this description.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the negation-normal form of the complement of this description</DL>
</DD>
</DL>
<HR>
<A NAME="getSimplified()"><!-- --></A><H3>
getSimplified</H3>
<PRE>
<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A> <B>getSimplified</B>()</PRE>
<DL>
<DD>Returns the simplified version of this description.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the simplified version of this description</DL>
</DD>
</DL>
<HR>
<A NAME="toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)"><!-- --></A><H3>
toString</H3>
<PRE>
void <B>toString</B>(java.lang.StringBuffer buffer,
<A HREF="../../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</PRE>
<DL>
<DD>Writes this description to the supplied sting buffer.
<P>
<DD><DL>
<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE> in interface <CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A></CODE></DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>buffer</CODE> - the buffer<DD><CODE>namespaces</CODE> - the namespaces object</DL>
</DD>
</DL>
<HR>
<A NAME="accept(org.semanticweb.kaon2.api.KAON2Visitor)"><!-- --></A><H3>
accept</H3>
<PRE>
java.lang.Object <B>accept</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Visitor.html" title="interface in org.semanticweb.kaon2.api">KAON2Visitor</A> visitor)</PRE>
<DL>
<DD>Accepts a visitor for this object.
<P>
<DD><DL>
<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A></CODE> in interface <CODE><A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A></CODE></DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>visitor</CODE> - the object visitor
<DT><B>Returns:</B><DD>the return value of the visitor (can be <code>null</code>)</DL>
</DD>
</DL>
<HR>
<A NAME="getSuperDescriptions(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getSuperDescriptions</H3>
<PRE>
java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>> <B>getSuperDescriptions</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns all descriptions which are explicitly asserted in a subClassOf axiom as superdescriptions of this description.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>ontology</CODE> - the ontology in which the search is perfromed
<DT><B>Returns:</B><DD>the set of superdescriptions
<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="getSubDescriptions(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getSubDescriptions</H3>
<PRE>
java.util.Set<<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>> <B>getSubDescriptions</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A> ontology)
throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns all descriptions which are explicitly asserted in a subClassOf axiom as subdescriptions of this description.
<P>
<DD><DL>
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -