[Attempto] unused statements have OWL forms

[David Whitten]

Since you know what the OWL representation of these are, perhaps you
could include them in a file so others could see them?

What do you expect the DRS for each to be, as well?

On Sat, Mar 19, 2016 at 9:18 PM, George Herson <gherson at snet.net> wrote:
>
> 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
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>