Re: CR/PR questions

A short message.

I am not expecting reasoners to work fast, just to reason successfully within 
some time period that is less than forever.

This is not about quantitative capabilities of reasoners, but qualititave 
capabilities. Can they reason about finite classes and their cardinalities - 
or are they really only capable of advanced reasoning about infinite classes.

OWL DL and Full permits descriptions that describe both infinite and finite 
classes.
The DL community have much more experience in reasoning about descriptions of 
infinite classes than finite ones.

Jeremy

Received on Monday, 5 May 2003 16:22:11 UTC