1. Abelson, H., Sussman, G.-J., Sussman, J.: Structure and Interpretation of Computer Programs. MIT Press, Cambridge (1985)
2. Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
3. Baroni, M., Bernardi, R., Zamparelli, R.: Frege in Space: A Program for Compositional Distributional Semantics. Linguistic Issues in Language Technologies (to appear)
4. Bonatti, P.A., Hogan, A., Polleres, A., Sauro, L.: Robust and Scalable Linked Data Reasoning Incorporating Provenance and Trust Annotations. Journal of Web Semantics 9(2), 165–201 (2011)
5. Shvaiko, P., Euzenat, J.: A survey of schema-based matching approaches. Journal on Data Semantics 4, 146–171 (2005)