-
Notifications
You must be signed in to change notification settings - Fork 27
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Implemented SHACL QualifiedValueShape
- Loading branch information
mdesalvo
committed
May 13, 2020
1 parent
a03412e
commit 3eaf1ea
Showing
2 changed files
with
162 additions
and
0 deletions.
There are no files selected for viewing
134 changes: 134 additions & 0 deletions
134
RDFSharp/Model/Validation/Abstractions/Constraints/RDFQualifiedValueShapeConstraint.cs
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,134 @@ | ||
| /* | ||
| Copyright 2012-2020 Marco De Salvo | ||
| Licensed under the Apache License, Version 2.0 (the "License"); | ||
| you may not use this file except in compliance with the License. | ||
| You may obtain a copy of the License at | ||
| http://www.apache.org/licenses/LICENSE-2.0 | ||
| Unless required by applicable law or agreed to in writing, software | ||
| distributed under the License is distributed on an "AS IS" BASIS, | ||
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| See the License for the specific language governing permissions and | ||
| limitations under the License. | ||
| */ | ||
|
|
||
| using RDFSharp.Query; | ||
| using System; | ||
| using System.Collections.Generic; | ||
| using System.Linq; | ||
|
|
||
| namespace RDFSharp.Model | ||
| { | ||
| /// <summary> | ||
| /// RDFQualifiedValueShapeConstraint represents a SHACL constraint requiring min/max occurrencies of the specified shape for a given RDF term | ||
| /// </summary> | ||
| public class RDFQualifiedValueShapeConstraint : RDFConstraint { | ||
|
|
||
| #region Properties | ||
| /// <summary> | ||
| /// Identifier of the shape against which the given RDF term must be validated | ||
| /// </summary> | ||
| public RDFResource QualifiedValueShapeUri { get; internal set; } | ||
|
|
||
| /// <summary> | ||
| /// Indicates the minimum required occurrences for a given RDF term | ||
| /// </summary> | ||
| public int? QualifiedValueMinCount { get; internal set; } | ||
|
|
||
| /// <summary> | ||
| /// Indicates the maximum required occurrences for a given RDF term | ||
| /// </summary> | ||
| public int? QualifiedValueMaxCount { get; internal set; } | ||
| #endregion | ||
|
|
||
| #region Ctors | ||
| /// <summary> | ||
| /// Default-ctor to build a qualified value shape constraint with the given property shape identifier and min/max counters | ||
| /// </summary> | ||
| public RDFQualifiedValueShapeConstraint(RDFResource qualifiedValueShapeUri, int? qualifiedValueMinCount, int? qualifiedValueMaxCount) : base() { | ||
| if (qualifiedValueShapeUri != null) { | ||
| this.QualifiedValueShapeUri = qualifiedValueShapeUri; | ||
|
|
||
| if (qualifiedValueMinCount.HasValue) | ||
| this.QualifiedValueMinCount = qualifiedValueMinCount < 0 ? 0 : qualifiedValueMinCount; | ||
|
|
||
| if (qualifiedValueMaxCount.HasValue) | ||
| this.QualifiedValueMaxCount = qualifiedValueMaxCount < 0 ? 0 : qualifiedValueMaxCount; | ||
| } | ||
| else { | ||
| throw new RDFModelException("Cannot create RDFQualifiedValueShapeConstraint because given \"qualifiedValueShapeUri\" parameter is null."); | ||
| } | ||
| } | ||
| #endregion | ||
|
|
||
| #region Methods | ||
| /// <summary> | ||
| /// Evaluates this constraint against the given data graph | ||
| /// </summary> | ||
| internal override RDFValidationReport ValidateConstraint(RDFShapesGraph shapesGraph, RDFGraph dataGraph, RDFShape shape, RDFPatternMember focusNode, List<RDFPatternMember> valueNodes) { | ||
| RDFValidationReport report = new RDFValidationReport(); | ||
|
|
||
| //Search for given qualified value shape | ||
| RDFShape qualifiedValueShape = shapesGraph.SelectShape(this.QualifiedValueShapeUri.ToString()); | ||
| if (qualifiedValueShape == null) | ||
| return report; | ||
|
|
||
| #region Evaluation | ||
| if (this.QualifiedValueMinCount.HasValue || this.QualifiedValueMaxCount.HasValue) { | ||
| int conformingValues = 0; | ||
| foreach (RDFPatternMember valueNode in valueNodes) { | ||
| RDFValidationReport qualifiedValueShapeReport = RDFValidationEngine.ValidateShape(shapesGraph, dataGraph, qualifiedValueShape, new List<RDFPatternMember>() { valueNode }); | ||
| if (qualifiedValueShapeReport.Conforms) | ||
| conformingValues++; | ||
| } | ||
|
|
||
| if (this.QualifiedValueMinCount.HasValue && conformingValues < this.QualifiedValueMinCount) | ||
| report.AddResult(new RDFValidationResult(shape, | ||
| RDFVocabulary.SHACL.QUALIFIED_MIN_COUNT_CONSTRAINT_COMPONENT, | ||
| focusNode, | ||
| shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null, | ||
| null, | ||
| shape.Messages, | ||
| shape.Severity)); | ||
|
|
||
| if (this.QualifiedValueMaxCount.HasValue && conformingValues > this.QualifiedValueMaxCount) | ||
| report.AddResult(new RDFValidationResult(shape, | ||
| RDFVocabulary.SHACL.QUALIFIED_MAX_COUNT_CONSTRAINT_COMPONENT, | ||
| focusNode, | ||
| shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null, | ||
| null, | ||
| shape.Messages, | ||
| shape.Severity)); | ||
| } | ||
| #endregion | ||
|
|
||
| return report; | ||
| } | ||
|
|
||
| /// <summary> | ||
| /// Gets a graph representation of this constraint | ||
| /// </summary> | ||
| internal override RDFGraph ToRDFGraph(RDFShape shape) { | ||
| RDFGraph result = new RDFGraph(); | ||
| if (shape != null) { | ||
|
|
||
| //sh:qualifiedValueShape | ||
| result.AddTriple(new RDFTriple(shape, RDFVocabulary.SHACL.QUALIFIED_VALUE_SHAPE, this.QualifiedValueShapeUri)); | ||
|
|
||
| //sh:qualifiedMinCount | ||
| if (this.QualifiedValueMinCount.HasValue) | ||
| result.AddTriple(new RDFTriple(shape, RDFVocabulary.SHACL.QUALIFIED_MIN_COUNT, new RDFTypedLiteral(this.QualifiedValueMinCount.ToString(), RDFModelEnums.RDFDatatypes.XSD_INTEGER))); | ||
|
|
||
| //sh:qualifiedMaxCount | ||
| if (this.QualifiedValueMaxCount.HasValue) | ||
| result.AddTriple(new RDFTriple(shape, RDFVocabulary.SHACL.QUALIFIED_MAX_COUNT, new RDFTypedLiteral(this.QualifiedValueMaxCount.ToString(), RDFModelEnums.RDFDatatypes.XSD_INTEGER))); | ||
|
|
||
| } | ||
| return result; | ||
| } | ||
| #endregion | ||
|
|
||
| } | ||
| } |
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