/// <summary>
/// Validates the given data graph against the given SHACL shape
/// </summary>
internal static RDFValidationReport ValidateShape(RDFShapesGraph shapesGraph, RDFGraph dataGraph, RDFShape shape, List <RDFPatternMember> focusNodes = null)
{
RDFValidationReport report = new RDFValidationReport(new RDFResource());
if (!shape.Deactivated)
{
//Resolve focus nodes
if (focusNodes == null)
{
focusNodes = dataGraph.GetFocusNodesOf(shape);
}
foreach (RDFPatternMember focusNode in focusNodes)
{
//Resolve value nodes
List <RDFPatternMember> valueNodes = dataGraph.GetValueNodesOf(shape, focusNode);
//Evaluate constraints
foreach (RDFConstraint constraint in shape)
{
report.MergeResults(constraint.ValidateConstraint(shapesGraph, dataGraph, shape, focusNode, valueNodes));
}
}
}
return(report);
}
internal static RDFShapesGraph FromRDFGraph(RDFGraph graph)
{
if (graph != null)
{
RDFShapesGraph result = new RDFShapesGraph(new RDFResource(graph.Context.ToString()));
RDFSelectQueryResult shapesResult = GetShapeQuery().ApplyToGraph(graph);
foreach (DataRow shapesRow in shapesResult.SelectResults.AsEnumerable())
{
RDFShape shape = ParseShapeType(shapesRow);
if (shape == null)
{
continue;
}
//Targets
ParseShapeTargets(shapesRow, shape);
//Attributes
ParseShapeAttributes(shapesRow, shape);
//Constraints
ParseShapeConstraints(shapesRow, graph, shape);
//Merge
MergeShape(result, shape);
}
return(result);
}
return(null);
}
/// <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();
#region Evaluation
List <RDFPatternMember> predicateNodes = dataGraph.Where(t => t.Subject.Equals(focusNode) &&
t.Predicate.Equals(this.LessThanPredicate))
.Select(x => x.Object)
.ToList();
foreach (RDFPatternMember valueNode in valueNodes)
{
foreach (RDFPatternMember predicateNode in predicateNodes)
{
int comparison = RDFQueryUtilities.CompareRDFPatternMembers(valueNode, predicateNode);
if (comparison == -99 || comparison >= 0)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.LESS_THAN_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
}
#endregion
return(report);
}
/// <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 node shape
RDFNodeShape nodeShape = shapesGraph.SelectShape(this.NodeShapeUri.ToString()) as RDFNodeShape;
if (nodeShape == null)
{
return(report);
}
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
RDFValidationReport nodeShapeReport = RDFValidationEngine.ValidateShape(shapesGraph, dataGraph, nodeShape, new List <RDFPatternMember>()
{
valueNode
});
if (!nodeShapeReport.Conforms)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.NODE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <summary>
/// Detects the typed instances of shacl:PropertyShape and populates the shapes graph with their definition
/// </summary>
private static void DetectTypedPropertyShapes(RDFGraph graph, RDFShapesGraph shapesGraph)
{
RDFGraph declaredPropertyShapes = graph.SelectTriplesByPredicate(RDFVocabulary.RDF.TYPE)
.SelectTriplesByObject(RDFVocabulary.SHACL.PROPERTY_SHAPE);
foreach (RDFTriple declaredPropertyShape in declaredPropertyShapes)
{
RDFTriple declaredPropertyShapePath = graph.SelectTriplesBySubject((RDFResource)declaredPropertyShape.Subject)
.SelectTriplesByPredicate(RDFVocabulary.SHACL.PATH)
.FirstOrDefault();
if (declaredPropertyShapePath != null &&
declaredPropertyShapePath.Object is RDFResource)
{
RDFPropertyShape propertyShape = new RDFPropertyShape((RDFResource)declaredPropertyShape.Subject, (RDFResource)declaredPropertyShapePath.Object);
DetectShapeTargets(graph, propertyShape);
DetectShapeAttributes(graph, propertyShape);
DetectShapeNonValidatingAttributes(graph, propertyShape);
DetectShapeConstraints(graph, propertyShape);
shapesGraph.AddShape(propertyShape);
}
}
}
/// <summary>
/// Detects the inline instances of shacl:PropertyShape and populates the shapes graph with their definition
/// </summary>
private static void DetectInlinePropertyShapes(RDFGraph graph, RDFShapesGraph shapesGraph)
{
RDFGraph inlinePropertyShapes = graph.SelectTriplesByPredicate(RDFVocabulary.SHACL.PROPERTY);
foreach (RDFTriple inlinePropertyShape in inlinePropertyShapes)
{
//Inline property shapes are blank objects of "sh:property" constraints:
//we wont find their explicit shape definition within the shapes graph.
if (inlinePropertyShape.Object is RDFResource inlinePropertyShapeResource &&
inlinePropertyShapeResource.IsBlank &&
shapesGraph.SelectShape(inlinePropertyShapeResource.ToString()) == null)
{
RDFTriple inlinePropertyShapePath = graph.SelectTriplesBySubject(inlinePropertyShapeResource)
.SelectTriplesByPredicate(RDFVocabulary.SHACL.PATH)
.FirstOrDefault();
if (inlinePropertyShapePath != null &&
inlinePropertyShapePath.Object is RDFResource)
{
RDFPropertyShape propertyShape = new RDFPropertyShape(inlinePropertyShapeResource, (RDFResource)inlinePropertyShapePath.Object);
DetectShapeTargets(graph, propertyShape);
DetectShapeAttributes(graph, propertyShape);
DetectShapeNonValidatingAttributes(graph, propertyShape);
DetectShapeConstraints(graph, propertyShape);
shapesGraph.AddShape(propertyShape);
}
}
}
}
/// <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>
/// 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();
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
switch (valueNode)
{
//Resource
case RDFResource valueNodeResource:
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.DATATYPE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
break;
//PlainLiteral
case RDFPlainLiteral valueNodePlainLiteral:
if (this.Datatype != RDFModelEnums.RDFDatatypes.XSD_STRING ||
!string.IsNullOrEmpty(valueNodePlainLiteral.Language))
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.DATATYPE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
//TypedLiteral
case RDFTypedLiteral valueNodeTypedLiteral:
if (this.Datatype != valueNodeTypedLiteral.Datatype)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.DATATYPE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
}
}
#endregion
return(report);
}
/// <summary>
/// Validates the given data graph against the given SHACL shapes graph
/// </summary>
public static RDFValidationReport Validate(this RDFShapesGraph shapesGraph, RDFGraph dataGraph)
{
RDFValidationReport report = new RDFValidationReport(new RDFResource());
if (dataGraph != null)
{
foreach (RDFShape shape in shapesGraph)
{
report.MergeResults(ValidateShape(shapesGraph, dataGraph, shape));
}
}
return(report);
}
/// <summary>
/// Merges the shapes of the given shapes graph to this shapes graph
/// </summary>
public RDFShapesGraph MergeShapes(RDFShapesGraph shapesGraph)
{
if (shapesGraph != null)
{
foreach (var shape in shapesGraph)
{
if (!this.Shapes.ContainsKey(shape.PatternMemberID))
{
this.Shapes.Add(shape.PatternMemberID, shape);
}
}
}
return(this);
}
internal static RDFShapesGraph FromRDFGraph(RDFGraph graph)
{
if (graph != null)
{
RDFShapesGraph result = new RDFShapesGraph(new RDFResource(graph.Context.ToString()));
DetectTypedNodeShapes(graph, result);
DetectTypedPropertyShapes(graph, result);
DetectInlinePropertyShapes(graph, result);
return(result);
}
return(null);
}
/// <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 and shapes
List <RDFShape> andShapes = new List <RDFShape>();
foreach (RDFResource andShapeUri in this.AndShapes.Values)
{
RDFShape andShape = shapesGraph.SelectShape(andShapeUri.ToString());
if (andShape != null)
{
andShapes.Add(andShape);
}
}
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
bool valueNodeConforms = true;
foreach (RDFShape andShape in andShapes)
{
RDFValidationReport andShapeReport = RDFValidationEngine.ValidateShape(shapesGraph, dataGraph, andShape, new List <RDFPatternMember>()
{
valueNode
});
if (!andShapeReport.Conforms)
{
valueNodeConforms = false;
break;
}
}
if (!valueNodeConforms)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.AND_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <summary>
/// Detects the typed instances of shacl:NodeShape and populates the shapes graph with their definition
/// </summary>
private static void DetectTypedNodeShapes(RDFGraph graph, RDFShapesGraph shapesGraph)
{
RDFGraph declaredNodeShapes = graph.SelectTriplesByPredicate(RDFVocabulary.RDF.TYPE)
.SelectTriplesByObject(RDFVocabulary.SHACL.NODE_SHAPE);
foreach (RDFTriple declaredNodeShape in declaredNodeShapes)
{
RDFNodeShape nodeShape = new RDFNodeShape((RDFResource)declaredNodeShape.Subject);
DetectShapeTargets(graph, nodeShape);
DetectShapeAttributes(graph, nodeShape);
DetectShapeConstraints(graph, nodeShape);
shapesGraph.AddShape(nodeShape);
}
}
/// <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 xone shapes
List <RDFShape> xoneShapes = new List <RDFShape>();
foreach (RDFResource xoneShapeUri in this.XoneShapes.Values)
{
RDFShape xoneShape = shapesGraph.SelectShape(xoneShapeUri.ToString());
if (xoneShape != null)
{
xoneShapes.Add(xoneShape);
}
}
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
int valueNodeConformsCounter = 0;
foreach (RDFShape xoneShape in xoneShapes)
{
RDFValidationReport xoneShapeReport = RDFValidationEngine.ValidateShape(shapesGraph, dataGraph, xoneShape, new List <RDFPatternMember>()
{
valueNode
});
if (xoneShapeReport.Conforms)
{
valueNodeConformsCounter++;
}
}
if (valueNodeConformsCounter != 1)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.XONE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <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();
#region Evaluation
if (!valueNodes.Any(v => v.Equals(this.Value))) {
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.HAS_VALUE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
null,
shape.Messages,
shape.Severity));
}
#endregion
return report;
}
/// <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();
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
switch (valueNode)
{
//Resource
case RDFResource valueNodeResource:
if (valueNodeResource.IsBlank ||
valueNodeResource.ToString().Length > this.MaxLength)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.MAX_LENGTH_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
//Literal
case RDFLiteral valueNodeLiteral:
if (valueNodeLiteral.Value.Length > this.MaxLength)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.MAX_LENGTH_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
}
}
#endregion
return(report);
}
/// <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();
#region Evaluation
if (this.Closed)
{
//Extend ignored properties with paths of property constraints
List <RDFResource> allowedProperties = new List <RDFResource>(this.IgnoredProperties.Values);
IEnumerable <RDFPropertyConstraint> propertyConstraints = shape.Constraints.OfType <RDFPropertyConstraint>();
foreach (RDFPropertyConstraint propertyConstraint in propertyConstraints)
{
RDFPropertyShape propertyShape = shapesGraph.SelectShape(propertyConstraint.PropertyShapeUri.ToString()) as RDFPropertyShape;
if (propertyShape != null)
{
allowedProperties.Add(propertyShape.Path);
}
}
//Detect unallowed predicates
foreach (RDFPatternMember valueNode in valueNodes)
{
if (valueNode is RDFResource valueNodeResource)
{
RDFGraph valuenodeResourceGraph = dataGraph.SelectTriplesBySubject(valueNodeResource);
IEnumerable <RDFTriple> unallowedTriples = valuenodeResourceGraph.Where(t => !allowedProperties.Any(p => p.Equals(t.Predicate)));
foreach (RDFTriple unallowedTriple in unallowedTriples)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.CLOSED_CONSTRAINT_COMPONENT,
valueNodeResource,
unallowedTriple.Predicate as RDFResource,
unallowedTriple.Object,
shape.Messages,
shape.Severity));
}
}
}
}
#endregion
return(report);
}
/// <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();
#region Evaluation
if (valueNodes.Count > this.MaxCount)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.MAX_COUNT_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
null,
shape.Messages,
shape.Severity));
}
#endregion
return(report);
}
/// <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();
#region Evaluation
List <RDFPatternMember> predicateNodes = dataGraph.Where(t => t.Subject.Equals(focusNode) &&
t.Predicate.Equals(this.EqualsPredicate))
.Select(x => x.Object)
.ToList();
foreach (RDFPatternMember predicateNode in predicateNodes)
{
if (!valueNodes.Any(v => v.Equals(predicateNode)))
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.EQUALS_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
predicateNode,
shape.Messages,
shape.Severity));
}
}
foreach (RDFPatternMember valueNode in valueNodes)
{
if (!predicateNodes.Any(p => p.Equals(valueNode)))
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.EQUALS_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <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();
List <RDFPatternMember> classInstances = dataGraph.GetInstancesOfClass(this.ClassType);
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
switch (valueNode)
{
//Resource
case RDFResource valueNodeResource:
if (!classInstances.Any(x => x.Equals(valueNodeResource)))
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.CLASS_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
//Literal
case RDFLiteral valueNodeLiteral:
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.CLASS_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
break;
}
}
#endregion
return(report);
}
/// <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 property shape
RDFPropertyShape propertyShape = shapesGraph.SelectShape(this.PropertyShapeUri.ToString()) as RDFPropertyShape;
if (propertyShape == null)
{
return(report);
}
#region Evaluation
RDFValidationReport propertyShapeReport = RDFValidationEngine.ValidateShape(shapesGraph, dataGraph, propertyShape, valueNodes);
if (!propertyShapeReport.Conforms)
{
report.MergeResults(propertyShapeReport);
}
#endregion
return(report);
}
/// <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();
#region Evaluation
if (this.UniqueLang)
{
HashSet <string> reportedLangs = new HashSet <string>();
List <RDFPlainLiteral> langlitValueNodes = valueNodes.OfType <RDFPlainLiteral>()
.Where(vn => !string.IsNullOrEmpty(vn.Language))
.ToList();
foreach (RDFPlainLiteral innerlanglitValueNode in langlitValueNodes)
{
foreach (RDFPlainLiteral outerlanglitValueNode in langlitValueNodes)
{
if (!innerlanglitValueNode.Equals(outerlanglitValueNode) &&
innerlanglitValueNode.Language.Equals(outerlanglitValueNode.Language))
{
//Ensure to not report twice the same language tag
if (!reportedLangs.Contains(innerlanglitValueNode.Language))
{
reportedLangs.Add(innerlanglitValueNode.Language);
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.UNIQUE_LANG_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
null,
shape.Messages,
shape.Severity));
}
}
}
}
}
#endregion
return(report);
}
private static void MergeShape(RDFShapesGraph result, RDFShape shape)
{
RDFShape existingShape = result.SelectShape(shape.ToString());
if (existingShape == null)
{
result.AddShape(shape);
}
else
{
existingShape.Targets.AddRange(shape.Targets);
existingShape.Constraints.AddRange(shape.Constraints);
existingShape.Messages.AddRange(shape.Messages);
if (existingShape is RDFPropertyShape && shape is RDFPropertyShape)
{
((RDFPropertyShape)existingShape).Descriptions.AddRange(((RDFPropertyShape)shape).Descriptions);
((RDFPropertyShape)existingShape).Names.AddRange(((RDFPropertyShape)shape).Names);
}
result.RemoveShape(existingShape);
result.AddShape(existingShape);
}
}
/// <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();
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
Int32 comparison = RDFQueryUtilities.CompareRDFPatternMembers(this.Value, valueNode);
if (comparison == -99 || comparison <= 0)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.MAX_EXCLUSIVE_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <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();
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
if (dataGraph.Any(t => t.Subject.Equals(focusNode) &&
t.Predicate.Equals(this.DisjointPredicate) &&
t.Object.Equals(valueNode)))
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.DISJOINT_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
#endregion
return(report);
}
/// <summary> /// Asynchronously validates the given data graph against the given SHACL shapes graph /// </summary> public static Task <RDFValidationReport> ValidateAsync(this RDFShapesGraph shapesGraph, RDFGraph dataGraph) => Task.Run(() => Validate(shapesGraph, dataGraph));
/// <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(new RDFResource());
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
switch (valueNode)
{
//PlainLiteral
case RDFPlainLiteral valueNodePlainLiteral:
bool langMatches = false;
var langTagsEnumerator = this.LanguageTags.GetEnumerator();
while (langTagsEnumerator.MoveNext() && !langMatches)
{
//NO language is found in the variable
if (langTagsEnumerator.Current == string.Empty)
{
langMatches = !Regex.IsMatch(valueNodePlainLiteral.ToString(), "@[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*$", RegexOptions.Compiled | RegexOptions.IgnoreCase);
}
//ANY language is found in the variable
else if (langTagsEnumerator.Current == "*")
{
langMatches = Regex.IsMatch(valueNodePlainLiteral.ToString(), "@[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*$", RegexOptions.Compiled | RegexOptions.IgnoreCase);
}
//GIVEN language is found in the variable
else
{
langMatches = Regex.IsMatch(valueNodePlainLiteral.ToString(), string.Concat("@", langTagsEnumerator.Current, "(-[a-zA-Z0-9]{1,8})*$"), RegexOptions.IgnoreCase);
}
}
if (!langMatches)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.LANGUAGE_IN_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
//Resource/TypedLiteral
default:
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.LANGUAGE_IN_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
break;
}
}
#endregion
return(report);
}
/// <summary>
/// Evaluates this constraint against the given data graph
/// </summary>
internal abstract RDFValidationReport ValidateConstraint(RDFShapesGraph shapesGraph,
RDFGraph dataGraph,
RDFShape shape,
RDFPatternMember focusNode,
List <RDFPatternMember> valueNodes);
/// <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();
#region Evaluation
foreach (RDFPatternMember valueNode in valueNodes)
{
switch (valueNode)
{
//Resource
case RDFResource valueNodeResource:
if (valueNodeResource.IsBlank)
{
if (this.NodeKind == RDFValidationEnums.RDFNodeKinds.IRI ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.IRIOrLiteral ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.Literal)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.NODE_KIND_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
else
{
if (this.NodeKind == RDFValidationEnums.RDFNodeKinds.BlankNode ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.BlankNodeOrLiteral ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.Literal)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.NODE_KIND_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
}
break;
//Literal
case RDFLiteral valueNodeLiteral:
if (this.NodeKind == RDFValidationEnums.RDFNodeKinds.BlankNode ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.BlankNodeOrIRI ||
this.NodeKind == RDFValidationEnums.RDFNodeKinds.IRI)
{
report.AddResult(new RDFValidationResult(shape,
RDFVocabulary.SHACL.NODE_KIND_CONSTRAINT_COMPONENT,
focusNode,
shape is RDFPropertyShape ? ((RDFPropertyShape)shape).Path : null,
valueNode,
shape.Messages,
shape.Severity));
}
break;
}
}
#endregion
return(report);
}
