io.konig.shacl.services

Class ShapeProducer

java.lang.Object

io.konig.shacl.services.ShapeProducer

public class ShapeProducer
extends Object

A service which generates a shape based on example instances of a given class.

Author:

Greg McFall

Constructor Summary

Constructors

Constructor and Description
ShapeProducer(NamespaceManager nsManager, ShapeManager shapeManager)

Method Summary

Modifier and Type	Method and Description
ShapeVisitor	getVisitor()
Shape	produceShape(Vertex targetClass, IriTemplate shapeIdTemplate)
Shape	produceShape(Vertex targetClass, org.openrdf.model.URI shapeId) Get or create a shape for a specified OWL Class with a specified name.
void	setVisitor(ShapeVisitor visitor)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShapeProducer

public ShapeProducer(NamespaceManager nsManager,
                     ShapeManager shapeManager)

Method Detail

getVisitor

public ShapeVisitor getVisitor()

setVisitor

public void setVisitor(ShapeVisitor visitor)

produceShape

public Shape produceShape(Vertex targetClass,
                          IriTemplate shapeIdTemplate)

produceShape

public Shape produceShape(Vertex targetClass,
                          org.openrdf.model.URI shapeId)

Get or create a shape for a specified OWL Class with a specified name.

This method will return an existing shape if one exists that is consistent with all instances. If there is more than one existing shape, then this method returns the the smallest consistent shape (i.e. the one with the fewest properties). If there are multiple, existing, consistent shapes of minimal size, the method returns the one whose name comes first lexically.

If no existing, consistent shape is found, this method will return a newly created shape. This method iterates over all properties on all instances of the OWL Class. It ensures that the returned shape contains an appropriate PropertyConstraint for each property according to the rules below.

1. If all values are literals of the same type, then the sh:datatype is set to that type.
2. If the values are literals of different types, and error occurs.

Parameters:

targetClass - The OWL Class for which a Shape is to be produced.

shapeId - The URI that names the shape if a new Shape is created.

Returns:

An existing Shape consistent with all instances of the OWL Class, or a newly minted Shape.