-
Notifications
You must be signed in to change notification settings - Fork 63
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #122 from ajnelson-nist/test_integer_types
Add tests to confirm detection of various integer types
- Loading branch information
Showing
1 changed file
with
228 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,228 @@ | ||
# -*- coding: utf-8 -*- | ||
# | ||
|
||
# This software was developed at the National Institute of Standards | ||
# and Technology by employees of the Federal Government in the course | ||
# of their official duties. Pursuant to title 17 Section 105 of the | ||
# United States Code this software is not subject to copyright | ||
# protection and is in the public domain. NIST assumes no | ||
# responsibility whatsoever for its use by other parties, and makes | ||
# no guarantees, expressed or implied, about its quality, | ||
# reliability, or any other characteristic. | ||
# | ||
# We would appreciate acknowledgement if the software is used. | ||
|
||
""" | ||
Test that values declared as the various XSD integer types are confirmed to be in their value spaces. | ||
_PASS and _XFAIL name portions on tests in this script denote whether the input data graph should have a True or False conformance result. | ||
""" | ||
|
||
from typing import Set, Tuple | ||
|
||
from rdflib import Graph, Literal, Namespace, RDF, SH, URIRef, XSD | ||
from pyshacl import validate | ||
|
||
EX_ONT = Namespace("http://example.com/exOnt#") | ||
|
||
ontology_file_text = """ | ||
@prefix owl: <http://www.w3.org/2002/07/owl#> . | ||
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | ||
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
@prefix exOnt: <http://example.com/exOnt#> . | ||
<http://example.com/exOnt> a owl:Ontology ; | ||
rdfs:label "An example extra-ontology file."@en . | ||
exOnt:NumberHolder a owl:Class . | ||
exOnt:propInteger a owl:DatatypeProperty ; | ||
rdfs:domain exOnt:NumberHolder ; | ||
rdfs:range xsd:integer . | ||
exOnt:propNegativeInteger a owl:DatatypeProperty ; | ||
rdfs:domain exOnt:NumberHolder ; | ||
rdfs:range xsd:negativeInteger . | ||
exOnt:propNonNegativeInteger a owl:DatatypeProperty ; | ||
rdfs:domain exOnt:NumberHolder ; | ||
rdfs:range xsd:nonNegativeInteger . | ||
exOnt:propNonPositiveInteger a owl:DatatypeProperty ; | ||
rdfs:domain exOnt:NumberHolder ; | ||
rdfs:range xsd:nonPositiveInteger . | ||
exOnt:propPositiveInteger a owl:DatatypeProperty ; | ||
rdfs:domain exOnt:NumberHolder ; | ||
rdfs:range xsd:positiveInteger . | ||
""" | ||
|
||
shacl_file_text = """ | ||
@prefix owl: <http://www.w3.org/2002/07/owl#> . | ||
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | ||
@prefix sh: <http://www.w3.org/ns/shacl#> . | ||
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
@prefix exShape: <http://example.com/exShape#> . | ||
@prefix exOnt: <http://example.com/exOnt#> . | ||
<http://example.com/exShape> a owl:Ontology ; | ||
rdfs:label "Example Shapes File"@en . | ||
exShape:NumberHolderShape | ||
sh:property | ||
[ | ||
sh:datatype xsd:integer ; | ||
sh:path exOnt:propInteger ; | ||
], | ||
[ | ||
sh:datatype xsd:negativeInteger ; | ||
sh:path exOnt:propNegativeInteger ; | ||
], | ||
[ | ||
sh:datatype xsd:nonNegativeInteger ; | ||
sh:path exOnt:propNonNegativeInteger | ||
], | ||
[ | ||
sh:datatype xsd:nonPositiveInteger ; | ||
sh:path exOnt:propNonPositiveInteger ; | ||
], | ||
[ | ||
sh:datatype xsd:positiveInteger ; | ||
sh:path exOnt:propPositiveInteger ; | ||
] ; | ||
sh:targetClass exOnt:NumberHolder ; | ||
. | ||
""" | ||
|
||
data_file_text_PASS = """ | ||
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
@prefix exOnt: <http://example.com/exOnt#> . | ||
@prefix ex: <http://example.com/ex#> . | ||
ex:holder0 a exOnt:NumberHolder ; | ||
exOnt:propInteger -1 ; | ||
exOnt:propInteger 0 ; | ||
exOnt:propInteger 1 ; | ||
exOnt:propNegativeInteger "-1"^^xsd:negativeInteger ; | ||
exOnt:propNonNegativeInteger "0"^^xsd:nonNegativeInteger ; | ||
exOnt:propNonNegativeInteger "1"^^xsd:nonNegativeInteger ; | ||
exOnt:propNonPositiveInteger "-1"^^xsd:nonPositiveInteger ; | ||
exOnt:propNonPositiveInteger "0"^^xsd:nonPositiveInteger ; | ||
exOnt:propPositiveInteger "1"^^xsd:positiveInteger ; | ||
. | ||
""" | ||
|
||
|
||
def test_validate_with_ontology() -> None: | ||
g = Graph().parse(data=data_file_text_PASS, format='turtle') | ||
e = Graph().parse(data=ontology_file_text, format='turtle') | ||
g_len = len(g) | ||
res = validate( | ||
g, shacl_graph=shacl_file_text, shacl_graph_format='turtle', ont_graph=e, inference='both', debug=True | ||
) | ||
conforms, graph, string = res | ||
g_len2 = len(g) | ||
assert conforms | ||
assert g_len2 == g_len | ||
|
||
|
||
data_file_text_XFAIL_sh_datatypes = """ | ||
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | ||
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
@prefix exOnt: <http://example.com/exOnt#> . | ||
@prefix ex: <http://example.com/ex#> . | ||
ex:holder1 a exOnt:NumberHolder ; | ||
rdfs:comment "Each property except propInteger has an error. All properties except propInteger use the wrong datatype, as Turtle infers xsd:integer on unannotated integer lexical values when none is specified."@en ; | ||
rdfs:seeAlso <https://www.w3.org/TR/turtle/#abbrev> ; | ||
exOnt:propInteger -1 ; | ||
exOnt:propInteger 0 ; | ||
exOnt:propInteger 1 ; | ||
exOnt:propNegativeInteger -1 ; | ||
exOnt:propNonNegativeInteger 0 ; | ||
exOnt:propNonNegativeInteger 1 ; | ||
exOnt:propNonPositiveInteger -1 ; | ||
exOnt:propNonPositiveInteger 0 ; | ||
exOnt:propPositiveInteger 1 ; | ||
. | ||
""" | ||
|
||
|
||
def test_validate_with_ontology_XFAIL_sh_datatypes() -> None: | ||
res = validate( | ||
data_file_text_XFAIL_sh_datatypes, | ||
shacl_graph=shacl_file_text, | ||
data_graph_format='turtle', | ||
shacl_graph_format='turtle', | ||
ont_graph=ontology_file_text, | ||
ont_graph_format="turtle", | ||
inference='both', | ||
debug=True, | ||
) | ||
conforms, graph, string = res | ||
validation_result_tally = 0 | ||
for triple in graph.triples((None, RDF.type, SH.ValidationResult)): | ||
validation_result_tally += 1 | ||
assert not conforms | ||
assert validation_result_tally == 6 | ||
|
||
|
||
data_file_text_XFAIL_spaces = """ | ||
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | ||
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
@prefix exOnt: <http://example.com/exOnt#> . | ||
@prefix ex: <http://example.com/ex#> . | ||
ex:holder2 a exOnt:NumberHolder ; | ||
rdfs:comment "Each property has an error with the object-position node's datatype. propInteger's has a lexical-space error. Each other has a value-space error when considering the datatype declaration in the Literal."@en ; | ||
exOnt:propInteger "zero"^^xsd:integer ; | ||
exOnt:propNegativeInteger "0"^^xsd:negativeInteger ; | ||
exOnt:propNegativeInteger "1"^^xsd:negativeInteger ; | ||
exOnt:propNonNegativeInteger "-1"^^xsd:nonNegativeInteger ; | ||
exOnt:propNonPositiveInteger "1"^^xsd:nonPositiveInteger ; | ||
exOnt:propPositiveInteger "-1"^^xsd:positiveInteger ; | ||
exOnt:propPositiveInteger "0"^^xsd:positiveInteger ; | ||
. | ||
""" | ||
|
||
|
||
def test_validate_with_ontology_XFAIL_spaces() -> None: | ||
res = validate( | ||
data_file_text_XFAIL_spaces, | ||
shacl_graph=shacl_file_text, | ||
data_graph_format='turtle', | ||
shacl_graph_format='turtle', | ||
ont_graph=ontology_file_text, | ||
ont_graph_format="turtle", | ||
inference='both', | ||
debug=True, | ||
) | ||
conforms, graph, string = res | ||
|
||
expected_path_values: Set[Tuple[URIRef, Literal]] = { | ||
(EX_ONT.propInteger, Literal("zero", datatype=XSD.integer)), | ||
(EX_ONT.propNegativeInteger, Literal("0", datatype=XSD.negativeInteger)), | ||
(EX_ONT.propNegativeInteger, Literal("1", datatype=XSD.negativeInteger)), | ||
(EX_ONT.propNonNegativeInteger, Literal("-1", datatype=XSD.nonNegativeInteger)), | ||
(EX_ONT.propNonPositiveInteger, Literal("1", datatype=XSD.nonPositiveInteger)), | ||
(EX_ONT.propPositiveInteger, Literal("-1", datatype=XSD.positiveInteger)), | ||
(EX_ONT.propPositiveInteger, Literal("0", datatype=XSD.positiveInteger)), | ||
} | ||
computed_path_values: Set[Tuple[URIRef, Literal]] = set() | ||
|
||
# .triples() is used somewhat redundantly instead of using SPARQL, to avoid the possibility of any extra interpretation steps with SPARQL conversion. | ||
for triple0 in graph.triples((None, RDF.type, SH.ValidationResult)): | ||
n_validation_result = triple0[0] | ||
for triple1 in graph.triples((n_validation_result, SH.resultPath, None)): | ||
n_path = triple1[2] | ||
for triple2 in graph.triples((n_validation_result, SH.value, None)): | ||
l_value: Literal = triple2[2] | ||
assert isinstance(l_value, Literal) | ||
computed_path_values.add((n_path, l_value)) | ||
assert not conforms | ||
assert expected_path_values == computed_path_values |