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.
or
or
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
