Fundamental Questions Can we make it easier for people to write the necessary semantics without understanding logic?       F(x,do(a,s)) ≡ ϒF+(x,a,s) ∨ (F(x,s) ∧ ¬ϒF-(x,a,s) Can we make Business Semantics that handle business interests as well as common concepts such as opening hours and delivery specifications? Can there be semantics that will be reused for integrating different applications, and be a real Software Engineering technology.

Can we make people feel that they are contributing to a collective effort on the open Internet?

Can we help industry develop such a technology inside a Industrial Service Park,
making it practical to use with existing tools, such as eclipse?