<div dir="ltr">Thank you for the detailed answer. Using the RACE web server, I was within minutes able to obtain useful reasoning for practice purposes, for example:<div>If X is the parent of Y, and Y is the parent of Z then X is the grandparent of Z. John is the parent of Thomas. Thomas is the parent of Susan. <br></div><div>For the query "Who is the grandparent of Susan?" the system found the correct answer "John". </div><div>Nice!</div><div>Thanks again,</div><div>Eckart</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 17, 2016 at 2:36 PM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><blockquote type="cite"><div><div class="h5">On 17 Apr 2016, at 18:48 , Eckart Bindewald <<a href="mailto:bindewald@gmail.com" target="_blank">bindewald@gmail.com</a>> wrote:<br><br>Hello:<br>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>I saw a variety of examples in tests/<a href="http://test_owlswrl.pl" target="_blank">test_owlswrl.pl</a> , but I did not succeed in adapting those queries. Which interface should I use?<br><br>Thanks,<br><br>Eckart<br><br></div></div>_______________________________________________<br>attempto mailing list<br><a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a><br><a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a><br></blockquote><div><br></div>Eckart<div><br></div><div>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><br></div><div>There are, however, several reasoners for ACE.</div><div><br></div><div>1. RACE (<a href="http://attempto.ifi.uzh.ch/race" target="_blank">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><br></div><div><img height="293" width="1246" src="cid:C04B0356-2183-4823-BB5D-CB245514ED9E@uzh.ch"></div><div><br></div><div><img height="287" width="1246" src="cid:1FF50534-86D9-4614-A854-CCE95CBD7FF3@uzh.ch"></div><div><br></div><div>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" target="_blank">attempto.ifi.uzh.ch</a>.</div><div><br></div><div>Let us know how it works out for you.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Norbert E. Fuchs</div><div>Department of Informatics & Institute of Computational Linguistics<br>University of Zurich<br><br><br><br></div><br></font></span></div></blockquote></div><br></div>