package-summary.html

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

<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/DisjointUnion.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">DisjointUnion</A></B></TD>
<TD>Represents an axiom specifying that a class is equivalent to a union of a set of classes that are pair-wise disjoint.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EntityAnnotation.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EntityAnnotation</A></B></TD>
<TD>Represents an axiom which annotates an entity.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentClasses.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentClasses</A></B></TD>
<TD>Represents an axiom specifying that descriptions are equivalent.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentDataProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentDataProperties</A></B></TD>
<TD>Represents an axiom specifying that the data properties are equivalent.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/EquivalentObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">EquivalentObjectProperties</A></B></TD>
<TD>Represents an axiom specifying that the object properties are equivalent.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/InverseObjectProperties.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">InverseObjectProperties</A></B></TD>
<TD>Represents an axiom specifying that one property is an inverse property of the other property.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeDataPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">NegativeDataPropertyMember</A></B></TD>
<TD>Represents an axiom specifying the negative assertion for some data property for an individual.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/NegativeObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">NegativeObjectPropertyMember</A></B></TD>
<TD>Represents an axiom specifying the negative assertion for an object property for an individual.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyAttribute.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyAttribute</A></B></TD>
<TD>Represents an axiom specifying that an object property has some attribute.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyDomain.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyDomain</A></B></TD>
<TD>Represents an axiom specifying the domain of some object property.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyMember.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyMember</A></B></TD>
<TD>Represents an axiom specifying the value of some object property for an individual.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/ObjectPropertyRange.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">ObjectPropertyRange</A></B></TD>
<TD>Represents an axiom specifying the range of some object property.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/OWLAxiom.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">OWLAxiom</A></B></TD>
<TD>This is a tagging interface for all OWL axioms.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SameIndividual.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SameIndividual</A></B></TD>
<TD>Represents an axiom specifying that individuals are the same.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubClassOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubClassOf</A></B></TD>
<TD>Represents a subclass axiom in an ontology.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubDataPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubDataPropertyOf</A></B></TD>
<TD>Represents an axiom specifying that one data property is a subproperty of another property.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD WIDTH="15%"><B><A HREF="../../../../../../org/semanticweb/kaon2/api/owl/axioms/SubObjectPropertyOf.html" title="interface in org.semanticweb.kaon2.api.owl.axioms">SubObjectPropertyOf</A></B></TD>
<TD>Represents an axiom specifying that one object property is a subproperty of another property.</TD>
</TR>
</TABLE>
&nbsp;

<P>
<DL>
</DL>
<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="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Package</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <FONT CLASS="NavBarFont1">Class</FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-use.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/logic/package-summary.html"><B>PREV PACKAGE</B></A>&nbsp;
&nbsp;<A HREF="../../../../../../org/semanticweb/kaon2/api/owl/elements/package-summary.html"><B>NEXT PACKAGE</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/owl/axioms/package-summary.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="package-summary.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>