Skip to content

GitLab

Commit a74f53e9 authored by Fajar's avatar Fajar
Browse files

rdf-unit result

parent 4701df8f
Hide whitespace changes
Inline Side-by-side
Showing with 1751 additions and 0 deletions
output/result-./output/shacl-rules/Absence-Activity1.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f47d659-2bfe-11b2-8086-86fa675a410e>
a prov:Activity , sh:ValidationReport , rut:TestExecution ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "0"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "1"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "0"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:49.427Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:49.414Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/Absence-Activity1.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms true .
output/result-./output/shacl-rules/Absence-checkpass.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471bd7-2bfe-11b2-8086-86fa675a410e/6f471bd8-2bfe-11b2-8086-86fa675a410e>
a rut:TestCaseResult , sh:ValidationResult ;
dcterms:date "2019-05-20T16:01:45.871Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471bd5-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471bd7-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "traces should not contain activity check pass. violating trace: {$object}" ;
sh:resultMessage "traces should not contain activity check pass. violating trace: {$object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint [] ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#Absence_check+pass> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471bd7-2bfe-11b2-8086-86fa675a410e>
a prov:Activity , sh:ValidationReport , rut:TestExecution ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "1"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:45.873Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:45.831Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/Absence-checkpass.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f471bd7-2bfe-11b2-8086-86fa675a410e/6f471bd8-2bfe-11b2-8086-86fa675a410e> .
output/result-./output/shacl-rules/AlternatePrecedence-Invaliduser-Connectionreset.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471bd4-2bfe-11b2-8086-86fa675a410e>
a rut:TestExecution , prov:Activity , sh:ValidationReport ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "0"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "1"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "0"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:45.617Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:44.425Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternatePrecedence-Invaliduser-Connectionreset.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms true .
output/result-./output/shacl-rules/AlternatePrecedence-checkpass-authenticationfailure.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471c31-2bfe-11b2-8086-86fa675a410e>
a rut:TestExecution , prov:Activity , sh:ValidationReport ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "0"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "1"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "0"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:48.994Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:48.977Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternatePrecedence-checkpass-authenticationfailure.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms true .
output/result-./output/shacl-rules/AlternateResponse-Invaliduser-Connectionreset.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471c1a-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationReport , prov:Activity , rut:TestExecution ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "0"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "1"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "0"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:48.216Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:48.201Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternateResponse-Invaliduser-Connectionreset.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms true .
output/result-./output/shacl-rules/AlternateResponse-checkpass-authenticationfailure.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471bee-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationReport , prov:Activity , rut:TestExecution ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "0"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "1"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "0"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:46.773Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:46.757Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternateResponse-checkpass-authenticationfailure.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms true .
output/result-./output/shacl-rules/AlternateSuccession-Invaliduser-Connectionreset.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e/6f47d64e-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationResult , rut:TestCaseResult ;
dcterms:date "2019-05-20T16:01:49.114Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471c32-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "'Invalid user' and 'Connection reset' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultMessage "'Invalid user' and 'Connection reset' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint _:b0 ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AlternateSuccession_Invalid+user_Connection+reset> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e/6f471c35-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationResult , rut:TestCaseResult ;
dcterms:date "2019-05-20T16:01:49.112Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471c32-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "'Invalid user' and 'Connection reset' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultMessage "'Invalid user' and 'Connection reset' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint _:b0 ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AlternateSuccession_Invalid+user_Connection+reset> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e>
a prov:Activity , sh:ValidationReport , rut:TestExecution ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "2"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:49.114Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:49.087Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternateSuccession-Invaliduser-Connectionreset.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e/6f471c35-2bfe-11b2-8086-86fa675a410e> , <urn:uuid:6f471c34-2bfe-11b2-8086-86fa675a410e/6f47d64e-2bfe-11b2-8086-86fa675a410e> .
output/result-./output/shacl-rules/AlternateSuccession-checkpass-authenticationfailure.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e/6f471beb-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationResult , rut:TestCaseResult ;
dcterms:date "2019-05-20T16:01:46.642Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471be7-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "'check pass' and 'authentication failure' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultMessage "'check pass' and 'authentication failure' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint _:b0 ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AlternateSuccession_check+pass_authentication+failure> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e/6f471bea-2bfe-11b2-8086-86fa675a410e>
a rut:TestCaseResult , sh:ValidationResult ;
dcterms:date "2019-05-20T16:01:46.642Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471be7-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "'check pass' and 'authentication failure' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultMessage "'check pass' and 'authentication failure' occur in the process instance if and only if the latter follows the former, and they alternate each other in the trace. Cause event: {?object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint _:b0 ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AlternateSuccession_check+pass_authentication+failure> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationReport , rut:TestExecution , prov:Activity ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "2"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:46.643Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:46.618Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AlternateSuccession-checkpass-authenticationfailure.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e/6f471bea-2bfe-11b2-8086-86fa675a410e> , <urn:uuid:6f471be9-2bfe-11b2-8086-86fa675a410e/6f471beb-2bfe-11b2-8086-86fa675a410e> .
output/result-./output/shacl-rules/AtMostOne-Invaliduser.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471c02-2bfe-11b2-8086-86fa675a410e>
a rut:TestExecution , prov:Activity , sh:ValidationReport ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "1"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:47.414Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:47.398Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AtMostOne-Invaliduser.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f471c02-2bfe-11b2-8086-86fa675a410e/6f471c03-2bfe-11b2-8086-86fa675a410e> .
<urn:uuid:6f471c02-2bfe-11b2-8086-86fa675a410e/6f471c03-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationResult , rut:TestCaseResult ;
dcterms:date "2019-05-20T16:01:47.414Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471c00-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471c02-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "traces should only contain at most one activity 'Invalid user'. E.g., events {?object1} and {?object2}" ;
sh:resultMessage "traces should only contain at most one activity 'Invalid user'. E.g., events {?object1} and {?object2}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint [] ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AtMostOne_Invalid+user> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
output/result-./output/shacl-rules/AtMostOne-checkpass.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f471c10-2bfe-11b2-8086-86fa675a410e/6f471c11-2bfe-11b2-8086-86fa675a410e>
a sh:ValidationResult , rut:TestCaseResult ;
dcterms:date "2019-05-20T16:01:47.885Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f471c0e-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f471c10-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "traces should only contain at most one activity 'check pass'. E.g., events {?object1} and {?object2}" ;
sh:resultMessage "traces should only contain at most one activity 'check pass'. E.g., events {?object1} and {?object2}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint [] ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#AtMostOne_check+pass> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f471c10-2bfe-11b2-8086-86fa675a410e>
a prov:Activity , rut:TestExecution , sh:ValidationReport ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "1"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:47.885Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:47.871Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/AtMostOne-checkpass.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f471c10-2bfe-11b2-8086-86fa675a410e/6f471c11-2bfe-11b2-8086-86fa675a410e> .
output/result-./output/shacl-rules/ChainPrecedence-Invaliduser-Connectionreset.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .
@prefix rut: <http://rdfunit.aksw.org/ns/core#> .
@prefix rutr: <http://rdfunit.aksw.org/data/results#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rutt: <http://rdfunit.aksw.org/data/tests#> .
@prefix ruts: <http://rdfunit.aksw.org/data/testsuite#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
<urn:uuid:6f47d65c-2bfe-11b2-8086-86fa675a410e/6f47d65d-2bfe-11b2-8086-86fa675a410e>
a rut:TestCaseResult , sh:ValidationResult ;
dcterms:date "2019-05-20T16:01:49.524Z"^^xsd:dateTime ;
rut:testCase <urn:uuid:6f47d65a-2bfe-11b2-8086-86fa675a410e> ;
prov:wasGeneratedBy <urn:uuid:6f47d65c-2bfe-11b2-8086-86fa675a410e> ;
sh:focusNode <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> ;
sh:message "if there is a 'Invalid user', an 'Connection reset' must exist exactly beforehand. Cause event: {?object}" ;
sh:resultMessage "if there is a 'Invalid user', an 'Connection reset' must exist exactly beforehand. Cause event: {?object}" ;
sh:resultSeverity sh:Violation ;
sh:severity rlog:ERROR ;
sh:sourceConstraint [] ;
sh:sourceConstraintComponent sh:SPARQLConstraintComponent ;
sh:sourceShape <http://semantics.id/ns/declare-shacl#ChainPrecedence_Invalid+user_Connection+reset> ;
sh:value <http://semantics.id/ns/xes/resource/trace/220b3b0b-d4c9-4da0-a42a-813a4d636bf1> .
<urn:uuid:6f47d65c-2bfe-11b2-8086-86fa675a410e>
a rut:TestExecution , sh:ValidationReport , prov:Activity ;
rut:executionType "shaclTestCaseResult" ;
rut:source <http://localhost:8890/sparql> ;
rut:testsError "0"^^xsd:nonNegativeInteger ;
rut:testsFailed "1"^^xsd:nonNegativeInteger ;
rut:testsRun "1"^^xsd:nonNegativeInteger ;
rut:testsSuceedded "0"^^xsd:nonNegativeInteger ;
rut:testsTimeout "0"^^xsd:nonNegativeInteger ;
rut:totalIndividualErrors "1"^^xsd:nonNegativeInteger ;
prov:endedAtTime "2019-05-20T16:01:49.525Z"^^xsd:dateTime ;
prov:startedAtTime "2019-05-20T16:01:49.513Z"^^xsd:dateTime ;
prov:wasAssociatedWith <./output/shacl-rules/ChainPrecedence-Invaliduser-Connectionreset.ttl> ;
prov:wasStartedBy <http://localhost/> ;
sh:conforms false ;
sh:result <urn:uuid:6f47d65c-2bfe-11b2-8086-86fa675a410e/6f47d65d-2bfe-11b2-8086-86fa675a410e> .
output/result-./output/shacl-rules/ChainPrecedence-checkpass-authenticationfailure.ttl.ttl 0 → 100644
View file @ a74f53e9
@prefix dsp: <http://dublincore.org/dc-dsp#> .
@prefix schema: <http://schema.org/> .
@prefix rutg: <http://rdfunit.aksw.org/data/generators#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rlog: <http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rutp: <http://rdfunit.aksw.org/data/patterns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oslc: <http://open-services.net/ns/core#> .