Source

swap-scala /

Filename Size Date modified Message
.idea
project
src
345 B
3.2 KB
787 B
1.7 KB
274 B
270 B
336 B
=====================================================
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`__.

__ http://www.w3.org/2000/10/swap/

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

__ http://code.google.com/p/swap-scala/w/list

The initial revision of that repository is::

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


directory layout is a la sbt/maven
http://code.google.com/p/simple-build-tool/wiki/Setup

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