- From: Michael Smith <msmith@clarkparsia.com>
- Date: Thu, 10 Jul 2008 12:37:30 -0400
- To: Boris Motik <boris.motik@comlab.ox.ac.uk>
- Cc: public-owl-wg@w3.org
On Thu, 2008-07-10 at 15:26 +0100, Boris Motik wrote: > Please allow me also to clarify the design of DL-Lite in OWL 1.1, which allowed for SameIndividual, but disallowed > (inverse-)functional properties. The reason why, in that case, you can have SameIndividual is because these axioms do not require > true equality reasoning: you can deal with them such that, before reasoning, you simply replace one individual with the other one. > However, as soon as you add any kind of "true" equality reasoning, you need to assume UNA as well if you want to stay FOL-reducible; > well then, the only logical thing to do was to throw out SameIndividual. My point was that I find the OWL 1.1 version (without functional properties) to be more useful precisely because it had SameIndividual. -- Mike Smith Clark & Parsia
Received on Thursday, 10 July 2008 16:38:15 UTC