Re: [UCR] Proposal for RIF' design constraints hierarchy

From: Dave Reynolds <der@hplb.hpl.hp.com>
Subject: Re: [UCR] Proposal for RIF' design constraints hierarchy
Date: Tue, 02 May 2006 14:45:29 +0100

> 
> Paula-Lavinia Patranjan wrote:
> 
> > Hi,
> > 
> > Based on the design constraints, which have been proposed by some of the 
> > RIF participants, and the previous work on requirements, a new, refined 
> > version for the hierarchy of design constraints is proposed:
> > 
> > http://www.w3.org/2005/rules/wg/wiki/Towards_a_Rule_Interchange_Format%3A_Goals%2C_Critical_Success_Factors%2C_Requirements 
> > 
> > 
> > This draft is work in progress and its aim is to raise discussions that 
> > will entail decisions on RIF's goals, critical success factors and 
> > requirements; I will refine this draft based on your feedback. Short 
> > comments and comparison to Dave's proposal (cf. 
> > http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0005) for a 
> > hierarchy of same kind are also stated.
> 
> Thanks very much for this, I have three non-trivial comments and a few 
> minor questions/quibbles.
> 
> First, this seems to focus on maximizing expressivity. There are a lot of 
> requirements in here covering everything from probabilistic reasoning, to 
> courteous logic to FOL. I don't see anything aimed at narrowing the scope 
> to improve cohesion. For effective interchange there has to be some 
> encouragement to moderate the expressivity of individual dialect to 
> increase the chances of there being reasonably complete implementations of 
> a given dialect.

A very big +1 on this.

> Second, I don't see much in here which connects RIF to the web other than 
> the requirement to ingest XML/RDF/OWL. There is no requirement for 
> webization (URIs and all that), no requirement for external access to web 
> data sources (e.g. SPARQL), no overall goal expressed towards make RIF 
> relevant towards rule use on the semantic web.

Also a very big +1.

[...]

And a general +1 for the minor comments.

Peter F. Patel-Schneider

Received on Tuesday, 2 May 2006 14:45:53 UTC