- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Tue, 04 Apr 2006 14:05:57 +0100
- To: RIF WG <public-rif-wg@w3.org>
This is an incomplete attempt to sketch out an example goal/csf/requirement hierarchy to help me at least see the wood for the trees. This is not "right", just preliminary musings, so it can't go into the Design Constraints page (violates the stated ground rules for that). Posted in its current highly preliminary state in case it is a useful seed. Dave "the job of a strawman is to have bayonets stuck in it" ** Goals G1 Enable effective interchange of rules between existing rule systems G2 Widespread adoption G3 Foundation for a semantic web rule language ** Breakdown G1 Enable effective interchange of rules between existing rule systems C1.1 Able to express the main features of relevant commercial rule systems R1.1.1 Support for production rule languages ... C1.2 Interchanges can be meaning preserving R1.2.1 RIF semantics is clear and precise R1.2.2 RIF semantics is compatible with the rule languages to be exchanged C1.3 Cohesive, sufficiently few RIF dialects that there is useful interchange G2 Widespread adoption C2.1 Low cost of entry R2.1.1 comprehensible and succinct specification documents R2.1.2 (auxiliary) human readable syntax C2.2 Ease of "implementation" R2.2.1 Sufficiently expressive that RLi -> RIFdialect is easy R2.2.2 Sufficiently inexpressive that RIFdialect -> RLj is easy R2.2.3 modest number of RIF dialects C2.3 Can be extended to handle interchange between languages not explicitly considered by WG R2.3.1 Extensibility mechanism G3 Foundation for a semantic web rule language C3.1 Webized R3.1.1 predicates, instance objects etc designated by URIs ... C3.2 Compatible with RDF R3.2.1 RIF core must be able to accept RDF triples as data R3.2.2 RIF core must be able to express RDF deduction rules ... C3.3 Compatible with OWL R3.3.1 RIF Standard inference and OWL inference can be combined in a well-defined fashion ... C3.4 Compatible with SPARQL R3.4.1 RIF Standard rules can query SPARQL data sources R3.4.2 RIF Standard include SPARQL-compatible named graph support? ...
Received on Tuesday, 4 April 2006 13:06:18 UTC