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 / regimes
Name Modified Size InfoDownloads / Week
Parent folder
axioms-rdf11-simple.tptp 2014-01-04 736 Bytes
0
axioms-rdf11-rdfs.tptp 2014-01-04 18.6 kB
0
axioms-rdf11-rdf.tptp 2014-01-04 3.4 kB
0
Totals: 3 Items   22.6 kB 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