Re: nominals (was RE: Proposed response to Martin Merry, HP)

On May 13, Dan Connolly writes:
> 
> On Mon, 2003-05-12 at 12:36, Jim Hendler wrote:
> > At 16:46 +0200 5/12/03, Jeremy Carroll wrote:
> > >>  I think this is covered by Jim's proposed response. Users should be
> > >>  aware that nominals are a very powerful construct, and the
> > >>  (gratuitous) use of nominals is likely to adversely affect
> > >>  performance.
> > >
> > >That's a somewhat stronger statment ...
> > >
> > >... and quite interesting.
> > >
> > >Jeremy
> > 
> > Jeremy - if you say something about this in Test, it could be a 
> > useful thing.  If you decide to, can you let me know so I can add to 
> > the appropriate responses.
> 
> As a reader, I don't think I'd look in the test doc for this
> sort of info.
> 
> I'd expect guidance on what features to use to go in the Guide
> or perhaps in Reference.

I agree - I think that the appropriate response is to add some words to
Guide making it clear that the way the language is used is likely to
have a significant impact on the performance of reasoners, perhaps
with specific mention of uses that are likely to cause difficulties
(not only nominals, but also, e.g., use of large cardinality
constraints).

Ian


> 
> Mike S? Mike D? Are you inspired to add a few words?
> 
> 
> -- 
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> 
> 

Received on Wednesday, 14 May 2003 16:15:31 UTC