Resource Validator

This form is for validation of a SSWAP Resource Description Graph (RDG) (see the SSWAP Protocol or scroll down for details). You can validate a graph located at a URL. You can also validate a graph from a file or pasted into the text area. For graphs from a file or pasted in, enter also the SSWAP Resource URL. This URL will not be dereferenced, but it will be checked to match the claimed SSWAP Resource in the graph.

SSWAP RDG URL

or
Select a file
RDG URL (Optional)

or
Paste a graph		<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE rdf:RDF [ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#"> <!ENTITY owl "http://www.w3.org/2002/07/owl#"> <!ENTITY sswap "http://sswapmeet.sswap.info/sswap/"> <!ENTITY provider "http://sswap.info/examples/"> <!ENTITY resources "http://sswap.info/examples/resources/"> ]> <rdf:RDF xmlns:rdf = "&rdf;" xmlns:xsd = "&xsd;" xmlns:owl = "&owl;" xmlns:sswap = "&sswap;" xmlns:provider = "&provider;" xmlns:resources = "&resources;"> <owl:Ontology rdf:about="&sswap;owlOntology"> <owl:imports rdf:resource="&sswap;owlOntology"/> </owl:Ontology> <sswap:Resource rdf:about="&resources;canonical/canonicalResource"> <!-- Every resource must have a name. Use something short and informative that can be displayed to users. --> <sswap:name>A canonical SSWAP web resource</sswap:name> <!-- Enter a one line description about this resource. Client viewers, such as the search engine at http://sswap.info may use this one one line description to give users a quick description about the resource. For more detailed information, direct users to the sswap:aboutURI URL. --> <sswap:oneLineDescription>This is a canonical resource. It can be used as a template for real resources.</sswap:oneLineDescription> <!-- The sswap:aboutURI predicate allows you to link this resource to the web for the benefit of users seeking more detailed information about this provider than just a name and oneLineDescription. SSWAP does not stipulate how the sswap:aboutURI is to be used, but it is suggested that it point to an informative human-readable web page. --> <sswap:aboutURI rdf:datatype="&xsd;anyURI">&resources;canonical/about.htm</sswap:aboutURI> <!-- The metadata file allows you to associate searchable text with this resource. While you have complete control over what is in the file, providers do not have control on how, or even if, others may use the file. --> <sswap:metadata rdf:datatype="&xsd;anyURI">&resources;canonical/metadata.txt</sswap:metadata> <!-- Use the sswap:providedBy predicate to identify those semantic web services (resources) for which claim ownership of this resource. If a resource's URL is not a sub-directory of its provider's URL, then this predicate is required and the provider's sswap:providesResource predicate must reciprocate the assertion back to this resource. Each resource must have exactly one provider. --> <sswap:providedBy> <sswap:Provider rdf:about="&provider;resourceProvider"/> </sswap:providedBy> <!-- Here starts the canonical graph. In this template, the sequence of predicates (properties: operatesOn, hasMapping, and mapsTo) simply joins blank nodes of types Graph, Subject, and Object respectively. To establish an actual mapping, add predicates and restrictions to the Subject and Object nodes. The Graph node is used only in cases of complex 1:many or many:many mappings. See the protocol at http://sswap.info/protocol.jsp --> <sswap:operatesOn> <sswap:Graph> <sswap:hasMapping> <sswap:Subject> <sswap:mapsTo> <sswap:Object> </sswap:Object> </sswap:mapsTo> </sswap:Subject> </sswap:hasMapping> </sswap:Graph> </sswap:operatesOn> </sswap:Resource> </rdf:RDF>
RDG URL (Optional)

The validation performed is summarized as follows:

Checks that the string you typed is a URL, and if it is, it performs an HTTP GET on it.
Checks that the graph is under a maximum number of bytes and that it can be read within a small amount of time.
Checks that the contents read from the URL can be parsed as a well-formed RDF/XML graph.
Dereferences URLs within the graph, and URLs within them, ... through three degrees of deferencing to form a "closure" graph.
Checks that the RDF/XML closure is structurally a valid SSWAP graph as specified in the SSWAP Protocol
Uses the Pellet reasoner to perform several logical operations on the graph:
- Checks the OWL Species (it must be OWL DL or OWL Lite)
- Checks for logical consistency
- Performs classification on the graph and prints the inferred class tree
- Performs logical realization of the graph
- Checks the OWL classes in the model for satisfiability