This is an archive of an inactive wiki and cannot be modified.

1. Abstract

This proposal starts with a language of conditions that can be used for positive rule bodies and then extends it with negative literals, builtins, and constructs to query OWL and RDF (via SPARQL). The rationale for focusing on this sublanguage is that it can be shared among five different sublanguages of interest to RIF. We then discuss various extensions of this sublanguage and propose an interoperation/interchange evaluation.

2. Status

2006-04-23 draft by: Harold Boley (NRC), Michael Kifer (Stony Brook University), Jeff Pan (University of Aberdeen), Gerd Wagner (BTU Cottbus), Alex Kozlenkov (Betfair), Jos de Bruijn (DERI), Mike Dean (BBN Technologies), Giorgos Stamou (NTUA)

3. Contents