Generating New Knowledge by Deductive Reasoning using Schematron

Hi Folks,

I wrote a short article:

  Generating New Knowledge by Deductive Reasoning using Schematron

It describes how to do deductive reasoning using Schematron. I illustrate this using an example of the Robber and the Speeder.

http://www.xfront.com/Generating-New-Knowledge-by-Deductive-Reasoning-using-Schematron.pdf 

/Roger