Challenges - Computer Science
Indexing rule files by terms used -- input and output vocabularies
Using that index to resolve a query
Using it to show what cannot be deduced (privacy...)
Building data flow and queries dynamically
Scalable algorithms over space with structure on all levels
Using same rules in eg. forward and backward-chaining contexts
Incremental, reversible inference - diff, patch and generic synch
Generating and checking lists of rules used: proofs
Secure systems
User interfaces to the Semantic Web
Tim Berners-Lee
40 of 55