[Attempto] @anaphoric reference

[Norbert E. Fuchs]

On 3 Jul 2009, at 23:29, Simon Spero wrote:

> I was trying to not to suggest adding a general DL reasoner to the  
> basic ACE package, though now you mention it :-) :-)

ACE is a general knowledge representation language used in very  
different fields that have vastly different requirements. This is one  
of the reasons why we don't do any reasoning during parsing, and  
postpone reasoning to the tools that use the DRS generated from an ACE  
text.

By the way, a DL reasoner would not do since ACE is equivalent to a  
superset of first-order logic and thus is undecidable.

> What I was wondering was whether 'something' might be a special  
> case: if an index i refers to an individual which is of sort   
> something, and another index i
> refers to something that is a  dax, then the individual indexed by i  
> must be a dax, even if we have no idea what a dax is.

Again that would unnecessarily limit ACE. But you can easily express  
this yourself in ACE, for instance by "(There is X.) X is a dax."

    --- nef