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 and Description
static interface	SHACLEntailment.Engine

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SHACLEntailment()

Method Summary

Modifier and Type	Method and 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 Detail

RDFS

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

Constructor Detail

SHACLEntailment

protected SHACLEntailment()

Method Detail

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