Package org.topbraid.shacl.engine
Class AbstractEngine
- java.lang.Object
-
- org.topbraid.shacl.engine.AbstractEngine
-
- All Implemented Interfaces:
NodeExpressionContext
- Direct Known Subclasses:
RuleEngine,ValidationEngine
public abstract class AbstractEngine extends Object implements NodeExpressionContext
Base class for validation and rule engines.- Author:
- Holger Knublauch
-
-
Field Summary
Fields Modifier and Type Field Description protected org.apache.jena.query.Datasetdatasetprotected ProgressMonitormonitorprotected ShapesGraphshapesGraphprotected URIshapesGraphURI
-
Constructor Summary
Constructors Modifier Constructor Description protectedAbstractEngine(org.apache.jena.query.Dataset dataset, ShapesGraph shapesGraph, URI shapesGraphURI)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidapplyEntailments()Ensures that the data graph includes any entailed triples inferred by the regime specified using sh:entailment in the shapes graph.voidcheckCanceled()org.apache.jena.query.DatasetgetDataset()ProgressMonitorgetProgressMonitor()ShapesGraphgetShapesGraph()URIgetShapesGraphURI()org.apache.jena.rdf.model.ModelgetShapesModel()voidsetProgressMonitor(ProgressMonitor value)
-
-
-
Field Detail
-
dataset
protected org.apache.jena.query.Dataset dataset
-
monitor
protected ProgressMonitor monitor
-
shapesGraph
protected ShapesGraph shapesGraph
-
shapesGraphURI
protected URI shapesGraphURI
-
-
Constructor Detail
-
AbstractEngine
protected AbstractEngine(org.apache.jena.query.Dataset dataset, ShapesGraph shapesGraph, URI shapesGraphURI)
-
-
Method Detail
-
applyEntailments
public void applyEntailments() throws InterruptedExceptionEnsures that the data graph includes any entailed triples inferred by the regime specified using sh:entailment in the shapes graph. Should be called prior to validation. Throws an Exception if unsupported entailments are found. If multiple sh:entailments are present then their order is undefined but they all get applied.- Throws:
InterruptedException- if the monitor has canceled it
-
checkCanceled
public void checkCanceled()
-
getDataset
public org.apache.jena.query.Dataset getDataset()
- Specified by:
getDatasetin interfaceNodeExpressionContext
-
getProgressMonitor
public ProgressMonitor getProgressMonitor()
-
getShapesGraph
public ShapesGraph getShapesGraph()
- Specified by:
getShapesGraphin interfaceNodeExpressionContext
-
getShapesGraphURI
public URI getShapesGraphURI()
- Specified by:
getShapesGraphURIin interfaceNodeExpressionContext
-
getShapesModel
public org.apache.jena.rdf.model.Model getShapesModel()
-
setProgressMonitor
public void setProgressMonitor(ProgressMonitor value)
-
-