| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| ReadMe.txt | 2014-09-22 | 2.7 kB | |
| full-galen.owl | 2014-09-22 | 10.8 MB | |
| galen_50.owl | 2014-09-22 | 20.1 MB | |
| label_sample.txt | 2014-09-22 | 34 Bytes | |
| input_sample.txt | 2014-09-22 | 62 Bytes | |
| Totals: 5 Items | 30.9 MB | 1 | |
This folder Useful_files contains the following files, -> input_sample.txt -> label_sample.txt -> galen_50.owl -> full_galen.owl To run the tool for Labelling the ontology with contexts, -> label_sample.txt (with full path) should be given as input to LabelOntology.java file. -> This LabelOntology module uses full-galen.owl ontology to create context labels in it. To run the tool for Context-based reasoning of the labelled ontology, -> Input_sample.txt (with full path) should be given as input to COBRAReasoner.java file. -> This COBRAReasoner module uses galen_50.owl as input ontology. -> Computes boundary of the consequence given in the input_sample.txt file. The tool generates the following files as output: If LabelOntology.java file is ran then Label_Ontology_Test_Results.xls file is generated which has the following columns, Ontology Name, Labelling Time, Number of Contexts introduced, Number of unlabelled axioms. Ontology Name - Name of input ontology Labelling Time - Total time taken by the tool to create labels Number of contexts Introduced - Number of contexts created by tool for input ontology Number of unlabelled axioms - Number of axioms that are unlabelled in the ontology If COBRAReasoner.java file is ran then Context_Reasoning_Test_Results.txt file is generated which has the following columns, Ontology Name, Number of contexts, Module size, Time taken to create Module, Reasoning Consequence, Is consequence Entailed?, Boundary, HST Boundary computing Time, New Boundary computing Time, Reasoner Entailment Checking Time, Time taken by Reasoner in HST , Number of reasoner calls in HST, Number of MinLabs computed in HST, Explanation sizes in HST Ontology Name - Name of input ontology Number of contexts - Number of contexts in the input labelled ontology Module size - size of the module created Time taken to create module - Time taken to create module Reasoning Consequence - consequence used for testing Is consequence entailed? - whether the input consequence is entailed from ontology or not Boundary - Boundary of the consequence in the input ontology HST Boundary computing Time - time taken by HST Boundary algorithm to compute boundary New Boundary computing Time - time taken by Naive algorithm to compute boundary Reasoner Entailment checking Time - time taken by reasoner to check entailment of the consequence Time taken by reasoner in HST - total time that reasoner takes in computing HST boundary Number of reasoner calls in HST - number of times reasoner is called in computing HST boundary Number of MinLabs computed in HST - number of MinLabs computed in HST algorithm Explanation sizes in HST - size of each explanation in computing HST boundary.
