Challenges - Computer Science
- Indexing rule files by terms used and translated
- Building data flow and queries dynamically
- Scalable algorithms over fractal space
- Using same rules in forward and backward-chaining contexts
- Incremental, reversible inference - diff, patch and generic synch
- Generating and checking lists of rules used: proofs
- The UI to the Semantic Web
- Secure systems