James Farrugia Model-theoretic semantics for the web. 29-38 2003 WWW http://doi.acm.org/10.1145/775152.775158 db/conf/www/www2003.html#Farrugia03