Qs for faq

Or perhaps glossary?
Just seen definitions requested for these:

“Universally quantified”

(Using the expression "for all x."?)

“existentially quantified”

(Using the expression "there exists x."?)

“Closed world assumption”

(Jos de Roo says:
http://lists.w3.org/Archives/Public/www-rdf-logic/2001Mar/0102.html)

Cheers,
Danny.


-----------
Danny Ayers

Semantic Web Log :
http://www.citnames.com/blog

Received on Tuesday, 12 November 2002 05:10:11 UTC