package-tree.html

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

<DT><B>Package Hierarchies:</B><DD><A HREF="../../../../../../overview-tree.html">All Packages</A></DL>
<HR>
<H2>
Interface Hierarchy
</H2>
<UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api"><B>Axiom</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api"><B>Fact</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ClassMember</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DataPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DifferentIndividuals.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DifferentIndividuals</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EntityAnnotation.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>EntityAnnotation</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeDataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>NegativeDataPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>NegativeObjectPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ObjectPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SameIndividual.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>SameIndividual</B></A> (also extends org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A>)
</UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>OWLAxiom</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ClassMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ClassMember</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyAttribute.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DataPropertyAttribute</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyDomain.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DataPropertyDomain</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DataPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DataPropertyRange.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DataPropertyRange</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/Declaration.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>Declaration</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DifferentIndividuals.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DifferentIndividuals</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointClasses.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DisjointClasses</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointDataProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DisjointDataProperties</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DisjointObjectProperties</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointUnion.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>DisjointUnion</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EntityAnnotation.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>EntityAnnotation</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentClasses.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>EquivalentClasses</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentDataProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>EquivalentDataProperties</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>EquivalentObjectProperties</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/InverseObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>InverseObjectProperties</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeDataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>NegativeDataPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>NegativeObjectPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyAttribute.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ObjectPropertyAttribute</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyDomain.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ObjectPropertyDomain</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ObjectPropertyMember</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyRange.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>ObjectPropertyRange</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SameIndividual.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>SameIndividual</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubClassOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>SubClassOf</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubDataPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>SubDataPropertyOf</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.owl.axioms.<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubObjectPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms"><B>SubObjectPropertyOf</B></A></UL>
</UL>
</UL>
<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="#EEEEFF" CLASS="NavBarCell1">    <FONT CLASS="NavBarFont1">Class</FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <FONT CLASS="NavBarFont1">Use</FONT>&nbsp;</TD>
  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Tree</B></FONT>&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/logic/package-tree.html"><B>PREV</B></A>&nbsp;
&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/package-tree.html"><B>NEXT</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/owl/axioms/package-tree.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="package-tree.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>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->

<HR>

</BODY>
</HTML>