swap-scala: Toward proof checker for the Semantic Web

This is a Semantic Web Application Platform in scala, an independent
implementation of the tools -- especially the proof checker -- in the
`original python swap`__.


Notes on Features, Goals, TestPlan, and DevTools are migrating
out of the code repository into `a google code wiki`__.


The initial revision of that repository is::

  0:22fb241bb04f Sun Jan 17 04:17:42 2010 +0000

directory layout is a la sbt/maven

see project/build/rdfsem.scala for dependency info (i.e. sbt config)