[Attempto] unused statements have OWL forms

[George Herson]

hi,
Three example http://attempto.ifi.uzh.ch/webapps/acewikigeo/ "unasserted" statements "too complex to be considered for reasoning":
    Missouri is a state that belongs_to the United_States_of_America.    If Liechtenstein borders X then X is Austria or X is Switzerland.    The Limmat is a river that flows_through Zurich.
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?
thank you,George
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20160320/8572365a/attachment.html>