W3C home > Mailing lists > Public > public-rdf-wg@w3.org > November 2012

Re: Factoring of entailment regimes

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Sat, 17 Nov 2012 11:06:39 -0500
Message-ID: <50A7B60F.2060308@gmail.com>
To: Richard Cyganiak <richard@cyganiak.de>
CC: RDF Working Group WG <public-rdf-wg@w3.org>
I'm having trouble figuring out why the working group should do anything here, 
particularly at this late date.  Is it something that needs to be done because 
the current situation is horribly broken? Or is it something that needs to be 
done because the WG charter requires it?  I don't see that either is the case.


On 11/17/2012 09:57 AM, Richard Cyganiak wrote:
> On 17 Nov 2012, at 13:15, Ivan Herman wrote:
>> On Nov 16, 2012, at 20:06 , Pat Hayes wrote:
>>> We could define a whole range of entailment regimes, in fact, even ones that "overlap" others, by mixing and matching groups of rules and axioms. So maybe we can re-define the 2004 regimes as we go, as well as our newly preferred "backbone". The 2004 regimes were written to exactly match the rdf, rdfs and rdfs+datatypes namespaces, so it would not be outrageously strange to repeat these in the revized specs, if only for historical interest.
>> We could also use the renaming trick: we can use another term for RDF and RDFS entailments new style, keep the old ones unchanged, defined but declared 'deprecated' or something.
>> I am not sure it is the best approach, just and early-morning-after-breakfast thought...
> Perhaps best to proceed in the knowledge that we *could* still define entailment regimes corresponding to the 2004 ones if we want, and leave these question for later:
> - whether to really define the 2004 entailment regimes
> - whether they would be normative, informative, deprecated or whatever
> - what the names for all the entailment regimes (new and old ones) will be
> Best,
> Richard
Received on Saturday, 17 November 2012 16:07:08 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:09 UTC