📄 package-tree.html

📁 本体推理工具共八个例子:从如何建立本体到做一些简单的的本体推理
💻 HTML
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--NewPage-->
<HTML>
<HEAD>
<!-- Generated by javadoc (build 1.6.0_02) on Mon Jan 14 15:06:28 GMT 2008 -->
<TITLE>
org.semanticweb.kaon2.api.logic Class Hierarchy
</TITLE>

<META NAME="date" CONTENT="2008-01-14">

<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../../stylesheet.css" TITLE="Style">

<SCRIPT type="text/javascript">
function windowTitle()
{
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="org.semanticweb.kaon2.api.logic Class Hierarchy";
    }
}
</SCRIPT>
<NOSCRIPT>
</NOSCRIPT>

</HEAD>

<BODY BGCOLOR="white" onload="windowTitle();">
<HR>


<!-- ========= START OF TOP NAVBAR ======= -->
<A NAME="navbar_top"><!-- --></A>
<A HREF="#skip-navbar_top" 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_top_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/formatting/package-tree.html"><B>PREV</B></A>&nbsp;
&nbsp;<A HREF="../../../../../org/semanticweb/kaon2/api/owl/axioms/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/logic/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_top"></A>
<!-- ========= END OF TOP NAVBAR ========= -->

<HR>
<CENTER>
<H2>
Hierarchy For Package org.semanticweb.kaon2.api.logic
</H2>
</CENTER>
<DL>
<DT><B>Package Hierarchies:</B><DD><A HREF="../../../../../overview-tree.html">All Packages</A></DL>
<HR>
<H2>
Class Hierarchy
</H2>
<UL>
<LI TYPE="circle">java.lang.Object<UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html" title="class in org.semanticweb.kaon2.api.logic"><B>Rule.SubsumptionResult</B></A></UL>
</UL>
<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.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic"><B>FactFormula</B></A> (also extends org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>)
<UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Literal</B></A> (also extends org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>)
</UL>
</UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Formula</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic"><B>ClassicalNegation</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Conjunction</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/DefaultNegation.html" title="interface in org.semanticweb.kaon2.api.logic"><B>DefaultNegation</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Disjunction.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Disjunction</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Equivalence.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Equivalence</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Exists.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Exists</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic"><B>FactFormula</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>)
<UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Literal</B></A> (also extends org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>)
</UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Forall</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Implication.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Implication</B></A><LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Literal</B></A> (also extends org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>)
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Rule</B></A></UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic"><B>QueryDefinition</B></A></UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.<A HREF="../../../../../org/semanticweb/kaon2/api/Entity.html" title="interface in org.semanticweb.kaon2.api"><B>Entity</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic"><B>PredicateSymbol</B></A> (also extends org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A>)
</UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Predicate</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic"><B>PredicateSymbol</B></A> (also extends org.semanticweb.kaon2.api.<A HREF="../../../../../org/semanticweb/kaon2/api/Entity.html" title="interface in org.semanticweb.kaon2.api">Entity</A>)
</UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Term</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/FunctionalTerm.html" title="interface in org.semanticweb.kaon2.api.logic"><B>FunctionalTerm</B></A><UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Constant.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Constant</B></A></UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic"><B>Variable</B></A></UL>
</UL>
<H2>
Enum Hierarchy
</H2>
<UL>
<LI TYPE="circle">java.lang.Object<UL>
<LI TYPE="circle">java.lang.Enum&lt;E&gt; (implements java.lang.Comparable&lt;T&gt;, java.io.Serializable)
<UL>
<LI TYPE="circle">org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionType.html" title="enum in org.semanticweb.kaon2.api.logic"><B>Rule.SubsumptionType</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/formatting/package-tree.html"><B>PREV</B></A>&nbsp;
&nbsp;<A HREF="../../../../../org/semanticweb/kaon2/api/owl/axioms/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/logic/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>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -