Re: [OpenCyc-devel] How to add a rule using Java API?

[John De O. <jo...@cy...>]

America,

Here's what Brad Bouldin found that we have in the web services code, along
with an example.

He says he just tested it to make sure it works. You'll notice a call to...

assertWithTranscriptAndBookkeeping

I didn't see that method in the API docs, but here it is and it works.

- John D.


http://65.99.218242:8080/RESTfulCyc/Assert.jsp<http://65.99.218.242:8080/RESTfulCyc/Assert.jsp>
Enter:
     (#$implies     (#$isa ?OBJ #$Poodle)    (#$isa ?OBJ #$Dog))
    #$BaseKB

Result:

<cyclify><success></success></cyclify>

Here is the source code:

protected void doPost(final HttpServletRequest request, final
HttpServletResponse response) throws ServletException,
   IOException {
  System.out.println("POST STARTED");
  final Writer w = response.getWriter();

  final String assertStatement = request.getParameter("assert");
  final String microtheory = request.getParameter("microtheory");
  if (assertStatement == null) {
   return;
  } else if (assertStatement.equals("")) {
   return;
  }
  if (microtheory == null) {
   return;
  } else if (microtheory.equals("")) {
   return;
  }

  final String requestor = request.getRemoteAddr();
  System.out.println("requestor:" + requestor);

  w.write("<cyclify>");
  try {
   CycAccess cyc = null;

   cyc = CycRESTServlet.getCyc();
   final CycFort mt = cyc.getConstantByName(microtheory);
   if (mt == null) {
    throw new IllegalStateException("Microtheory was not found:" + microtheory);
   }
   cyc.assertWithTranscriptAndBookkeeping(assertStatement, mt);

   final String result = "Success";
   if (result == null) {
    w.write("<error>nothing found</error>");
   } else {
    w.write("<success>");
    w.write("</success>");
   }

  } catch (final Exception e) {
   this.writeException(e, assertStatement + "/" + microtheory, "Assert", w);
  }

  w.write("</cyclify>");
 }



On Thu, Jul 10, 2008 at 4:39 PM, America Holloway <aho...@ic...>
wrote:

> Hi,
> How can I use the Java API to add a rule containing variables to a
> microtheory. There are many methods for asserting a GAF but I can't find a
> method for adding a rule. Any help would be greatly appreciated.
> Thanks,
> America.
>
> -------------------------------------------------------------------------
> Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
> Studies have shown that voting for your favorite open source project,
> along with a healthy diet, reduces your potential for chronic lameness
> and boredom. Vote Now at http://www.sourceforge.net/community/cca08
> _______________________________________________
> OpenCyc-devel mailing list
> Ope...@li...
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
>
>


-- 
Website: http://www.actionitem.com
Twitter: http://twitter.com/johndeo
LinkedIn: http://www.linkedin.com/in/johndeo
Twine: http://www.twine.com/user/johndeo