Uses of Interface
org.topbraid.spin.progress.ProgressMonitor

Packages that use ProgressMonitor

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.

Uses of ProgressMonitor in org.topbraid.shacl.entailment

Methods in org.topbraid.shacl.entailment with parameters of type ProgressMonitor

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)

Uses of ProgressMonitor in org.topbraid.shacl.rules

Methods in org.topbraid.shacl.rules that return ProgressMonitor

Modifier and Type	Method and Description
ProgressMonitor	RuleEngine.getProgressMonitor()

Methods in org.topbraid.shacl.rules with parameters of type ProgressMonitor

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)

Uses of ProgressMonitor in org.topbraid.shacl.validation

Methods in org.topbraid.shacl.validation that return ProgressMonitor

Modifier and Type	Method and Description
ProgressMonitor	ValidationEngine.getProgressMonitor()

Methods in org.topbraid.shacl.validation with parameters of type ProgressMonitor

Modifier and Type	Method and Description
void	ValidationEngine.setProgressMonitor(ProgressMonitor value)

Uses of ProgressMonitor in org.topbraid.spin.constraints

Methods in org.topbraid.spin.constraints with parameters of type ProgressMonitor

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)

Uses of ProgressMonitor in org.topbraid.spin.inference

Methods in org.topbraid.spin.inference with parameters of type ProgressMonitor

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.

Uses of ProgressMonitor in org.topbraid.spin.progress

Classes in org.topbraid.spin.progress that implement ProgressMonitor

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.

Methods in org.topbraid.spin.progress with parameters of type ProgressMonitor

Modifier and Type	Method and Description
void	RunnableWithProgress.run(ProgressMonitor monitor) Runs the runnable.

Uses of ProgressMonitor in org.topbraid.spin.util

Methods in org.topbraid.spin.util with parameters of type ProgressMonitor

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.