kingler/themis

Verification tool for executing test cases on one or more ontologies

Themis

This repository stores the code of Themis, which is a web application that provides an interface to execute tests on one or more ontologies, and also a REST API to be used by third-party services.

Inputs

Themis needs two inputs:

• Ontology URI: the user can add one or more than one ontology, which will be loaded and its glossary of terms automatically generated
• Test: the user can add one or more tests. Check here the supported tests

Outputs

Themis will provide the result for each test and each ontology, indicating as well the problem found (if any). Users can also download the test suite as an RDF file.

Using the Rest API

In order to use our REST API, check our online documentation

Using the JAR

Command: java-jar themis.jar -t test file -o ontology file [-g glossary of terms] [-r format of the results]

Example

java -jar themis.jar -t testsuite.ttl -o ontology.ttl -r junit

Inputs

The command can receive the following inputs:

• Ontology file: the user can add one ontology in a file, which will be loaded and its glossary of terms automatically generated
• Test file: the user can add one or more tests in a file (check here the supported tests) written in RDF or RDFa following the VTC ontology. Moreover, Themis accepts as input a text file with a list of tests that uses the following Themis syntax and that are separated by ";" (for example, a text file that includes: "Sensor type Class;Sensor subclassOf Device"). The supported file formats are the following:
  • RDFa: HTML and XML files
  • RDF: TTL, OWL and RDF files
  • List of tests: TXT files
• Glossary of terms [optional]: the user can add a glossary of terms of the ontology to be analysed as a JSON array. If there is not glossary of terms, Themis creates one automatically with the format [Term, URI] where the fragment of the URI of each term represents the Term field. These glossary of terms is used to map each term in the test with each term in the ontology. An example of glossary of terms is the following:

{
   "OntologyNameOrKey":[
      {
         "Term":"Sensor",
         "URI":"http://iot.linkeddata.es/def/core#Sensor"
      }
   ]
}

• Format [optional]: Themis will provide the result for each test. Three possible formats for the results are provided:
  • JSON (output by default)
  • RDFa following the VTC ontology
  • JUnit (see JUnit website for more information about the stucture of the test report)