Index of /LNF/i386/5.11/LNFowl2rest/reloc/owl2rest

Icon  Name                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                       -   
[DIR] lib/                              2016-02-21 06:28    -   
[DIR] node_modules/                     2016-02-21 06:28    -   
[DIR] views/                            2016-02-21 06:28    -   
[   ] Encapsulation.js                  2016-02-21 06:25   20K  
[TXT] NOTICE.txt                        2016-02-12 13:26  693   
[TXT] README.html                       2016-02-21 06:25   14K  
[   ] changelog.gz                      2016-02-21 02:46  3.1K  GZIP compressed archive
[   ] owlapi_opts.js                    2016-02-21 02:48  3.1K  
[   ] package.json                      2016-02-21 06:28  401   
[   ] run.js                            2016-02-21 02:48  1.8K
OWL-API (rest)

RESTful OWL API

RESTfully encapsulating selected Java methods in OWL API such that the encapsulated methods could be used as application interface (API) for Ontology Repositories like the Ontohub.

Installation

 git clone https://github.com/ramyadirsumilli/rest_owl_api
 cd rest_owl_api/ontoapi
 ant
 cd ..
 JAVA_HOME=/usr/jdk/instances/jdk1.8.0  npm install
 node run.js [-h] [-i] [-k] [-p port]

Documentation

The RESTful encapsulation deals with the java methods of OWL API which will only parse through the ontoogies and uses the reasoners, and in no way will make any changes or editings in the original ontology. Therefore this RESTful API provides 11 methods that are indepandent from each other and can retrieve necessary information from the input ontology. Source for this tool can be found here.

Method Name: Explore Classes

This method parses ontology and gets all the classes present in it.

Input : coded iri of an ontology

Method type : GET

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/exploreClasses/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : list of classes in the ontology

Output Format : JSON array of OWLClasses

Method Name: Descendants

This method parses ontology and posts all the direct sub-classes along with it's super-classes.

Input : coded iri of an ontology

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/descendants/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : list of all direct sub-classes in the ontology

Output Format : JSON array with elements {sub-class , super-class}

Method Name: Inferred Ontology

This method returns an inferred ontology based on the set of inferred axioms which is converted as per input format.

Format can include-

Input : coded iri of an ontology and the format to convert ontology.

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri/:format

http://owlapi.hets.eu/inferredOntology/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/manowl

Output : An inferred ontology in the requested form is generated

Output Format : Ontology in requested format

Method Name: Hierarchy

This method returns hierarchal structure of the input ontology, with a clear structure of super and sub-classes.

Input : coded iri of an ontology

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/hierarchy/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : Hierarchy of the ontology specifying it's classes and sub-classes

Output Format : JSON array with elemnts {super-class, sub-class}

Method Name: Modularity

This method posts the module M as per input format, which has the same consequences as of the input ontology based on the Signature S

Format can include-

Note : To work with this method, the path to library should be changed to lib folder in ontoapi. This can be done using

export LD_LIBRARY_PATH=/path/to/OntoHubAPI/ontoapi/lib:$LD_LIBRARY_PATH; node Encapsulation.js

Input : coded iri of an ontology, Signature S{a,b,..} to create the module, the format to convert ontology and a boolean value to add or omit subclasses of Signature.

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri/:sign/:format/:atSubClass

http://owlapi.hets.eu/modularity/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/hasbase,Mushroom/manowl

Output : A module M, which has the same consequences as of input

Output Format : Ontology in requested format

Method Name: Pet Instances

This method gets all the sub-classes which are in concern with individuals

Input : coded iri of an ontology

Method type : GET

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/petInstances/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : Sub-class individual concerning individuals

Output Format : JSON array with Classes which have pet instances

Method Name: Check Profiles

This method is concerned with all the OWL profiles, that is, OWL2, DL, EL, RL and QL. It returns empty set when there exists no violations and set of violations for each profile when there exists violations

Input : coded iri of an ontology

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/checkProfiles/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : Posts an OWL profile report with violations on all the profiles P

Output Format : JSON array of violations

Method Name: Explanations

This method returns explanations of each satisfiable and unsatisfiable class. And also verifies the consistency of the input ontology and hence returns the explanations of ontology

Input : coded iri of an ontology

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri

http://owlapi.hets.eu/explanations/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl

Output : Satisfiable and unsatisfiable classes in the ontology and Inconsistency of the ontology

Output Format : JSON array with explantions of satisfiable and unsatisfiable Classes and inconsistent ontology

Method Name: Lookup Restrictions

This method returns restrictions on the input class that is present in the input ontology

Input : coded iri of an ontology and class name

Method type : GET

Example : www.exampleserver.com/MethodName/:coded_iri/:className

http://owlapi.hets.eu/lookupRestrictions/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/Mushroom

Output : Restrictions on the input class name

Output Format : JSON array of Restrictions

Method Name: Read Annotations

This method returns annotations which are written in the input language L, that are present in the input ontology

Input : coded iri of an ontology and language L of the annotations

Method type : GET

Example : www.exampleserver.com/MethodName/:coded_iri/:lang

http://owlapi.hets.eu/explanations/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/en

Output : Annotations in input ontology written in language L

Output Format : JSON array of Annotations

Method Name: Verify Profile

This method returns all the restrictions which violates the input Profile Name P{OWL2, DL, EL, RL and QL} on the input ontology. It returns empty set when there exists no violations

Input : coded iri of an ontology and Profile Name P{OWL2, DL, EL, RL and QL}

Method type : GET

Example : www.exampleserver.com/MethodName/:coded_iri/:ProfileName

http://owlapi.hets.eu/profileName/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/OWL2

Output : OWL profile report specifying if any restrictions exists on input Profile Name P

Output Format : JSON array of violations

Method Name: Unsatisfied Class Explanations

This method returns explanations for the input unsatisfied class and when there is a satisfied class it returns only the class URL

Input : coded iri of an ontology and Class Name for Explanations

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri/:inClass

http://owlapi.hets.eu/unsatExplanations/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/CheeseyVegetableTopping

Output : List of explanations for the unsatisfiability of input Class

Output Format : JSON array of explanations

Method Name: Convert Ontology

This method returns an ontology which is converted as per input format.

Format can include-

Input : coded iri of an ontology and the format to convert ontology.

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri/:format

http://owlapi.hets.eu/conversion/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/xmlowl

Output : Converted ontology as per the input format is generated

Output Format : Ontology in requested format

Method Name: Logical Consequences

This method supports to add a formula which includes two class names (class a and class b) and any class expression (subclass or equivalentclass or disjointclass)

Expression can include-

Input : coded iri of an ontology, classa, classb and class expression(subclass or equivalentclass or disjointclass).

Method type : POST

Example : www.exampleserver.com/MethodName/:coded_iri/:classa/:classb/:classexpression

http://owlapi.hets.eu/logicalConsequence/http%3A%2F%2Fontohub.org%2Ftones%2Fwww.co-ode.org%2Fpizza.owl/classNameA/classNameB/subclass

Output : Generates the axiom with input classes and class expression along with the explanations if the Ontology results to be inconsistent after adding the axiom.

Output Format : List of arrays with added axiom followed by explanations of inconsistency (if exists) are sent