io.konig.shacl.impl

Class ClassAnalyzer

java.lang.Object

io.konig.shacl.impl.ClassAnalyzer

public class ClassAnalyzer
extends Object

Constructor Summary

Constructors

Constructor and Description
ClassAnalyzer(ShapeManager shapeManager, OwlReasoner owlReasoner)

Method Summary

Modifier and Type	Method and Description
Shape	aggregate(org.openrdf.model.Resource classId) Create a shape that aggregates all the known shapes for a given class.
ShapeManager	getShapeManager()
void	merge(Shape shape) Merge the Or constraints into a PropertyConstraint list.
org.openrdf.model.Resource	mergeTargetClass(List<Shape> shapes)
void	pullDown(Shape shape)
void	pushUp(Shape shape) Remove any PropertyConstraints that duplicate constraints in the super class hierarchy.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassAnalyzer

public ClassAnalyzer(ShapeManager shapeManager,
                     OwlReasoner owlReasoner)

Method Detail

getShapeManager

public ShapeManager getShapeManager()

aggregate

public Shape aggregate(org.openrdf.model.Resource classId)

Create a shape that aggregates all the known shapes for a given class.

Parameters:

classId - The id for the target class whose shapes are to be aggregated.

Returns:

The aggregated Shape.

pullDown

public void pullDown(Shape shape)

pushUp

public void pushUp(Shape shape)

Remove any PropertyConstraints that duplicate constraints in the super class hierarchy.

Parameters:

shape -

merge

public void merge(Shape shape)

Merge the Or constraints into a PropertyConstraint list.

Parameters:

shape - The shape whose Or constraints are to be merged

mergeTargetClass

public org.openrdf.model.Resource mergeTargetClass(List<Shape> shapes)