Facts in DL-Lite [was Re: Major changes in Fragments Document] from Michael Smith on 2007-12-18 (public-owl-wg@w3.org from December 2007)

From: Michael Smith <msmith@clarkparsia.com>
Date: Tue, 18 Dec 2007 11:07:22 -0500
To: Bernardo Cuenca Grau <Bernardo.Grau@comlab.ox.ac.uk>
Cc: public-owl-wg@w3.org
Message-Id: <1197994042.6282.36.camel@msmith-laptop>

On Tue, 2007-12-18 at 12:54 +0000, Bernardo Cuenca Grau wrote:

> - DL-Lite: Added grammar for facts

Regarding the following fact productions you added

        sameIndividual := 'SameIndividual' '(' individualURI individualURI { individualURI } ')'
        differentIndividuals := 'DifferentIndividuals' '(' individualURI individualURI { individualURI } ')'
        
The DL-Lite work I'm familiar with uses the standard names assumption,
and the above facts are not supported.  Understanding how one would
extend DL-Lite like this is not straightforward for me, do you have a
reference that discusses this?

Thanks,
-- 
Mike Smith

Clark & Parsia

Received on Tuesday, 18 December 2007 16:07:34 UTC