description.html

本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理

</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 subdescriptions
<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="getEquivalentDescriptions(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getEquivalentDescriptions</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&gt; <B>getEquivalentDescriptions</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;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 an equivalentClasses axiom as equivalent to 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 equivalent descriptions
<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="getDisjointDescriptions(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getDisjointDescriptions</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Description.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Description</A>&gt; <B>getDisjointDescriptions</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;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 disjointClasses axiom as disjoint from 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 descriptions disjoint from this description
<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="getObjectPropertiesFrom(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getObjectPropertiesFrom</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">ObjectPropertyExpression</A>&gt; <B>getObjectPropertiesFrom</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;ontology)
                                                                throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the set of all object properties where this description is asserted as domain in an ObjectPropertyDomain axiom.
<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 object properties for which this description is a domain
<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="getObjectPropertiesTo(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getObjectPropertiesTo</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/ObjectPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">ObjectPropertyExpression</A>&gt; <B>getObjectPropertiesTo</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;ontology)
                                                              throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the set of all object properties where this description is asserted as range in an ObjectPropertyRange axiom.
<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 object properties for which this description is a range
<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="getDataPropertiesFrom(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getDataPropertiesFrom</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/DataPropertyExpression.html" title="interface in org.semanticweb.kaon2.api.owl.elements">DataPropertyExpression</A>&gt; <B>getDataPropertiesFrom</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;ontology)
                                                            throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns the set of all data properties where this description is asserted as domain in an DataPropertyDomain axiom.
<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 data properties for which this description is a domain
<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="getMemberIndividuals(org.semanticweb.kaon2.api.Ontology)"><!-- --></A><H3>
getMemberIndividuals</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Individual.html" title="interface in org.semanticweb.kaon2.api.owl.elements">Individual</A>&gt; <B>getMemberIndividuals</B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/Ontology.html" title="interface in org.semanticweb.kaon2.api">Ontology</A>&nbsp;ontology)
                                               throws <A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Exception.html" title="class in org.semanticweb.kaon2.api">KAON2Exception</A></PRE>
<DL>
<DD>Returns all individuals which are explicitly asserted as members in 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 individuals which are members in this description
<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>
<!-- ========= END OF CLASS DATA ========= -->
<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>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="class-use/Description.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
  </TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>

<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/DatatypeRestriction.Facet.html" title="enum in org.semanticweb.kaon2.api.owl.elements"><B>PREV CLASS</B></A>&nbsp;
&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/Individual.html" title="interface in org.semanticweb.kaon2.api.owl.elements"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/owl/elements/Description.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="Description.html" target="_top"><B>NO FRAMES</B></A>  &nbsp;
&nbsp;<SCRIPT type="text/javascript">
  <!--
  if(window==top) {
    document.writeln('<A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>');
  }
  //-->
</SCRIPT>
<NOSCRIPT>
  <A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>


</FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
  SUMMARY:&nbsp;NESTED&nbsp;|&nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL:&nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->

<HR>

</BODY>
</HTML>