| Package | Description |
|---|---|
| org.topbraid.shacl.entailment | |
| org.topbraid.shacl.rules | |
| org.topbraid.shacl.validation | |
| org.topbraid.spin.constraints |
Support for constraint checking using spin:constraint.
|
| org.topbraid.spin.inference |
Support for inferencing using spin:rule and spin:constructor.
|
| org.topbraid.spin.progress |
Generic support for tracking and interrupting progress.
|
| org.topbraid.spin.util |
Various utilities that don't fit elsewhere.
|
| Modifier and Type | Method and Description |
|---|---|
org.apache.jena.rdf.model.Model |
SHACLEntailment.Engine.createModelWithEntailment(org.apache.jena.query.Dataset dataset,
URI shapesGraphURI,
ShapesGraph shapesGraph,
ProgressMonitor monitor) |
org.apache.jena.query.Dataset |
SHACLEntailment.withEntailment(org.apache.jena.query.Dataset dataset,
URI shapesGraphURI,
ShapesGraph shapesGraph,
org.apache.jena.rdf.model.Resource entailment,
ProgressMonitor monitor) |
| Modifier and Type | Method and Description |
|---|---|
ProgressMonitor |
RuleEngine.getProgressMonitor() |
| Modifier and Type | Method and Description |
|---|---|
org.apache.jena.rdf.model.Model |
RulesEntailment.createModelWithEntailment(org.apache.jena.query.Dataset dataset,
URI shapesGraphURI,
ShapesGraph shapesGraph,
ProgressMonitor monitor) |
static org.apache.jena.rdf.model.Model |
RuleUtil.executeRules(org.apache.jena.rdf.model.Model dataModel,
org.apache.jena.rdf.model.Model shapesModel,
org.apache.jena.rdf.model.Model inferencesModel,
ProgressMonitor monitor)
Executes all rules from a given shapes Model on a given data Model.
|
void |
RuleEngine.setProgressMonitor(ProgressMonitor value) |
| Modifier and Type | Method and Description |
|---|---|
ProgressMonitor |
ValidationEngine.getProgressMonitor() |
| Modifier and Type | Method and Description |
|---|---|
void |
ValidationEngine.setProgressMonitor(ProgressMonitor value) |
| Modifier and Type | Method and Description |
|---|---|
static void |
SPINConstraints.addConstraintViolations(List<ConstraintViolation> results,
SPINInstance instance,
org.apache.jena.rdf.model.Property spinPredicate,
boolean matchValue,
org.apache.jena.rdf.model.Property onProperty,
List<SPINStatistics> stats,
ProgressMonitor monitor) |
static void |
SPINConstraints.addQueryResults(List<ConstraintViolation> results,
QueryOrTemplateCall qot,
org.apache.jena.rdf.model.Resource resource,
boolean matchValue,
List<SPINStatistics> stats,
ProgressMonitor monitor) |
static void |
SPINConstraints.addTemplateCallResults(List<ConstraintViolation> results,
QueryOrTemplateCall qot,
org.apache.jena.rdf.model.Resource resource,
boolean matchValue,
ProgressMonitor monitor) |
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Model model,
ProgressMonitor monitor)
Checks all instances in a given Model against all spin:constraints and
returns a List of constraint violations.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Model model,
org.apache.jena.rdf.model.Property predicate,
List<SPINStatistics> stats,
Predicate<org.apache.jena.rdf.model.Resource> filter,
ProgressMonitor monitor)
Checks all instances in a given Model against all spin:constraints and
returns a List of constraint violations.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Model model,
org.apache.jena.rdf.model.Property predicate,
List<SPINStatistics> stats,
ProgressMonitor monitor) |
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Model model,
org.apache.jena.rdf.model.Property predicate,
ProgressMonitor monitor)
Checks all instances in a given Model against all spin:constraints and
returns a List of constraint violations.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Resource resource,
ProgressMonitor monitor)
Checks all spin:constraints for a given Resource.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Resource resource,
org.apache.jena.rdf.model.Property spinPredicate,
List<SPINStatistics> stats,
ProgressMonitor monitor)
Checks all spin:constraints for a given Resource.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Resource resource,
org.apache.jena.rdf.model.Property spinPredicate,
ProgressMonitor monitor)
Checks all spin:constraints for a given Resource.
|
static List<ConstraintViolation> |
SPINConstraints.check(org.apache.jena.rdf.model.Resource resource,
org.apache.jena.rdf.model.Property spinPredicate,
org.apache.jena.rdf.model.Property onProperty,
List<SPINStatistics> stats,
ProgressMonitor monitor) |
| Modifier and Type | Method and Description |
|---|---|
static void |
SPINConstructors.construct(org.apache.jena.rdf.model.Model queryModel,
List<org.apache.jena.rdf.model.Resource> instances,
org.apache.jena.rdf.model.Model targetModel,
ProgressMonitor monitor)
Runs the constructors on a List of Resources.
|
static void |
SPINConstructors.construct(org.apache.jena.rdf.model.Model queryModel,
List<org.apache.jena.rdf.model.Resource> instances,
org.apache.jena.rdf.model.Model targetModel,
Set<org.apache.jena.rdf.model.Resource> reached,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Constructor,
List<SPINStatistics> statistics,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs the constructors on a List of Resources.
|
static void |
SPINConstructors.construct(org.apache.jena.rdf.model.Model queryModel,
List<org.apache.jena.rdf.model.Resource> instances,
org.apache.jena.rdf.model.Model targetModel,
Set<org.apache.jena.rdf.model.Resource> reached,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Constructor,
ProgressMonitor monitor)
Runs the constructors on a List of Resources.
|
static void |
SPINConstructors.constructAll(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Model targetModel,
ProgressMonitor monitor)
Runs all constructors on all instances in a given model.
|
static void |
SPINConstructors.constructInstance(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Resource instance,
org.apache.jena.rdf.model.Model targetModel,
List<org.apache.jena.rdf.model.Resource> newResources,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Constructor,
List<SPINStatistics> statistics,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs constructors for a single instance.
|
static void |
SPINConstructors.constructInstance(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Resource instance,
org.apache.jena.rdf.model.Resource type,
org.apache.jena.rdf.model.Model targetModel,
List<org.apache.jena.rdf.model.Resource> newResources,
Set<org.apache.jena.rdf.model.Resource> reachedTypes,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Constructor,
List<SPINStatistics> statistics,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs all constructors defined for a given type on a given instance.
|
static int |
SPINInferences.run(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Model newTriples,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Query,
Map<org.apache.jena.rdf.model.Resource,List<CommandWrapper>> class2Constructor,
SPINExplanations explanations,
List<SPINStatistics> statistics,
boolean singlePass,
org.apache.jena.rdf.model.Property rulePredicate,
SPINRuleComparator comparator,
ProgressMonitor monitor)
Iterates over a provided collection of SPIN rules and adds all constructed
triples to a given Model (newTriples) until no further changes have been
made within one iteration.
|
static int |
SPINInferences.run(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Model newTriples,
SPINExplanations explanations,
List<SPINStatistics> statistics,
boolean singlePass,
ProgressMonitor monitor)
See the other run method for help - this is using spin:rule as rulePredicate.
|
static int |
SPINInferences.run(org.apache.jena.rdf.model.Model queryModel,
org.apache.jena.rdf.model.Property rulePredicate,
org.apache.jena.rdf.model.Model newTriples,
SPINExplanations explanations,
List<SPINStatistics> statistics,
boolean singlePass,
ProgressMonitor monitor)
Iterates over all SPIN rules in a (query) Model and adds all constructed
triples to a given Model (newTriples) until no further changes have been
made within one iteration.
|
| Modifier and Type | Class and Description |
|---|---|
class |
NullProgressMonitor
A ProgressMonitor that doesn't "do" anything.
|
class |
SimpleProgressMonitor
A simple implementation of ProgressMonitor that prints messages
to System.out.
|
| Modifier and Type | Method and Description |
|---|---|
void |
RunnableWithProgress.run(ProgressMonitor monitor)
Runs the runnable.
|
| Modifier and Type | Method and Description |
|---|---|
static Set<org.apache.jena.rdf.model.Resource> |
JenaUtil.getAllTransitiveSubjects(org.apache.jena.rdf.model.Resource object,
org.apache.jena.rdf.model.Property predicate,
ProgressMonitor monitor)
Returns a set of resources reachable from an object via one or more reversed steps with a given predicate.
|
Copyright © 2017 TopQuadrant, Inc.. All rights reserved.