predicatesymbol.html

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

</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/Entity.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Entity.html#getURI()">getURI</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Entity.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE></TD>
</TR>
</TABLE>
&nbsp;
<P>

<!-- ============ FIELD DETAIL =========== -->

<A NAME="field_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Field Detail</B></FONT></TH>
</TR>
</TABLE>

<A NAME="EQUAL_URI"><!-- --></A><H3>
EQUAL_URI</H3>
<PRE>
static final java.lang.String <B>EQUAL_URI</B></PRE>
<DL>
<DD>The URI for the equality predicate.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.EQUAL_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="NOT_EQUAL_URI"><!-- --></A><H3>
NOT_EQUAL_URI</H3>
<PRE>
static final java.lang.String <B>NOT_EQUAL_URI</B></PRE>
<DL>
<DD>The URI for the negated equality predicate.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.NOT_EQUAL_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="HU_URI"><!-- --></A><H3>
HU_URI</H3>
<PRE>
static final java.lang.String <B>HU_URI</B></PRE>
<DL>
<DD>The URI for the Herbrand universe predicate.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.HU_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="NAMED_OBJECTS_URI"><!-- --></A><H3>
NAMED_OBJECTS_URI</H3>
<PRE>
static final java.lang.String <B>NAMED_OBJECTS_URI</B></PRE>
<DL>
<DD>The URI for the predicate containing the explicitly named objects.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.NAMED_OBJECTS_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="EVALUATE_URI"><!-- --></A><H3>
EVALUATE_URI</H3>
<PRE>
static final java.lang.String <B>EVALUATE_URI</B></PRE>
<DL>
<DD>The URI for the expression evaluation predicate.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.EVALUATE_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="IF_TRUE_URI"><!-- --></A><H3>
IF_TRUE_URI</H3>
<PRE>
static final java.lang.String <B>IF_TRUE_URI</B></PRE>
<DL>
<DD>The URI for the predicate that tests an expression.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.IF_TRUE_URI">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX"><!-- --></A><H3>
ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX</H3>
<PRE>
static final java.lang.String <B>ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX</B></PRE>
<DL>
<DD>The URI prefix for the predicates encoding successors from the abstract domain.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.ABSTRACT_SUCCESSOR_PREDICATE_URI_PREFIX">Constant Field Values</A></DL>
</DL>
<HR>

<A NAME="CONCRETE_SUCCESSOR_PREDICATE_URI_PREFIX"><!-- --></A><H3>
CONCRETE_SUCCESSOR_PREDICATE_URI_PREFIX</H3>
<PRE>
static final java.lang.String <B>CONCRETE_SUCCESSOR_PREDICATE_URI_PREFIX</B></PRE>
<DL>
<DD>The URI prefix for the predicates encoding successors from the concrete domain.
<P>
<DL>
<DT><B>See Also:</B><DD><A HREF="../../../../../constant-values.html#org.semanticweb.kaon2.api.logic.PredicateSymbol.CONCRETE_SUCCESSOR_PREDICATE_URI_PREFIX">Constant Field Values</A></DL>
</DL>

<!-- ============ METHOD DETAIL ========== -->

<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>

<A NAME="getName()"><!-- --></A><H3>
getName</H3>
<PRE>
java.lang.String <B>getName</B>()</PRE>
<DL>
<DD>Returns the name of the predicate symbol. The short name is equal to the URI. This method exists purely to make this interface symmetric with FunctionSymbol.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the name of the predicate symbol</DL>
</DD>
</DL>
<HR>

<A NAME="getFullName()"><!-- --></A><H3>
getFullName</H3>
<PRE>
java.lang.String <B>getFullName</B>()</PRE>
<DL>
<DD>Returns the full name of the predicate symbol. The full name has the form name/arity.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the full name of the predicate symbol</DL>
</DD>
</DL>
<!-- ========= END OF CLASS DATA ========= -->
<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="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="class-use/PredicateSymbol.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/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic"><B>PREV CLASS</B></A>&nbsp;
&nbsp;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../index.html?org/semanticweb/kaon2/api/logic/PredicateSymbol.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="PredicateSymbol.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>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
  SUMMARY:&nbsp;NESTED&nbsp;|&nbsp;<A HREF="#field_summary">FIELD</A>&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL:&nbsp;<A HREF="#field_detail">FIELD</A>&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->

<HR>

</BODY>
</HTML>