fmolecule.html

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

<A NAME="getModule()"><!-- --></A><H3>
getModule</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getModule</B>()</PRE>
<DL>
<DD>Returns the module of this literal, or <code>null</code> if no module has been supplied.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the module of this literal</DL>
</DD>
</DL>
<HR>

<A NAME="getObject()"><!-- --></A><H3>
getObject</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getObject</B>()</PRE>
<DL>
<DD>Returns the OID of this F-molecule. In an F-molecule of the form a : b, a :: b, or a[p -> v], this is the object a.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the OID of this F-molecule</DL>
</DD>
</DL>
<HR>

<A NAME="getInstanceOf()"><!-- --></A><H3>
getInstanceOf</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getInstanceOf</B>()</PRE>
<DL>
<DD>Returns the OID that this object is instance of. If this F-molecule is not of the form a : b, thie method
 returns <code>null</code>.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the OID of the class that this object is instance of, or <code>null</code></DL>
</DD>
</DL>
<HR>

<A NAME="getSubClassOf()"><!-- --></A><H3>
getSubClassOf</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getSubClassOf</B>()</PRE>
<DL>
<DD>Returns the OID that this object is subclass of. If this F-molecule is not of the form a :: b, thie method
 returns <code>null</code>.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the OID of the class that this object is subclass of, or <code>null</code></DL>
</DD>
</DL>
<HR>

<A NAME="getNumberOfMethodCalls()"><!-- --></A><H3>
getNumberOfMethodCalls</H3>
<PRE>
int <B>getNumberOfMethodCalls</B>()</PRE>
<DL>
<DD>Returns the number of method calls in this F-molecule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the number of method calls in this F-molecule</DL>
</DD>
</DL>
<HR>

<A NAME="getMethodCall(int)"><!-- --></A><H3>
getMethodCall</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A> <B>getMethodCall</B>(int&nbsp;methodCallIndex)</PRE>
<DL>
<DD>Returns the method call with given index.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>methodCallIndex</CODE> - the index of the method call
<DT><B>Returns:</B><DD>the method call with given index</DL>
</DD>
</DL>
<HR>

<A NAME="getMethodCalls()"><!-- --></A><H3>
getMethodCalls</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>[] <B>getMethodCalls</B>()</PRE>
<DL>
<DD>Returns the array of method calls. The result array is not owned by this object and can be freely changed.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the array of method calls</DL>
</DD>
</DL>
<HR>

<A NAME="replaceTerms(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term)"><!-- --></A><H3>
replaceTerms</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A> <B>replaceTerms</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;newModule,
                       <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;newObject,
                       <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;newInstanceOf,
                       <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>&nbsp;newSubClassOf)</PRE>
<DL>
<DD>Replaces the module, the object term, the instance-of term, and the subclass-of term. This method attemts to be
 memory efficient by reusing the term arguments.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newModule</CODE> - the new module<DD><CODE>newObject</CODE> - the new object<DD><CODE>newInstanceOf</CODE> - the new instance of term<DD><CODE>newSubClassOf</CODE> - the new subclass of term
<DT><B>Returns:</B><DD>the new F-molecule</DL>
</DD>
</DL>
<HR>

<A NAME="replaceMethodCalls(org.semanticweb.kaon2.api.flogic.FMethodCall[])"><!-- --></A><H3>
replaceMethodCalls</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A> <B>replaceMethodCalls</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A>[]&nbsp;newMethodCalls)</PRE>
<DL>
<DD>Replaces the method calls of this molecule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newMethodCalls</CODE> - the new method calls (can be <code>null</code>)
<DT><B>Returns:</B><DD>the new F-molecule</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/FMolecule.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/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic"><B>PREV CLASS</B></A>&nbsp;
&nbsp;NEXT CLASS</FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../index.html?org/semanticweb/kaon2/api/flogic/FMolecule.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="FMolecule.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;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL:&nbsp;FIELD&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>