Re: Rules WG -- draft charter -- NAF

I think that default reasoning via NAF is too useful and intuitive to
ignore, even initially.  A "worse is better" argument may be relevant
here.  We'll get this stuff used if we give web developers and
programmers (they are our customers, right) power tools they can use,
even if an occasional thumb gets cut off.  To not do so increases the
risk that we will produce yet another elegant system that will be
cited in papers but not widely used.

I'd be happy with a way to assert that "the following documents and
the transitive closure of those they IMPORT, form a closed world wrt
certain classes and properties".  How reasoning agents deal with
references to classes and properties in non-imported documents can be
open.  How reasoning agents deal with the fact the the documents
change over time can be open.  Whether agents choose to use NAF is a
choice they can make.

Tim

Received on Tuesday, 18 November 2003 10:22:06 UTC