https://github.com/dckc/swap-scala

Automatically exported from code.google.com/p/swap-scala
https://github.com/dckc/swap-scala

Last synced: 8 days ago
JSON representation

Automatically exported from code.google.com/p/swap-scala

• Host: GitHub
• URL: https://github.com/dckc/swap-scala
• Owner: dckc
• Created: 2015-03-28T16:53:05.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-03-28T16:55:51.000Z (over 9 years ago)
• Last Synced: 2024-10-15T21:17:15.543Z (23 days ago)
• Language: Scala
• Size: 465 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
=====================================================

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)