CEDAR Project Software

READ-ME file for contents of this directory

This directory contains:

To use the jar executable, unzip the above zip archive, and load it into your favorite Java IDE, or invoke the following command in a "java-aware" command shell:

        java -jar CedarReasonerEvaluationTool.jar &
This will spawn a stand-alone app with a user-friendly interactive GUI.

HOW DO I USE IT?

  • Select a reasoner;
  • load an ontology;
  • classify the ontology.
  • After loading and classifying a selected ontology, the time taken to load and classify it will be displayed.

    At that point, you can execute queries for the selected reasoner on the loaded and classified ontology:

    If the query is well-formed, its result will appear in the box below, and its processing time will be displayed beneath it.

    You can repeat several times the query entering and execution for the currently selected reasoner.

    If you wish to choose a different reasoner, click on the Reset button in the upper left menu, select another reasoner, and click again on the Load and Classify buttons. You can then repeat the query entering and execution process.

    If you wish to test the tool on the provided datasets (containing ontologies to test), unzip the files "data.zip", "OSF.zip", and "OWL.zip" - locally or wherever you wish - and proceed to select the one you wish: in the OWL directory for all the OWL API reasoners (Pellet, Fact++, Hermit, SnoRocket, TrOWL, Jena) and the in OSF directory for the CEDAR reasoner.

    For a video giving a demo of this tool, check out:

    Please send comments, questions, etc., to:

    Thanks for your interest; hope you enjoy playing with this tool.

    The CEDAR Team