Rules Layer - technology

Adds variables to RDF
General purpose rules languages that allow query and filtering
Query similar to SQL
Rules layer allows form of Proof without full Logic layer
Monotonic rules essential, non-mon for closed world use