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

On Thu, 2008-07-10 at 15:00 +0100, Ian Horrocks wrote:
> DL-Lite doesn't have UNA as such -- but the definition says that to  
> be in the DL-Lite fragment an ontology must include  
> DifferentIndividual statements for all individuals in the ontology.  
> This means that the fragment is still a fragment (every DL-Lite  
> ontology is a DL ontology and has exactly the same semantics in DL).  
> The DifferentIndividual statements effectively *assert* UNA. This is  
> needed if the OWL DL-Lite profile is to enjoy the computational  
> properties that are its "Raison d'etre" (because the profile also  
> includes functional roles). 

Yes.  Prior to the edits May 14, the profile did not include functional
roles, so the computational properties were available without the
asserted UNA.  I prefer that version.
Mike Smith

Clark & Parsia

Received on Thursday, 10 July 2008 16:41:50 UTC