serd-validate —
validate RDF data
serd-validate |
[-hV] [-B
base] [-I
syntax] [-W
checks] [-X
checks] [-k
bytes] input ... |
serd-validate validates RDF data against one or more
RDFS or OWL schemas. Unlike other serd tools,
serd-validate does not write any data, it only prints
messages and returns a status that indicates whether the data is valid.
The options are as follows:
-B
base- Base URI or path. See serd-pipe(1)
for details.
-I
syntax- Input syntax or option:
NQuads,
NTriples, TriG,
Turtle, lax,
variables, relative, or
labels. See
serd-pipe(1) for details.
-W
checks- Warn about any issues found by the given checks,
which is a regular expression that matches a set of check names to enable,
or the special value
all which enables all checks.
See CHECKS below for a detailed list of
all checks.
-X
checks- Exclude checks from the set of checks enabled by a
previous
-W option. This is typically used after
-W all to suppress a few
specific checks.
-V- Display version information and exit.
-h- Print the command line options.
-k
bytes- Parser stack size. See
serd-pipe(1) for details.
allValuesFrom- Checks that all properties with owl:allValuesFrom restrictions have valid
value types.
cardinalityEqual- Checks that any instance of a class with a owl:cardinality property
restriction has exactly that many values of that property.
cardinalityMax- Checks that any instance of a class with a owl:maxCardinality property
restriction has no more than that many values of that property.
cardinalityMin- Checks that any instance of a class with a owl:minCardinality property
restriction has at least that many values of that property.
classLabel- Checks that every rdfs:Class has an rdfs:label.
datatypeProperty- Checks that datatype properties have literal (not instance) values.
datatypeType- Checks that every datatype is defined as a rdfs:Datatype.
deprecatedClass- Checks that there are no instances of deprecated classes.
deprecatedProperty- Checks that there are no uses of deprecated properties.
functionalProperty- Checks that no instance has several values of a functional property.
instanceLiteral- Checks that there are no instances where a literal is expected.
instanceType- Checks that every instance with an explicit type matches that type. This
is a broad check that triggers other type-related checks, but mainly it
will check that every instance of a class conforms to any restrictions on
that class.
inverseFunctionalProperty- Checks that at most one instance has a given value of an inverse
functional property.
literalInstance- Checks that there are no literals where an instance is expected.
literalMaxExclusive- Checks that literal values are not greater than or equal to any applicable
xsd:maxExclusive datatype restrictions.
literalMaxInclusive- Checks that literal values are not greater than any applicable
xsd:maxInclusive datatype restrictions.
literalMinExclusive- Checks that literal values are not less than or equal to any applicable
xsd:minExclusive datatype restrictions.
literalMinInclusive- Checks that literal values are not less than any applicable
xsd:minInclusive datatype restrictions.
literalPattern- Checks that literals with xsd:pattern restrictions match the regular
expression pattern for their datatype.
literalRestriction- Checks that literals with supported restrictions conform to those
restrictions. This is a high-level check that triggers the more specific
individual literal restriction checks.
literalValue- Checks that literals with supported XSD datatypes are valid. The set of
supported types is the same as when writing canonical forms.
objectProperty- Checks that object properties have instance (not literal) values.
plainLiteralDatatype- Checks that there are no typed literals where a plain literal is expected.
A plain literal may have an optional language tag, but not a
datatype.
predicateType- Checks that every predicate is defined as an rdf:Property.
propertyDomain- Checks that any instance with a property with an rdfs:domain is in that
domain.
propertyLabel- Checks that every rdf:Property has an rdfs:label.
propertyRange- Checks that the value for any property with an rdfs:range is in that
range.
someValuesFrom- Checks that instances of classes with owl:someValuesFrom property
restrictions have at least one matching property value.
subclassCycle- Checks that no class is a sub-class of itself, recursively. This ensures
that the graph is acyclic with respect to rdfs:subClassOf.
subpropertyCycle- Checks that no property is a sub-property of itself, recursively. This
ensures that the graph is acyclic with respect to rdfs:subPropertyOf.
serd-validate exits with a status of 0 on success, 17 if
the data is invalid, or another non-zero status if an error occured.
To run all checks on a file:
$ serd-validate -W all
input.ttl
To run only the classLabel check on a
file:
$ serd-validate -W classLabel
input.ttl
To run all checks except
classLabel on a file:
$ serd-validate -W all -X classLabel
input.ttl