<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br class=""><blockquote type="cite" class="">On 17 Apr 2016, at 18:48 , Eckart Bindewald <<a href="mailto:bindewald@gmail.com" class="">bindewald@gmail.com</a>> wrote:<br class=""><br class="">Hello:<br class="">my apologies for the beginner's question. I successfully installed the APE - ACE Parsing Engine on a Mac. I executed a variety of examples of parsing text using ape.exe. How can I now actually execute queries to obtain conclusions beyond parsing? For example for "John likes Mary. Who likes Mary?" , I would like the result "John". For "John likes Mary. Who does John like?" I would expect the result "Mary".<br class="">I saw a variety of examples in tests/test_owlswrl.pl , but I did not succeed in adapting those queries. Which interface should I use?<br class=""><br class="">Thanks,<br class=""><br class="">Eckart<br class=""><br class="">_______________________________________________<br class="">attempto mailing list<br class=""><a href="mailto:attempto@lists.ifi.uzh.ch" class="">attempto@lists.ifi.uzh.ch</a><br class="">https://lists.ifi.uzh.ch/listinfo/attempto<br class=""></blockquote><div class=""><br class=""></div>Eckart<div class=""><br class=""></div><div class="">APE by itself is just what its name says, namely a parser for ACE that translates an ACE text into a Discourse Representation Structure (DRS). The DRS can be further translated into various other forms of logic, for instance FOL and OWL (see the "Menu" and "Help" buttons of APE's web-interface, or read APE's documentation). Thus APE does no reasoning.</div><div class=""><br class=""></div><div class="">There are, however, several reasoners for ACE.</div><div class=""><br class=""></div><div class="">1. RACE (<a href="http://attempto.ifi.uzh.ch/race" class="">attempto.ifi.uzh.ch/race</a>) that you currently can only use remotely via its web-service or its web-interface (see the help text on the RACE web-site, or read RACE's documentation). RACE will actually do what you want as the following screen-shots of its web-interface show. Note that you enter the premises/axioms and the consequences/queries into different windows of the web-interface.<br class=""><br class=""></div><div class=""><img height="293" width="1246" apple-width="yes" apple-height="yes" apple-inline="yes" id="EEF8BBFB-9688-4DEA-B0EF-4E94999740B6" src="cid:C04B0356-2183-4823-BB5D-CB245514ED9E@uzh.ch" class=""></div><div class=""><br class=""></div><div class=""><img height="287" width="1246" apple-width="yes" apple-height="yes" apple-inline="yes" id="3C8DF8FA-97A9-4A19-B430-C85134E334E1" src="cid:1FF50534-86D9-4614-A854-CCE95CBD7FF3@uzh.ch" class=""></div><div class=""><br class=""></div><div class="">2. Since you were alluding to OWL, you could use two reasoners that are based on OWL, namely AceWiki and ACE View. See their descriptions on <a href="http://attempto.ifi.uzh.ch" class="">attempto.ifi.uzh.ch</a>.</div><div class=""><br class=""></div><div class="">Let us know how it works out for you.</div><div class=""><br class=""></div><div class="">Norbert E. Fuchs</div><div class="">Department of Informatics & Institute of Computational Linguistics<br class="">University of Zurich<br class=""><br class=""><br class=""><br class=""></div><br class=""></body></html>