Facts in DL-Lite [was Re: Major changes in Fragments Document]

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