diff options
Diffstat (limited to 'src/sord_validate.c')
| -rw-r--r-- | src/sord_validate.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/sord_validate.c b/src/sord_validate.c index d88fd3f..8856d2f 100644 --- a/src/sord_validate.c +++ b/src/sord_validate.c @@ -54,6 +54,7 @@ typedef struct { SordNode* owl_Thing; SordNode* owl_cardinality; SordNode* owl_equivalentClass; + SordNode* owl_maxCardinality; SordNode* owl_minCardinality; SordNode* owl_onDatatype; SordNode* owl_onProperty; @@ -563,6 +564,19 @@ check_instance(SordModel* model, } } + // Check maximum cardinality + const SordNode* maxCard = sord_get( + model, restriction, uris->owl_maxCardinality, NULL, NULL); + if (maxCard) { + const unsigned m = atoi((const char*)sord_node_get_string(maxCard)); + if (values < m) { + st = errorf(quad, "Property %s on %s has %u > %u values", + sord_node_get_string(prop), + sord_node_get_string(instance), + values, m); + } + } + // Check someValuesFrom SordIter* sf = sord_search( model, restriction, uris->owl_someValuesFrom, NULL, NULL); @@ -710,6 +724,7 @@ main(int argc, char** argv) URI(owl, Thing); URI(owl, cardinality); URI(owl, equivalentClass); + URI(owl, maxCardinality); URI(owl, minCardinality); URI(owl, onDatatype); URI(owl, onProperty); |