Semantic Web and Natural Semantics

Conclusions

§Natural Semantics is a powerful formalism to used to specify semantics of programming languages §RML (Relational Meta-Language) can generate executabile specifications §Building a paralel between programming languages and Semantic Web languages one could find places where RML can prove useful.