This form is for validation of a SSWAP resource description graph (scroll down for details). You can validate a graph located at a URL, a graph contained in a file on your computer, or you can paste a graph into the text area below.

Type a URL     

---

   or

Select a file
Resource Description Graph URL

---

   or

Paste a graph
Resource Description Graph URL

The validation performed is summarized as follows:

• If you validate a URL, it first checks that the string you typed is a URL, and if it is, it tries to perform an HTTP GET on it. The validator further checks that the graph is of 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.
• Checks that the RDF/XML graph is structurally a valid SSWAP graph as specified in the SSWAP Protocol
• It uses a reasoner to perform several logical operations on the graph:
  • Checks the OWL Species (it must be OWL DL or 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