Package org.topbraid.shacl.entailment

Class SHACLEntailment

java.lang.Object

org.topbraid.shacl.entailment.SHACLEntailment

public class SHACLEntailment
extends Object

Singleton to support sh:entailment. Extensions may install their own Engines.

Author:

Holger Knublauch

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	SHACLEntailment.Engine

Field Summary

Fields

Modifier and Type	Field	Description
static final org.apache.jena.rdf.model.Resource	RDFS

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SHACLEntailment()

Method Summary

Modifier and Type	Method	Description
static SHACLEntailment	get()
SHACLEntailment.Engine	getEngine(String uri)
void	setEngine(String uri, SHACLEntailment.Engine engine)
org.apache.jena.query.Dataset	withEntailment(org.apache.jena.query.Dataset dataset, URI shapesGraphURI, ShapesGraph shapesGraph, org.apache.jena.rdf.model.Resource entailment, ProgressMonitor monitor)

Methods inherited from class java.lang.Object

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

Field Details

RDFS

public static final org.apache.jena.rdf.model.Resource RDFS

Constructor Details

SHACLEntailment

protected SHACLEntailment()

Method Details

get

public static SHACLEntailment get()

getEngine

public SHACLEntailment.Engine getEngine(String uri)

setEngine

public void setEngine(String uri,
 SHACLEntailment.Engine engine)

withEntailment

public org.apache.jena.query.Dataset withEntailment(org.apache.jena.query.Dataset dataset,
 URI shapesGraphURI,
 ShapesGraph shapesGraph,
 org.apache.jena.rdf.model.Resource entailment,
 ProgressMonitor monitor)
                                             throws InterruptedException

Throws:

InterruptedException