Download Latest Version Rdf2Tptp.jar (7.8 MB)
Email in envelope

Get an email when there's a new version of Swertia

Home / reports / evaluations / rdf11mt / software
Name Modified Size InfoDownloads / Week
Parent folder
regimes 2014-01-04
0
run-swertia-e-rdf11-reasoner.sh 2014-01-04 1.9 kB
0
Rdf2Tptp.jar 2014-01-04 7.8 MB
0
Totals: 3 Items   7.8 MB 0 
This folder contains the results of the evaluation of the Swertia RDF 1.1 Semantics reasoner for the RDF 1.1 CfI.

Folder Contents:

* evaluation/: evaluation result files. 
  The most important file is the EARL file,
  which contains the evaluation results in
  machine-readable form.

* software/: evaluated software.
  + RdfToTptp.java: translator from RDF to FOL
  + regimes/: FOL files for the entailment regimes
    Simple, RDF, and RDFS
  + run-swertia-e-rdf11-reasoner.sh: Unix Shell script
    for running the RDF-to-FOL translator in conjunction
    with the FOL theorem prover E, which is separately
    available from its project homepage at 
    http://www.eprover.org .

Michael Schneider, January 2014
Source: README.txt, updated 2014-01-04