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