Rules Layer
General purpose rules languages that allow query and filtering
Query similar to SQL
Many rules systems currently exist
Rules layer allows Proofs without full Logic layer
Tim Berners-Lee and Eric Miller
22 of 37