|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProgressMonitor | |
---|---|
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.util | Various utilities that don't fit elsewhere. |
Uses of ProgressMonitor in org.topbraid.spin.constraints |
---|
Methods in org.topbraid.spin.constraints with parameters of type ProgressMonitor | |
---|---|
static java.util.List<ConstraintViolation> |
SPINConstraints.check(Model model,
ProgressMonitor monitor)
Checks all instances in a given Model against all spin:constraints and returns a List of constraint violations. |
static java.util.List<ConstraintViolation> |
SPINConstraints.check(Resource resource,
ProgressMonitor monitor)
Checks all spin:constraints for a given Resource. |
Uses of ProgressMonitor in org.topbraid.spin.inference |
---|
Methods in org.topbraid.spin.inference with parameters of type ProgressMonitor | |
---|---|
static void |
SPINConstructors.construct(Model queryModel,
java.util.List<Resource> instances,
Model targetModel,
ProgressMonitor monitor)
Runs the constructors on a List of Resources. |
static void |
SPINConstructors.construct(Model queryModel,
java.util.List<Resource> instances,
Model targetModel,
java.util.Set<Resource> reached,
ProgressMonitor monitor)
Runs the constructors on a List of Resources. |
static void |
SPINConstructors.construct(Model queryModel,
java.util.List<Resource> instances,
Model targetModel,
java.util.Set<Resource> reached,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs the constructors on a List of Resources. |
static void |
SPINConstructors.constructAll(Model queryModel,
Model targetModel,
ProgressMonitor monitor)
Runs all constructors on all instances in a given model. |
static void |
SPINConstructors.constructInstance(Model queryModel,
Resource instance,
Model targetModel,
java.util.List<Resource> newResources,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs constructors for a single instance. |
static void |
SPINConstructors.constructInstance(Model queryModel,
Resource instance,
Resource type,
Model targetModel,
java.util.List<Resource> newResources,
java.util.Set<Resource> reachedTypes,
ProgressMonitor monitor)
Runs all constructors defined for a given type on a given instance. |
static void |
SPINConstructors.constructInstance(Model queryModel,
Resource instance,
Resource type,
Model targetModel,
java.util.List<Resource> newResources,
java.util.Set<Resource> reachedTypes,
SPINExplanations explanations,
ProgressMonitor monitor)
Runs all constructors defined for a given type on a given instance. |
static int |
SPINInferences.run(Model queryModel,
Model newTriples,
java.util.Map<Resource,java.util.List<QueryWrapper>> class2Query,
java.util.Map<QueryWrapper,java.util.Map<java.lang.String,RDFNode>> templateBindings,
SPINExplanations explanations,
java.util.List<SPINStatistics> statistics,
boolean singlePass,
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(Model queryModel,
Model newTriples,
SPINExplanations explanations,
java.util.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(Model queryModel,
Property rulePredicate,
Model newTriples,
SPINExplanations explanations,
java.util.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.util |
---|
Classes in org.topbraid.spin.util that implement ProgressMonitor | |
---|---|
class |
SimpleProgressMonitor
A simple implementation of ProgressMonitor that prints messages to System.out. |
Methods in org.topbraid.spin.util with parameters of type ProgressMonitor | |
---|---|
void |
RunnableWithProgress.run(ProgressMonitor monitor)
Runs the runnable. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |