RE: Undiscussed DL-Lite Changes: SameIndividuals out, UNA + Functional Properties in

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