@prefix doap: . @prefix foaf: . @prefix rdfs: . @prefix xsd: . @prefix serd: . @prefix checks: . a doap:Specification ; rdfs:label "NQuads" . a doap:Specification ; rdfs:label "NTriples" . a doap:Specification ; rdfs:label "TriG" . a doap:Specification ; rdfs:label "Turtle" . a foaf:Person ; foaf:name "David Robillard" ; foaf:mbox ; rdfs:seeAlso . a doap:Project ; doap:name "Serd" ; doap:homepage ; doap:license ; doap:shortdesc "A high-performance RDF reader/writer" ; doap:description "Serd is a fast and lightweight C library for reading and writing RDF in Turtle, NTriples, TriG, and NQuads." ; doap:created "2011-09-28"^^xsd:date ; doap:programming-language "C" ; doap:implements , , , ; doap:bug-database ; doap:blog ; doap:developer ; doap:maintainer ; doap:repository [ a doap:GitBranch ; doap:location ] . serd:ValidatorCheck a rdfs:Class ; rdfs:label "Validator Check" ; rdfs:comment "A serd validator check" . checks:allValuesFrom a serd:ValidatorCheck ; rdfs:comment "Checks that all properties with owl:allValuesFrom restrictions have valid value types." . checks:anyUri a serd:ValidatorCheck ; rdfs:comment "Checks that the value of any property with range xsd:anyURI is a URI." . checks:cardinalityEqual a serd:ValidatorCheck ; rdfs:comment "Checks that any instance of a class with a owl:cardinality property restriction has exactly that many values of that property." . checks:cardinalityMax a serd:ValidatorCheck ; rdfs:comment "Checks that any instance of a class with a owl:maxCardinality property restriction has no more than that many values of that property." . checks:cardinalityMin a serd:ValidatorCheck ; rdfs:comment "Checks that any instance of a class with a owl:minCardinality property restriction has at least that many values of that property." . checks:classLabel a serd:ValidatorCheck ; rdfs:comment "Checks that every rdfs:Class has an rdfs:label." . checks:classCycle a serd:ValidatorCheck ; rdfs:comment "Checks that no class is a sub-class of itself, recursively. This ensures that the graph is acyclic with respect to rdfs:subClassOf. If this check fails, all further checks are aborted." . checks:datatypeCycle a serd:ValidatorCheck ; rdfs:comment "Checks that no datatype is a sub-datatype of itself, recursively. This ensures that the graph is acyclic with respect to owl:onDatatype. If this check fails, all further checks are aborted." . checks:datatypeProperty a serd:ValidatorCheck ; rdfs:comment "Checks that datatype properties have literal (not instance) values." . checks:datatypeType a serd:ValidatorCheck ; rdfs:comment "Checks that every datatype is defined as a rdfs:Datatype." . checks:deprecatedClass a serd:ValidatorCheck ; rdfs:comment "Checks that there are no instances of deprecated classes." . checks:deprecatedProperty a serd:ValidatorCheck ; rdfs:comment "Checks that there are no uses of deprecated properties." . checks:functionalProperty a serd:ValidatorCheck ; rdfs:comment "Checks that no instance has several values of a functional property." . checks:instanceLiteral a serd:ValidatorCheck ; rdfs:comment "Checks that there are no instances where a literal is expected." . checks:instanceType a serd:ValidatorCheck ; rdfs:comment "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." . checks:explicitInstanceType a serd:ValidatorCheck ; rdfs:comment "Checks that every instance explicitly has every type required of it. This is a (often overly) strict check that assumes a closed world and requires every instance to explicitly have the type(s) required of it." . checks:inverseFunctionalProperty a serd:ValidatorCheck ; rdfs:comment "Checks that at most one instance has a given value of an inverse functional property." . checks:literalInstance a serd:ValidatorCheck ; rdfs:comment "Checks that there are no literals where an instance is expected." . checks:literalMaxExclusive a serd:ValidatorCheck ; rdfs:comment "Checks that literal values are not greater than or equal to any applicable xsd:maxExclusive datatype restrictions." . checks:literalMaxInclusive a serd:ValidatorCheck ; rdfs:comment "Checks that literal values are not greater than any applicable xsd:maxInclusive datatype restrictions." . checks:literalMinExclusive a serd:ValidatorCheck ; rdfs:comment "Checks that literal values are not less than or equal to any applicable xsd:minExclusive datatype restrictions." . checks:literalMinInclusive a serd:ValidatorCheck ; rdfs:comment "Checks that literal values are not less than any applicable xsd:minInclusive datatype restrictions." . checks:literalPattern a serd:ValidatorCheck ; rdfs:comment "Checks that literals with xsd:pattern restrictions match the regular expression pattern for their datatype." . checks:literalRestriction a serd:ValidatorCheck ; rdfs:comment "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." . checks:literalValue a serd:ValidatorCheck ; rdfs:comment "Checks that literals with supported XSD datatypes are valid. The set of supported types is the same as when writing canonical forms." . checks:objectProperty a serd:ValidatorCheck ; rdfs:comment "Checks that object properties have instance (not literal) values." . checks:plainLiteralDatatype a serd:ValidatorCheck ; rdfs:comment "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." . checks:predicateType a serd:ValidatorCheck ; rdfs:comment "Checks that every predicate is defined as an rdf:Property." . checks:propertyCycle a serd:ValidatorCheck ; rdfs:comment "Checks that no property is a sub-property of itself, recursively. This ensures that the graph is acyclic with respect to rdfs:subPropertyOf. If this check fails, all further checks are aborted." . checks:propertyDomain a serd:ValidatorCheck ; rdfs:comment "Checks that any instance with a property with an rdfs:domain is in that domain." . checks:propertyLabel a serd:ValidatorCheck ; rdfs:comment "Checks that every rdf:Property has an rdfs:label." . checks:propertyRange a serd:ValidatorCheck ; rdfs:comment "Checks that the value for any property with an rdfs:range is in that range." . checks:someValuesFrom a serd:ValidatorCheck ; rdfs:comment "Checks that instances of classes with owl:someValuesFrom property restrictions have at least one matching property value." .