W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

Re: comment on the fragment document: (inverse) functional and DL-Lite

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Fri, 7 Mar 2008 17:07:56 +0000
Message-Id: <C03D6C73-6747-46C1-BFDB-E54D818E35D8@cs.man.ac.uk>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

On 7 Mar 2008, at 16:36, Achille Fokoue wrote:

> Hi,
> Another rationale for giving up property functionality in favor of  
> property inclusion is that some of the E/R constructs missing in DL- 
> LiteR (e.g. key and uniqueness constraints) are generally used in  
> the database world to express constraints rather than enabling  
> inferencing.  So, adding them to DL-LiteR will not only affect  
> performance, it might also not correspond to the user's intuition  
> or expectation (i.e. a constraint that has to be checked, and if   
> it is not violated, then query answering can be performed ignoring  
> it).

Good point! In fact, it would be pretty easy to delegate that to the  
underlying database in a smooth way. One could annotate certain  
properties and then separate the constraint checking from the query  

Received on Friday, 7 March 2008 17:06:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC