- From: Tim Berners-Lee <timbl@w3.org>
- Date: Sun, 15 Jun 2008 15:09:21 -0400
- To: Dan Brickley <danbri@danbri.org>
- Cc: Alan Ruttenberg <alanruttenberg@gmail.com>, Cristiano Longo <cristiano.longo@tvblob.com>, semantic-web@w3.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 ontology. Tim
Received on Sunday, 15 June 2008 19:10:54 UTC