- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Mon, 5 May 2003 22:22:19 +0300
- To: www-webont-wg@w3.org
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