Re: Benefits of using DL or Lite over using Full? from Drew McDermott on 2003-03-14 (www-rdf-logic@w3.org from March 2003)

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Fri, 14 Mar 2003 14:48:57 -0500 (EST)
To: www-rdf-logic@w3.org
Message-Id: <200303141948.h2EJmtc12775@pantheon-po04.its.yale.edu>

   [Peter Patel-Schneider]
   The benefits are computational. 

   OWL DL inferencing is decidable. OWL Lite inferencing is in EXPTIME.

Could you briefly list what "inferencing" tasks are covered by these
statements?  I'm sure it's in the OWL documentation, but it's easier
to just ask you :).

                                             -- Drew McDermott

Received on Friday, 14 March 2003 14:48:58 UTC