org.topbraid.spin.inference

Class SPINConstructors

java.lang.Object

org.topbraid.spin.inference.SPINConstructors

public class SPINConstructors
extends Object

Static methods to find and execute spin:constructors for a given set of Resources.

Author:

Holger Knublauch

Constructor Summary

Constructors

Constructor and Description
SPINConstructors()

Method Summary

Modifier and Type	Method and Description
static void	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	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	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	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	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	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 Set<org.apache.jena.rdf.model.Resource>	getClassesWithConstructor(org.apache.jena.rdf.model.Model model) Finds all classes that directly have a spin:constructor attached to it.
static boolean	hasConstructor(org.apache.jena.rdf.model.Resource cls) Checks whether a given class or a superclass thereof has a constructor.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SPINConstructors

public SPINConstructors()

Method Detail

construct

public static void 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.

Parameters:

queryModel - the model to query over

instances - the instances to run the constructors of

targetModel - the model that shall receive the new triples

monitor - an optional progress monitor

construct

public static void 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.

Parameters:

queryModel - the model to query over

instances - the instances to run the constructors of

targetModel - the model that shall receive the new triples

reached - the Set of already reached Resources

monitor - an optional progress monitor

construct

public static void 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.

Parameters:

queryModel - the model to query over

instances - the instances to run the constructors of

targetModel - the model that shall receive the new triples

reached - the Set of already reached Resources

explanations - an (optional) explanations object

monitor - an optional progress monitor

constructInstance

public static void 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.

Parameters:

queryModel - the model to query

instance - the instance to run the constructors of

targetModel - the model that will receive the new triples

newResources - will hold the newly constructed instances

monitor - an optional progress monitor

constructInstance

public static void 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.

Parameters:

queryModel - the model to query

instance - the instance to run the constructors of

type - the class to run the constructors of

targetModel - the model that will receive the new triples

newResources - will hold the newly constructed instances

reachedTypes - contains the already reached types

explanations - the explanations (optional)

monitor - an optional progress monitor

constructAll

public static void 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.

Parameters:

queryModel - the query model

targetModel - the model to write the new triples to

monitor - an optional progress monitor

getClassesWithConstructor

public static Set<org.apache.jena.rdf.model.Resource> getClassesWithConstructor(org.apache.jena.rdf.model.Model model)

Finds all classes that directly have a spin:constructor attached to it.

Parameters:

model - the Model to operate on

Returns:

a Set of classes

hasConstructor

public static boolean hasConstructor(org.apache.jena.rdf.model.Resource cls)

Checks whether a given class or a superclass thereof has a constructor.

Parameters:

cls - the class to check

Returns:

true if cls has a constructor