fr.inria.lille.shexjava.validation

Class ValidationUtils

java.lang.Object

fr.inria.lille.shexjava.validation.ValidationUtils

public class ValidationUtils
extends Object

Contains static methods useful in the different validation alogorithms.

Author:

Iovka Boneva, Jérémie Dusart 3 août 2018

Method Summary

Modifier and Type	Method and Description
static PreMatching	computePreMatching(org.apache.commons.rdf.api.RDFTerm focusNode, List<org.apache.commons.rdf.api.Triple> neighbourhood, List<TripleConstraint> tripleConstraints, Set<org.apache.commons.rdf.api.IRI> extraProperties, Matcher matcher)
static List<org.apache.commons.rdf.api.Triple>	getMatchableNeighbourhood(org.apache.commons.rdf.api.Graph graph, org.apache.commons.rdf.api.RDFTerm node, List<TripleConstraint> tripleConstraints, boolean shapeIsClosed) Select the neighborhood that must be matched for the given shape.
static Matcher	getPredicateAndValueMatcher(Typing typing)
static Matcher	getPredicateOnlyMatcher()
static Map<Label,List<org.apache.commons.rdf.api.Triple>>	inverseMatching(Map<org.apache.commons.rdf.api.Triple,Label> matching, List<TripleConstraint> tripleConstraints) Produces a map that with every triple constraint from the given matching associates the list of triples that are matched with that triple constraint in the matching.
static Map<TripleConstraint,List<org.apache.commons.rdf.api.Triple>>	inversePreMatching(Map<org.apache.commons.rdf.api.Triple,List<TripleConstraint>> preMatching, List<TripleConstraint> tripleConstraints) Produces a map that with every triple constraint in the given list of triple constarints associates all the triples matched with this triple constraint in the given pre-matching.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getPredicateOnlyMatcher

public static Matcher getPredicateOnlyMatcher()

getPredicateAndValueMatcher

public static Matcher getPredicateAndValueMatcher(Typing typing)

getMatchableNeighbourhood

public static List<org.apache.commons.rdf.api.Triple> getMatchableNeighbourhood(org.apache.commons.rdf.api.Graph graph,
                                                                                org.apache.commons.rdf.api.RDFTerm node,
                                                                                List<TripleConstraint> tripleConstraints,
                                                                                boolean shapeIsClosed)

Select the neighborhood that must be matched for the given shape.

Parameters:

graph -

node -

tripleConstraints -

shapeIsClosed -

Returns:

computePreMatching

public static PreMatching computePreMatching(org.apache.commons.rdf.api.RDFTerm focusNode,
                                             List<org.apache.commons.rdf.api.Triple> neighbourhood,
                                             List<TripleConstraint> tripleConstraints,
                                             Set<org.apache.commons.rdf.api.IRI> extraProperties,
                                             Matcher matcher)

inversePreMatching

public static Map<TripleConstraint,List<org.apache.commons.rdf.api.Triple>> inversePreMatching(Map<org.apache.commons.rdf.api.Triple,List<TripleConstraint>> preMatching,
                                                                                               List<TripleConstraint> tripleConstraints)

Produces a map that with every triple constraint in the given list of triple constarints associates all the triples matched with this triple constraint in the given pre-matching.

Parameters:

preMatching -

tripleConstraints -

Returns:

inverseMatching

public static Map<Label,List<org.apache.commons.rdf.api.Triple>> inverseMatching(Map<org.apache.commons.rdf.api.Triple,Label> matching,
                                                                                 List<TripleConstraint> tripleConstraints)

Produces a map that with every triple constraint from the given matching associates the list of triples that are matched with that triple constraint in the matching.

Parameters:

matching -

Returns: