W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT