DISK Documentation

From Enigma-Dev
Revision as of 04:53, 14 July 2020 by Priya (talk | contribs) (Hypothesis Testing through DISK)
Jump to: navigation, search

Welcome to the DISK Documentation!

This page will include instructions on how to navigate through DISK, and test your own hypothesis!

DISKLogo

The DISK portal can be found here.

Hypothesis Testing through DISK

First, we must define a Line of Inquiry (LOI). A line of inquiry allows us to define a pattern for our hypothesis using variables, along with a data query to specify the type of data we require to test that hypothesis. We can define our Line of Inquiry here or by clicking on the Lines of Inquiry tab as shown here:

Neuro DISK tabs

A template for a new line of inquiry should be displayed. We can define our hypothesis pattern and data query pattern using RDFS syntax.

The data query pattern allows us to pull relevant data stored in the ENIGMA Wiki and use it to test our hypothesis. If done correctly, we can click on the Test button and check whether the appropriate data has been retrieved.

Here is an example of a successful data query pattern:

Test data query pattern

Once we have all the relevant data files, we must specify a workflow to bind the inputs that we have retrieved and this can be done under the Workflows to Run section. This will allow us to automatically run our experiments with the data we have queried, by using a workflow on the WINGS portal. To learn more about how to create your own workflow on WINGS, go here.

The completed LOI should look something like this:

Example LOI


After defining the LOI, we have to define the actual hypothesis to be tested by using specific terms instead of variables. We can declare these terms and their labels after clicking on the Data tab of the DISK portal, like shown:

Add term DISK


Next, click on the Hypothesis tab to declare and test your hypothesis. It can also be found here.

Click on the orange '+' button on the top right corner to create your own hypothesis using the terms declared previously. Click on Query to retrieve the data and trigger the appropriate workflow. Once triggered, it should look like this:

Triggered-LOI

The green check symbol denotes the successful execution of the workflow. The progress of the Workflow can be monitored on the WINGS portal here.

That's all there is to test your hypothesis!