📄 package-frame.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
</TITLE>

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

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


</HEAD>

<BODY BGCOLOR="white">
<FONT size="+1" CLASS="FrameTitleFont">
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html" target="classFrame">org.semanticweb.kaon2.api.logic</A></FONT>
<TABLE BORDER="0" WIDTH="100%" SUMMARY="">
<TR>
<TD NOWRAP><FONT size="+1" CLASS="FrameHeadingFont">
Interfaces</FONT>&nbsp;
<FONT CLASS="FrameItemFont">
<BR>
<A HREF="ClassicalNegation.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>ClassicalNegation</I></A>
<BR>
<A HREF="Conjunction.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Conjunction</I></A>
<BR>
<A HREF="Constant.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Constant</I></A>
<BR>
<A HREF="DefaultNegation.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>DefaultNegation</I></A>
<BR>
<A HREF="Disjunction.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Disjunction</I></A>
<BR>
<A HREF="Equivalence.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Equivalence</I></A>
<BR>
<A HREF="Exists.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Exists</I></A>
<BR>
<A HREF="FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>FactFormula</I></A>
<BR>
<A HREF="Forall.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Forall</I></A>
<BR>
<A HREF="Formula.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Formula</I></A>
<BR>
<A HREF="FunctionalTerm.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>FunctionalTerm</I></A>
<BR>
<A HREF="Implication.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Implication</I></A>
<BR>
<A HREF="Literal.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Literal</I></A>
<BR>
<A HREF="Predicate.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Predicate</I></A>
<BR>
<A HREF="PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>PredicateSymbol</I></A>
<BR>
<A HREF="QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>QueryDefinition</I></A>
<BR>
<A HREF="Rule.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Rule</I></A>
<BR>
<A HREF="Term.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Term</I></A>
<BR>
<A HREF="Variable.html" title="interface in org.semanticweb.kaon2.api.logic" target="classFrame"><I>Variable</I></A></FONT></TD>
</TR>
</TABLE>


<TABLE BORDER="0" WIDTH="100%" SUMMARY="">
<TR>
<TD NOWRAP><FONT size="+1" CLASS="FrameHeadingFont">
Classes</FONT>&nbsp;
<FONT CLASS="FrameItemFont">
<BR>
<A HREF="Rule.SubsumptionResult.html" title="class in org.semanticweb.kaon2.api.logic" target="classFrame">Rule.SubsumptionResult</A></FONT></TD>
</TR>
</TABLE>


<TABLE BORDER="0" WIDTH="100%" SUMMARY="">
<TR>
<TD NOWRAP><FONT size="+1" CLASS="FrameHeadingFont">
Enums</FONT>&nbsp;
<FONT CLASS="FrameItemFont">
<BR>
<A HREF="Rule.SubsumptionType.html" title="enum in org.semanticweb.kaon2.api.logic" target="classFrame">Rule.SubsumptionType</A></FONT></TD>
</TR>
</TABLE>


</BODY>
</HTML>
⌨️ 快捷键说明

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