summaryrefslogtreecommitdiffstats
path: root/src/sord_validate.c
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2013-02-02 20:36:44 +0000
committerDavid Robillard <d@drobilla.net>2013-02-02 20:36:44 +0000
commit77dc227d38eb2a7432dc3a673337e7295b561d9c (patch)
treed9af7c57831077a8472ec460b8ffa70910e1d3b0 /src/sord_validate.c
parent5cd549c8e512d9a85d7d666db5da8b8a444a281f (diff)
downloadsord-77dc227d38eb2a7432dc3a673337e7295b561d9c.tar.gz
sord-77dc227d38eb2a7432dc3a673337e7295b561d9c.tar.bz2
sord-77dc227d38eb2a7432dc3a673337e7295b561d9c.zip
sord_validate: Pass type check when range is xsd:anyURI and value is a URI.
sord_validate: Support any subClassOf rdf:Property, not just baked-in ones. git-svn-id: http://svn.drobilla.net/sord/trunk@281 3d64ff67-21c5-427c-a301-fe4f08042e5a
Diffstat (limited to 'src/sord_validate.c')
-rw-r--r--src/sord_validate.c39
1 files changed, 26 insertions, 13 deletions
diff --git a/src/sord_validate.c b/src/sord_validate.c
index 2418b87..d7fc043 100644
--- a/src/sord_validate.c
+++ b/src/sord_validate.c
@@ -63,6 +63,7 @@ typedef struct {
SordNode* rdfs_domain;
SordNode* rdfs_range;
SordNode* rdfs_subClassOf;
+ SordNode* xsd_anyURI;
SordNode* xsd_decimal;
SordNode* xsd_maxInclusive;
SordNode* xsd_minInclusive;
@@ -349,6 +350,12 @@ check_type(SordModel* model,
} else if (sord_node_get_type(node) == SORD_URI) {
if (sord_node_equals(type, uris->foaf_Document)) {
return true; // Questionable...
+ } else if (is_descendant_of(
+ model, uris,
+ type, uris->xsd_anyURI, uris->owl_onDatatype)) {
+ /* Type is any URI and this is a URI, so pass. Restrictions on
+ anyURI subtypes are not currently checked (very uncommon). */
+ return true; // Type is anyURI, and this is a URI
} else {
SordIter* t = sord_search(model, node, uris->rdf_type, NULL, NULL);
for (; !sord_iter_end(t); sord_iter_next(t)) {
@@ -446,6 +453,7 @@ main(int argc, char** argv)
URI(rdfs, domain);
URI(rdfs, range);
URI(rdfs, subClassOf);
+ URI(xsd, anyURI);
URI(xsd, decimal);
URI(xsd, maxInclusive);
URI(xsd, minInclusive);
@@ -465,24 +473,29 @@ main(int argc, char** argv)
const SordNode* pred = quad[SORD_PREDICATE];
const SordNode* obj = quad[SORD_OBJECT];
- bool is_Property = sord_ask(
- model, pred, uris.rdf_type, uris.rdf_Property, 0);
- bool is_OntologyProperty = sord_ask(
- model, pred, uris.rdf_type, uris.owl_OntologyProperty, 0);
- bool is_ObjectProperty = sord_ask(
+ bool is_any_property = false;
+ SordIter* t = sord_search(model, pred, uris.rdf_type, NULL, NULL);
+ for (; !sord_iter_end(t); sord_iter_next(t)) {
+ if (is_descendant_of(model, &uris,
+ sord_iter_get_node(t, SORD_OBJECT),
+ uris.rdf_Property,
+ uris.rdfs_subClassOf)) {
+ is_any_property = true;
+ break;
+ }
+ }
+ sord_iter_free(t);
+
+ const bool is_ObjectProperty = sord_ask(
model, pred, uris.rdf_type, uris.owl_ObjectProperty, 0);
- bool is_FunctionalProperty = sord_ask(
+ const bool is_FunctionalProperty = sord_ask(
model, pred, uris.rdf_type, uris.owl_FunctionalProperty, 0);
- bool is_InverseFunctionalProperty = sord_ask(
+ const bool is_InverseFunctionalProperty = sord_ask(
model, pred, uris.rdf_type, uris.owl_InverseFunctionalProperty, 0);
- bool is_DatatypeProperty = sord_ask(
+ const bool is_DatatypeProperty = sord_ask(
model, pred, uris.rdf_type, uris.owl_DatatypeProperty, 0);
- bool is_AnnotationProperty = sord_ask(
- model, pred, uris.rdf_type, uris.owl_AnnotationProperty, 0);
- if (!is_Property && !is_OntologyProperty && !is_ObjectProperty &&
- !is_FunctionalProperty && !is_InverseFunctionalProperty &&
- !is_DatatypeProperty && !is_AnnotationProperty) {
+ if (!is_any_property) {
error("Use of undefined property", quad);
}