📄 package-use.html
字号:
<BR>
Represents a variable in a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.logic"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Constant.html#org.semanticweb.kaon2.api.logic"><B>Constant</B></A></B>
<BR>
Represents a constant in a literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/FactFormula.html#org.semanticweb.kaon2.api.logic"><B>FactFormula</B></A></B>
<BR>
This is a tagging interface that identifies formulae that represent facts.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Formula.html#org.semanticweb.kaon2.api.logic"><B>Formula</B></A></B>
<BR>
Represents a FOL formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/FunctionalTerm.html#org.semanticweb.kaon2.api.logic"><B>FunctionalTerm</B></A></B>
<BR>
Represents an application of a function symbol to terms.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Literal.html#org.semanticweb.kaon2.api.logic"><B>Literal</B></A></B>
<BR>
Represents a literal in the rule.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Predicate.html#org.semanticweb.kaon2.api.logic"><B>Predicate</B></A></B>
<BR>
Represents a predicate in the program.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/PredicateSymbol.html#org.semanticweb.kaon2.api.logic"><B>PredicateSymbol</B></A></B>
<BR>
Represents a predicate in a program which does not come from an OWL knowledge base.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Rule.html#org.semanticweb.kaon2.api.logic"><B>Rule</B></A></B>
<BR>
Represents a rule in the program.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Rule.SubsumptionResult.html#org.semanticweb.kaon2.api.logic"><B>Rule.SubsumptionResult</B></A></B>
<BR>
Returns the result of a subsumption check.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Rule.SubsumptionType.html#org.semanticweb.kaon2.api.logic"><B>Rule.SubsumptionType</B></A></B>
<BR>
The enumeration of the types of subsumption relationships.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Term.html#org.semanticweb.kaon2.api.logic"><B>Term</B></A></B>
<BR>
Represents a term of a literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Variable.html#org.semanticweb.kaon2.api.logic"><B>Variable</B></A></B>
<BR>
Represents a variable in a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.owl.axioms"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/api/owl/axioms/package-summary.html">org.semanticweb.kaon2.api.owl.axioms</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Constant.html#org.semanticweb.kaon2.api.owl.axioms"><B>Constant</B></A></B>
<BR>
Represents a constant in a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.owl.elements"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/api/owl/elements/package-summary.html">org.semanticweb.kaon2.api.owl.elements</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Constant.html#org.semanticweb.kaon2.api.owl.elements"><B>Constant</B></A></B>
<BR>
Represents a constant in a literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/FunctionalTerm.html#org.semanticweb.kaon2.api.owl.elements"><B>FunctionalTerm</B></A></B>
<BR>
Represents an application of a function symbol to terms.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Predicate.html#org.semanticweb.kaon2.api.owl.elements"><B>Predicate</B></A></B>
<BR>
Represents a predicate in the program.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Term.html#org.semanticweb.kaon2.api.owl.elements"><B>Term</B></A></B>
<BR>
Represents a term of a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api.reasoner"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/api/reasoner/package-summary.html">org.semanticweb.kaon2.api.reasoner</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/FactFormula.html#org.semanticweb.kaon2.api.reasoner"><B>FactFormula</B></A></B>
<BR>
This is a tagging interface that identifies formulae that represent facts.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Formula.html#org.semanticweb.kaon2.api.reasoner"><B>Formula</B></A></B>
<BR>
Represents a FOL formula.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Predicate.html#org.semanticweb.kaon2.api.reasoner"><B>Predicate</B></A></B>
<BR>
Represents a predicate in the program.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/QueryDefinition.html#org.semanticweb.kaon2.api.reasoner"><B>QueryDefinition</B></A></B>
<BR>
Rerepsents a definition of a query.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Rule.html#org.semanticweb.kaon2.api.reasoner"><B>Rule</B></A></B>
<BR>
Represents a rule in the program.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Term.html#org.semanticweb.kaon2.api.reasoner"><B>Term</B></A></B>
<BR>
Represents a term of a literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Variable.html#org.semanticweb.kaon2.api.reasoner"><B>Variable</B></A></B>
<BR>
Represents a variable in a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.extensionapi.builtins"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/builtins/package-summary.html">org.semanticweb.kaon2.extensionapi.builtins</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Term.html#org.semanticweb.kaon2.extensionapi.builtins"><B>Term</B></A></B>
<BR>
Represents a term of a literal.</TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.extensionapi.formats"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Classes in <A HREF="../../../../../org/semanticweb/kaon2/api/logic/package-summary.html">org.semanticweb.kaon2.api.logic</A> used by <A HREF="../../../../../org/semanticweb/kaon2/extensionapi/formats/package-summary.html">org.semanticweb.kaon2.extensionapi.formats</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/class-use/Term.html#org.semanticweb.kaon2.extensionapi.formats"><B>Term</B></A></B>
<BR>
Represents a term of a literal.</TD>
</TR>
</TABLE>
<P>
<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> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
PREV
NEXT</FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../../index.html?org/semanticweb/kaon2/api/logic/package-use.html" target="_top"><B>FRAMES</B></A>
<A HREF="package-use.html" target="_top"><B>NO FRAMES</B></A>
<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 + -