• Standard RIF must be able to express RDF deduction rules

Standard RIF must be able to expres RDF deduction rules

Full Statement

RIF Standard should be capable of expressing rules which not only accept RDF data (see dependencies) but can express useful RDF deductions. E.g.

• conclusions from such rules should be accessible as further RDF data (including queriable via SPARQL),
• rules should be able to express quantification over RDF predicates,
• rules should be able to include RDF blank nodes (or at least skolem constants) in assertions.

Position in the DC structure

• Level: Requirement [PROPOSED]

Dependencies

• The RIF Core must be able to accept RDF triples as data

Motivation

RDF use cases such as Message Transformation, probably use case 1.8 Vocabulary Mapping for Data Integration, existing RIFRAF entries Euler and JenaRules.

Urgency

RIF without that is useless for me

Humm, that's a statement of importance, not urgency.

Champions

DaveReynolds, JosDeRoo, FrançoisBry