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
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.