Standard RIF must be able to expres RDF deduction rules
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]
RIF without that is useless for me
Humm, that's a statement of importance, not urgency.