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

Packages that use SPINExplanations

Package	Description
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

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