Monthly Archives: December 2006

Validate for Machines, not Humans

Posted on Friday, 22 December 2006 by Marc de Graauw

Mark Baker misses an important distinction in “Validation Considered Harmful” when he writes: “Today’s sacred cow is document validation, such as is performed by technologies such as DTDs, and more recently XML Schema and RelaxNG. Surprisingly though, we’re not picking … Continue reading →

Posted in semantics | 4 Comments

The Semantics of Addresses

Posted on Monday, 18 December 2006 by Marc de Graauw

There has been a lot of discussion over the past 10-something years on URI’s: are they names or addresses? However, there does not appear to have been a lot of investigation into the semantics of addresses. This is important, since … Continue reading →

Posted in reference, semantics, URI | 4 Comments

Do we have to know we know to know?

Posted on Saturday, 16 December 2006 by Marc de Graauw

John Cowan wrote ‘Knowing knowledge‘ a while ago, about what it means to know something. His definition (derived from Nozick) is: ‘The following four rules explain what it is to know something. X knows the proposition p if and only … Continue reading →

Posted in semantics | 2 Comments