com.complexible.stardog.repair

Class RepairPlanner

java.lang.Object

com.complexible.stardog.repair.RepairPlanner

Deprecated.

This functionality is deprecated as of 7.5.0

public class RepairPlanner
extends Object

Computes multiple plans to resolve one or more inconsistencies. A repair plan is a minimal sequence of update operations that will resolve all the inconsistencies when executed. Minimality ensures that removing any operation from a plan will cause one of the inconsistencies to remain.

Update operations may remove existing statements from the database or add new statements. Addition operations are typically parametrized and values should be provided before execution. Addition of new values might yield new inconsistencies, e.g. if the parameter value is not valid, in which case the planner can be rerun with new proofs.

This class can also be used to undo arbitrary inferences if the proofs given as input to the planner explain an inference.

Version:

2.3

Author:

Evren Sirin, Hector Perez-Urbina

Method Summary

Modifier and Type	Method and Description
static RepairPlanner	forProofs(Iterable<Proof> theProofs) Deprecated. Creates a new planner that will repair the given inconsistencies.
static RepairPlanner	forProofs(Proof... theProofs) Deprecated. Creates a new planner that will repair the given inconsistencies.
int	getLimit() Deprecated. Returns the limit for the number of plans computed by this planner.
List<RepairPlanMetric>	getMetrics() Deprecated. Returns the metrics used by this planner to sort plans.
Set<com.complexible.stardog.api.update.UpdateOperation>	getProhibited() Deprecated. Returns the prohibited operations for the plans returned by this planner.
Set<com.complexible.stardog.api.update.UpdateOperation>	getRequired() Deprecated. Returns the required operations for the plans returned by this planner.
RepairPlanner	limit(int theLimit) Deprecated. Sets the limit for the number of plans computed by this planner.
RepairPlanner	metrics(Iterable<RepairPlanMetric> theMetrics) Deprecated. Sets the metrics used by this planner to sort plans.
RepairPlanner	metrics(RepairPlanMetric... theMetrics) Deprecated. Sets the metrics used by this planner to sort plans.
List<RepairPlan>	plans() Deprecated. Computes and returns a list of unique repair plans sorted by their ascending cost values.
RepairPlanner	prohibit(Collection<com.complexible.stardog.api.update.UpdateOperation> theProhibitedActions) Deprecated. Sets the prohibited operations for the plans returned by this planner.
RepairPlanner	prohibit(com.complexible.stardog.api.update.UpdateOperation... theProhibitedActions) Deprecated. Sets the prohibited operations for the plans returned by this planner.
RepairPlanner	require(Collection<com.complexible.stardog.api.update.UpdateOperation> theRequiredActions) Deprecated. Sets the required operations for the plans returned by this planner.
RepairPlanner	require(com.complexible.stardog.api.update.UpdateOperation... theRequiredActions) Deprecated. Sets the required operations for the plans returned by this planner.

Methods inherited from class java.lang.Object

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

Method Detail

forProofs

public static RepairPlanner forProofs(Iterable<Proof> theProofs)

Deprecated.

Creates a new planner that will repair the given inconsistencies.

forProofs

public static RepairPlanner forProofs(Proof... theProofs)

Deprecated.

Creates a new planner that will repair the given inconsistencies.

limit

public RepairPlanner limit(int theLimit)

Deprecated.

Sets the limit for the number of plans computed by this planner.

Returns:

this planner

getLimit

public int getLimit()

Deprecated.

Returns the limit for the number of plans computed by this planner.

require

public RepairPlanner require(Collection<com.complexible.stardog.api.update.UpdateOperation> theRequiredActions)

Deprecated.

Sets the required operations for the plans returned by this planner. Every plan computed by this planner will include all of these operations. The given operations should be implied by the specified proofs. For example, a remove operation can be required only if there is a proof node stating the corresponding set of statements are asserted. If this condition is not met, the planner will return empty plans.

Returns:

this planner

require

public RepairPlanner require(com.complexible.stardog.api.update.UpdateOperation... theRequiredActions)

Deprecated.

Sets the required operations for the plans returned by this planner.

Returns:

this planner

getRequired

public Set<com.complexible.stardog.api.update.UpdateOperation> getRequired()

Deprecated.

Returns the required operations for the plans returned by this planner.

prohibit

public RepairPlanner prohibit(Collection<com.complexible.stardog.api.update.UpdateOperation> theProhibitedActions)

Deprecated.

Sets the prohibited operations for the plans returned by this planner. No plan computed by this planner may include any of these operations. If too many actions are prohibited, the planner might not be able to find ant plans.

Returns:

this planner

prohibit

public RepairPlanner prohibit(com.complexible.stardog.api.update.UpdateOperation... theProhibitedActions)

Deprecated.

Sets the prohibited operations for the plans returned by this planner.

Returns:

this planner

getProhibited

public Set<com.complexible.stardog.api.update.UpdateOperation> getProhibited()

Deprecated.

Returns the prohibited operations for the plans returned by this planner.

metrics

public RepairPlanner metrics(Iterable<RepairPlanMetric> theMetrics)

Deprecated.

Sets the metrics used by this planner to sort plans. The limit is applied on sorted plans so only the top K plans according to the given metrics will be returned. The order of the metrics is important as a lexicographic ordering is used.

Returns:

this planner

See Also:

RepairPlanMetrics.planComparator(List)

metrics

public RepairPlanner metrics(RepairPlanMetric... theMetrics)

Deprecated.

Sets the metrics used by this planner to sort plans.

Returns:

this planner

getMetrics

public List<RepairPlanMetric> getMetrics()

Deprecated.

Returns the metrics used by this planner to sort plans.

Returns:

this planner

plans

public List<RepairPlan> plans()

Deprecated.

Computes and returns a list of unique repair plans sorted by their ascending cost values.