[Attempto] unused statements have OWL forms

[George Herson]

Hi David,
Viewing details on these sentences shows OWL and DRS ("Internal Representation") for each example.  (To see, browse http://attempto.ifi.uzh.ch/webapps/acewikigeo/, search for Limmat, then view details of the red sentence.)
best regards,George
p.s. If the minimum OWL Profile, e.g., OWL 2 RL or OWL 2 Full, required to represent the sentence could be shown along with the OWL representation, that'd be interesting to see.

 

    On Sunday, March 20, 2016 8:45 AM, David Whitten <whitten at worldvista.org> wrote:
 

 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
>


  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20160320/b2df559b/attachment.html>