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
- Web assumptions different from closed world