on the future semantic web
-
Express data in a mathematically precise way, but...
-
Constrain data languages as much as possible, so...
-
Reliable mechanical applications: all problems tractable
-
Heuristic applications and internal workings: exciting new algorithms