Uses of Class
org.topbraid.spin.inference.SPINExplanations

Packages that use SPINExplanations

org.topbraid.spin.inference

Support for inferencing using spin:rule and spin:constructor.

Uses of SPINExplanations in org.topbraid.spin.inference

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

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.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, 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, 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.