List of UMBEL Web Services    Invoke this Web Service    Short Description of this Web Service    Access this Web Service
 
API and Documentation

Inference: Validator Web Service API Documentation






For background, we suggest first reading the about section for this Web Service. Also, you may want to consult this document for an overall discussion of API design and philosophy.

Developers communicate with the Inference: Validator Structured Dynamics LLC. UMBEL Web service using the HTTP GET method. You may request one of the following mime types: (1) text/xml, (2) application/rdf+xml and (3) application/rdf+n3. The content returned by the Web service will be serialized using the mime type requested and the data returned will depend on the parameters selected.

Web Service Endpoint Information

Here is the information needed to communicate with this Web service's endpoint. Descriptions of the parameters are included below.

Note: if a parameter has a default value, the requester can omit it and the default value will be used. Also, some baseline UMBEL Web services may not offer other values than the default.

HTTP Method:
  • GET

Possible "Accept:" HTTP header field value:
URI:
  • http://umbel.structureddynamics.com/ws/inference/validator/
    ?source_concept=param1&target_concept=param2&relation=param3&lang=param3


URI dynamic parameters description:

Note: All parameters have to be URL-encoded
  • param1. The source UMBEL subject concept URI or external class URI
  • param2. The target UMBEL subject concept URI or external class URI
  • param3. One of:
    • " sub_class_of (default)": Is the source a sub-class-of the target?
    • " super_class_of": Is the source a super-class-of the target?
    • " equivalent_class": Is the source an equivalent-class-of the target?
  • param4. One of:
    • " en (default)": Labels of resultsets in English if available

Example of Returned XML Document

This is an example of the XML document returned by this Web service endpoint. This example returns the answer to the question: "is this subject concept or external class a: (1) sub-class-of, (2) super-class-of or a (3) equivalent-class-of, this other subject concept or external class?"


Query:
  • http://umbel.structureddynamics.com/ws/inference/validator/
    ?source_concept=http://umbel.org/umbel/sc/Project
    &target_concept=http://xmlns.com/foaf/0.1/Project
    &relation=equivalent_class
"Accept:" HTTP header field value:
  • text/xml

Result:
  1. <?xml version="1.0" encoding="utf-8"?>
  2. <!DOCTYPE resultset PUBLIC
    "-//Structured Dynamics LLC. LLC.//Infer Validator DTD 0.1//EN"
    "http://umbel.structureddynamics.com/ws/dtd/inference/validator.dtd">
  3. <resultset>
  4.   <subject type="umbel:SubjectConcept"
    uri="http://umbel.org/umbel/sc/Project">
  5.     <predicate type="owl:equivalentClass">
  6.       <object type="owl:Class" uri="http://xmlns.com/foaf/0.1/Project">
  7.         <reify type="ws:answer" value="True"/>
  8.       </object>
  9.     </predicate>
  10.   </subject>
  11. </resultset>

DTD of the XML Document

  1. <!DOCTYPE resultset [
  2.  
  3.         <!ELEMENT resultset (subject)+ >
  4.        
  5.         <!ELEMENT subject (predicate)*>
  6.         <!ATTLIST subject type (umbel:SubjectConcept
    | owl:Class) "umbel:SubjectConcept">
  7.         <!ATTLIST subject uri CDATA #IMPLIED>
  8.  
  9.         <!ELEMENT predicate (object)+>
  10.         <!ATTLIST predicate type (rdfs:subClassOf
    | umbel:superClassOf | owl:equivalentClass |
    umbel:isAlignedWith) "rdfs:subClassOf">
  11.  
  12.         <!ELEMENT object (reify)>
  13.         <!ATTLIST object type (umbel:SubjectConcept
    | owl:Class) "umbel:SubjectConcept">
  14.         <!ATTLIST object uri CDATA #IMPLIED>
  15.        
  16.         <!ELEMENT reify EMPTY>
  17.         <!ATTLIST reify type (ws:answer) "ws:answer">
  18.         <!ATTLIST reify value (True | False) "True">
  19.  
  20. ]>
  21.  

Descriptions of the Types of XML Elements

Here are descriptions of the types of XML elements that might be returned from from this Web service. Please read the XML data structure documentation to understand how the data is structured within these XML documents.

  • umbel:SubjectConcept (subject/object). An UMBEL subject concept
    resource returned by the Web service for the requested parameters
  • owl:Class (subject/object). A class defined in another
    vocabulary than UMBEL
  • owl:equivalentClass (predicate). Link a umbel:SubjectConcept or a
    owl:Class to an equivalent owl:Class
  • rdfs:subClassOf (predicate). Link a umbel:SubjectConcept or a
    owl:Class to a sub-class-of a owl:Class
  • umbel:superClassOf (predicate). Link a umbel:SubjectConcept or a
    owl:Class ot a super-class-of a owl:Class
  • ws:answer (predicate). Assert "True" or "False" for a reified statement.

Example of Returned RDF/XML Document

Here is an example of a RDF/XML document returned by this Web service endpoint. This example returns the answer to the question: "is this subject concept or external class a: (1) sub-class-of, (2) super-class-of or a (3) equivalent-class-of, this other subject concept or external class?"


Query:
  • http://umbel.structureddynamics.com/ws/inference/validator/
    ?source_concept=http://umbel.org/umbel/sc/Project
    &target_concept=http://xmlns.com/foaf/0.1/Project
    &relation=equivalent_class
"Accept:" HTTP header field value:
  • application/rdf+xml

Result:
  1. <?xml version="1.0"?>
  2. <rdf:RDF xmlns:umbel="http://umbel.org/umbel#"
    xmlns:ws="http://umbel.org/umbel/ws#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
  3.  
  4. <rdf:Statement>
  5.     <rdf:subject rdf:resource="http://umbel.org/umbel/sc/Project" />
  6.     <rdf:predicate rdf:resource="owl:equivalentClass" />
  7.     <rdf:object rdf:resource="http://xmlns.com/foaf/0.1/Project" />
  8.     <ws:answer>True</ws:answer>
  9. </rdf:Statement>

Example of Returned RDF/N3 Document

Here is an example of a RDF/N3 document returned by this Web service endpoint. This example returns the answer to the question: "is this subject concept or external class a: (1) sub-class-of (2) super-class-of or a (3) equivalent-class-of this other subject concept or external class?"


Query:
  • http://umbel.structureddynamics.com/ws/inference/validator/
    ?source_concept=http://umbel.org/umbel/sc/Project
    &target_concept=http://xmlns.com/foaf/0.1/Project
    &relation=equivalent_class
"Accept:" HTTP header field value:
  • application/rdf+n3

Result:
  1. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
  2. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
  3. @prefix owl: <http://www.w3.org/2002/07/owl#> .
  4. @prefix umbel: <http://umbel.org/umbel#> .
  5. @prefix ws: <http://umbel.org/umbel/ws#> .
  6. _:bnode0 a rdf:Statement ;
  7.     rdf:subject <http://umbel.org/umbel/sc/Project> ;
  8.     rdf:predicate <owl:equivalentClass> ;
  9.     rdf:object <http://xmlns.com/foaf/0.1/Project> ;
  10.     ws:answer "True" .

HTTP Status Codes

Here are the possible HTTP status (error) codes returned by this Web service endpoint.

  • Code: 200
    • Message: OK
  • Code: 400
    • Message: Bad Request
    • Message description: No subject concept
  • Code: 400
    • Message: Bad Request
    • Message description: No target concept
  • Code: 406
    • Message: Not Acceptable
    • Message description: Unacceptable mime type requested
  • Code: 500
    • Message: Internal Error