capturing 'foreall' in a graph picture

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.

Received on Tuesday, 17 October 2000 10:56:49 UTC