W3C home > Mailing lists > Public > semantic-web@w3.org > June 2008


From: Tim Berners-Lee <timbl@w3.org>
Date: Sun, 15 Jun 2008 15:09:21 -0400
Cc: Alan Ruttenberg <alanruttenberg@gmail.com>, Cristiano Longo <cristiano.longo@tvblob.com>, semantic-web@w3.org
Message-Id: <E919ECCB-8A49-47FD-9F1C-1B8BADF5EE44@w3.org>
To: Dan Brickley <danbri@danbri.org>

Alan Ruttenberg wrote:
> It's OWL, but not OWL-DL.
> I would very much like there to be an OWL-DL version too, or at  
> least to factor it into two components - an OWL-DL portion, and a  
> set of further axioms that are imported by OWL full users.

Why don't you hack your  OWL DL reasoner so it just ignores the fact  
that something is an InverseFunctionProperty when it is also a  
DatatypeProperty?  Just because the reasoner can't handle it, there is  
no reason to remove this valuable (essential) information from the  

Received on Sunday, 15 June 2008 19:10:54 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:07 UTC