Issues
Extending to FOL? log:or
Proper XML syntax (kludge exists)
Rules as facts: Context explicit or implicit?
Tim Berners-Lee
17 of 18