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)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.