- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Fri, 02 Dec 2005 11:33:25 +0000
- To: public-rif-wg@w3.org
** HP-4 Constraint expression * Outline A provider offers a web service which is operated by sending it an RDF model. The service might be a passive information service which is just storing and republishing content items described by RDF metadata or it may be an active service such as an automated control system which is treating the RDF as a specification of a desired control state. The service wishes to publish a specification of what constitutes a "well formed RDF model", i.e. what constraints must be satisfied in order to for a submission to be acceptable. These constraints include legal value ranges, invariants such as cross-property check sums and required properties. It uses RIL to express the required constraints. Not only does this provide a declarative specification of the constraints that must be satisfied but it enables a client to execute the specification to check whether and where its proposed submission deviates from the specification. * Implications Constraint rules as well as deduction rules. Negation over extensional predicates, scoped to the "model" being checked.
Received on Friday, 2 December 2005 11:34:10 UTC