doi dblp Model-theoretic semantics for the web James Farrugia Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003