<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_1_1457901941118_446163"><br></div><div id="yui_3_16_0_1_1457901941118_446163" dir="ltr">hi,</div><div id="yui_3_16_0_1_1457901941118_446163" dir="ltr"><br></div><div id="yui_3_16_0_1_1457901941118_446163" dir="ltr">Three example <a href="http://attempto.ifi.uzh.ch/webapps/acewikigeo/" id="yui_3_16_0_1_1457901941118_446184" class="" style="background-color: rgb(255, 255, 255);">http://attempto.ifi.uzh.ch/webapps/acewikigeo/</a> "unasserted" statements "too complex to be considered for reasoning":</div><div id="yui_3_16_0_1_1457901941118_446163" dir="ltr"><br></div><div id="yui_3_16_0_1_1457901941118_446163" dir="ltr" class=""> Missouri is a state that belongs_to the United_States_of_America.</div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class=""><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class=""> If Liechtenstein borders X then X is Austria or X is Switzerland.</div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class=""> The Limmat is a river that flows_through Zurich.</div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class=""><br></div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class="">Yet each has an OWL representation, so how does AceWiki decide that a statement is too complex to be considered for reasoning? Are the OWL representations complete?</div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class=""><br></div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446251" class="">thank you,</div><div dir="ltr" id="yui_3_16_0_1_1457901941118_446288" class="">George</div></div></div></body></html>