W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

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)
Message-Id: <20030314.145430.103983161.pfps@research.bell-labs.com>
To: drew.mcdermott@yale.edu
Cc: www-rdf-logic@w3.org

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 GMT

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