Re: Benefits of using DL or Lite over using Full?

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Fri, 14 Mar 2003 14:54:30 -0500 (EST)
• To: drew.mcdermott@yale.edu
• Cc: www-rdf-logic@w3.org
• Message-Id: <20030314.145430.103983161.pfps@research.bell-labs.com>

From: Drew McDermott <drew.mcdermott@yale.edu>
Subject: Re: Benefits of using DL or Lite over using Full?
Date: Fri, 14 Mar 2003 14:48:57 -0500 (EST)

> 
> 
>    [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
> 

There is only one, entailment, with a fairly usual definition.  :-)

Of course, just about any yes/no inferencing task can be easily reduced to
entailment.


peter

Received on Friday, 14 March 2003 14:54:42 UTC