io.konig.shacl

Class ClassStructure

java.lang.Object

io.konig.shacl.ClassStructure

public class ClassStructure
extends Object

An entity that manages a collection of "logical" shapes for each known OWL class. The logical shape contains the union of all property constraints from across the various shapes of a given OWL class.

Author:

Greg McFall

Constructor Summary

Constructors

Constructor and Description
ClassStructure()
ClassStructure(ValueFormat iriTemplate)
ClassStructure(ValueFormat iriTemplate, ShapeManager shapeManager, OwlReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
boolean	ancestorHasProperty(org.openrdf.model.Resource owlClass, org.openrdf.model.URI property) Test whether some ancestor of a given class declares a specific property
Set<org.openrdf.model.Resource>	domainIncludes(org.openrdf.model.URI propertyId)
Shape	getNullShape()
List<PropertyConstraint>	getProperties(Shape shape) Get the properties declared by a given shape or any of its ancestors.
PropertyStructure	getProperty(org.openrdf.model.URI propertyId)
Map<org.openrdf.model.URI,PropertyConstraint>	getPropertyMap(Shape shape)
OwlReasoner	getReasoner()
Shape	getShapeForClass(org.openrdf.model.Resource classId) Get the "canonical" shape for a given OWL class.
boolean	hasProperty(org.openrdf.model.Resource owlClass, org.openrdf.model.URI property) Test whether a given class or one of its ancestors declares a specific property.
boolean	hasProperty(Shape canonicalShape, org.openrdf.model.URI property) Test whether a given class or one of its ancestors declares a specific property.
boolean	hasSubClass(Shape shape)
boolean	hasSuperClass(Shape shape)
void	init(ShapeManager shapeManager, OwlReasoner reasoner)
boolean	isNullShape(Shape shape)
Set<org.openrdf.model.Resource>	listClasses()
Collection<Shape>	listClassShapes()
Collection<PropertyStructure>	listProperties()
List<org.openrdf.model.URI>	listSubclasses(Shape shape)
Shape	shapeForClass(org.openrdf.model.Resource classId)
List<Shape>	subClasses(Shape shape)
List<Shape>	superClasses(Shape shape)
List<Shape>	transitiveClosure(Shape s) Get the set consisting of a given shape plus all of its superclasses and subclasses.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassStructure

public ClassStructure()

ClassStructure

public ClassStructure(ValueFormat iriTemplate)

ClassStructure

public ClassStructure(ValueFormat iriTemplate,
                      ShapeManager shapeManager,
                      OwlReasoner reasoner)

Method Detail

getReasoner

public OwlReasoner getReasoner()

listProperties

public Collection<PropertyStructure> listProperties()

getProperty

public PropertyStructure getProperty(org.openrdf.model.URI propertyId)

domainIncludes

public Set<org.openrdf.model.Resource> domainIncludes(org.openrdf.model.URI propertyId)

listClassShapes

public Collection<Shape> listClassShapes()

listClasses

public Set<org.openrdf.model.Resource> listClasses()

init

public void init(ShapeManager shapeManager,
                 OwlReasoner reasoner)

getShapeForClass

public Shape getShapeForClass(org.openrdf.model.Resource classId)
                       throws OwlClassNotFoundException

Get the "canonical" shape for a given OWL class.

Parameters:

classId - The id for the OWL class whose shape is to be returned.

Returns:

The shape with the following characteristics: (1) has a PropertyConstraint for each property that is locally declared (2) has an "OR" list of Shapes for all subclasses, (3) has an "AND" list of Shapes for all superclasses.

Throws:

OwlClassNotFoundException

shapeForClass

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

isNullShape

public boolean isNullShape(Shape shape)

hasSubClass

public boolean hasSubClass(Shape shape)

getPropertyMap

public Map<org.openrdf.model.URI,PropertyConstraint> getPropertyMap(Shape shape)

getProperties

public List<PropertyConstraint> getProperties(Shape shape)

Get the properties declared by a given shape or any of its ancestors.

Parameters:

shape - The shape whose properties are to be returned.

superClasses

public List<Shape> superClasses(Shape shape)

transitiveClosure

public List<Shape> transitiveClosure(Shape s)

Get the set consisting of a given shape plus all of its superclasses and subclasses.

subClasses

public List<Shape> subClasses(Shape shape)

hasProperty

public boolean hasProperty(org.openrdf.model.Resource owlClass,
                           org.openrdf.model.URI property)

Test whether a given class or one of its ancestors declares a specific property.

Parameters:

owlClass - The class to be tested

property - The specific property to be tested

Returns:

True if owlClass or one of its ancestors declares the property, and false otherwise.

hasProperty

public boolean hasProperty(Shape canonicalShape,
                           org.openrdf.model.URI property)

Test whether a given class or one of its ancestors declares a specific property.

Parameters:

canonicalShape - The canonical shape for the class to be tested

property - The specific property to be tested

Returns:

True if the canonical shape or one of its ancestors declares the property, and false otherwise.

ancestorHasProperty

public boolean ancestorHasProperty(org.openrdf.model.Resource owlClass,
                                   org.openrdf.model.URI property)
                            throws OwlClassNotFoundException

Test whether some ancestor of a given class declares a specific property

Parameters:

owlClass - The given class to be tested.

property - The specific property to be tested

Returns:

True if some ancestor of the supplied owlClass declares the specified property, and false otherwise.

Throws:

OwlClassNotFoundException

hasSuperClass

public boolean hasSuperClass(Shape shape)

listSubclasses

public List<org.openrdf.model.URI> listSubclasses(Shape shape)

getNullShape

public Shape getNullShape()