Hello RDF community, As RDF should be able to express anything, I tried to model the statement that 'Mike likes all women' and that he drinks anything. I tried to stick to the core RDF constructs: arrows and resources. For the logicians: this means trying to model the 'foreall' quantifier in existential conjunctive logic. For those interested: take a look at below attachment. I would appreciate comments as I am curious in other viewpoints on the matter. Greetings, Tom.
(image/jpeg attachment: quantifierProblem.jpg)
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:19:42 GMT