- From: Michael Smith <msmith@clarkparsia.com>
- Date: Thu, 10 Jul 2008 12:41:09 -0400
- To: public-owl-wg <public-owl-wg@w3.org>
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