Logic layer
Universal language for monotonic logic
Any rule system can export, generally cannot import
No one standard engine - inference capabilities differ
Many engines exist (SQL to KIF, Cycl, etc)
Any system can
validate
proofs
Tim Berners-Lee
13 of 17