ISSUE-22: Need to define

Need to define

State:
CLOSED
Product:
(no longer used) Design Constraints (Goals, Requirements)
Raised by:
Christopher Welty
Opened on:
2006-08-22
Description:
Raised by: Chris and Sandro Posted to Issues by: Deborah

The chairs and UCR editors need to define \"cover\" in more detail, esp. in
connection with Issues 14 and 15, concerning RIF\'s coverage of RDF and OWL.
Issues 14 and 15 should be considered as test cases for the definition.

The initial definition of \"cover\" is given below -- copied from
Initial definition of \"covers\":
http://www.w3.org/2005/rules/wg/wiki/Design_Constraints/Terminology

Cover
A ruleset is covered by a RIF Dialect if that dialect can be used to
faithfully convey that ruleset. (Exactly what it means to \"faithfully convey\"
the ruleset still needs to be refined.) A language is covered by a RIF Dialect
if and only if all rulesets which can be written in that language are covered.

Example: \"Extended RIF must cover full first-order logic\" is short for \"it
must be possible to specify an extension to RIF Core, such that RIF-Core-plus-
this-extension forms a language in which one can write all the well-formed
formulas of full first-order logic.\"


Related Actions Items:
No related actions
Related emails:
No related emails

Related notes:

Closed by WG resolution during telecon 9 January 2007. The following text has
been added in the introduction of UCR:
\"One of the critical factors for a successful RIF is that it be useful for
interchange of rules among the set of rule languages it is intended to cover.
Section 5, Coverage, deals with the issue of how to characterize the space of
rule languages in such a way that clear and principled decisions as to what the
RIF will (and will not) cover can be made. We note that in this document we
deliberately refrain from defining the notion of \"coverage\" in a rigorous
manner, since precisely what it means for diverse rule languages to be \"covered\"
by RIF may vary from case to case. Intuitively, when we say that \"RIF covers
rule language L\" we mean that there is at least one standard dialect of RIF into
which rules written in L can be translated and vice versa.\"

16 Jan 2007, 00:00:00

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 22.html,v 1.1 2013-02-08 09:09:33 vivien Exp $