W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2000

capturing 'foreall' in a graph picture

From: Tom Van Eetvelde <tom.van_eetvelde@alcatel.be>
Date: Tue, 17 Oct 2000 16:55:26 +0200
Message-ID: <39EC685E.EDA5CF29@alcatel.be>
To: www-rdf-interest@w3.org
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.



(image/jpeg attachment: quantifierProblem.jpg)

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:32 UTC