W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: CR/PR questions

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 5 May 2003 22:22:19 +0300
To: www-webont-wg@w3.org
Message-Id: <200305052222.19750.jjc@hpl.hp.com>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT