Tools, Demos and Datasets

From Inference Web

(Redirected from Tools)
Jump to: navigation, search

Contents

Demonstrations

Selected Demonstrations

Others

See Category:Demonstration

Semantic Provenance Capture in Data Ingest Systesm (SPCDIS)

Capturing and displaying scientific provenance

TPTP-IW
OWL
Linked Data
  • browser2 (v2.2) -- a linked data browser (simplified version of tabulator) to viewing linked data
  • sw4j services -- a collection RESTful web services for processing linked data
  • Supreme Court Justice demo
  • US/UK Foreign Aid demo
Provenance behind URI
Semantic Wiki
  • RPI Map -- a semantic wiki based map for RPI campus
  • TAMI Policy Testbed -- a semantic wiki based testbed for policy language development.
Wikipedia Provenance and Trust
Wine Agent
KANI
CALO

http://browser.inference-web.org/tptppml an application that uses that proofs at http://inference-web.org/proofs/tptp/

Tools

The Inference Web project is now hosted on Google Code at http://code.google.com/p/inference-web/.

Online Tools

RPI Tools
UTEP Tools

Offline Tools

  • PML API
  • plunk - Listing of PML documents on the web - encoded as PML.

Datasets

Personal tools
Navigation