de.fau.cs.www8.jadeowlcodec.aboxupdater
Class UpdateInstance

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.aboxupdater.UpdateInstance

public class UpdateInstance
extends java.lang.Object

Constructor Summary

UpdateInstance(java.util.Set<Uri.Individual> individualsToCopy, AssertionSet from, AssertionSet to)

Method Summary

protected void	addIndividualToRetainedInReduction(Uri.Individual ind, java.util.Set<Uri.Individual> influencedIndividuals, AbsTripleStore tsToReduce, java.util.Set<Triple> tmpTriplesToRetain)
java.util.Set<Solution>	getSolutionSet()

Methods inherited from class java.lang.Object

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

Constructor Detail

UpdateInstance

public UpdateInstance(java.util.Set<Uri.Individual> individualsToCopy,
                      AssertionSet from,
                      AssertionSet to)

Method Detail

getSolutionSet

public java.util.Set<Solution> getSolutionSet()

Returns:

sets of triples the triples that are removed

addIndividualToRetainedInReduction

protected void addIndividualToRetainedInReduction(Uri.Individual ind,
                                                  java.util.Set<Uri.Individual> influencedIndividuals,
                                                  AbsTripleStore tsToReduce,
                                                  java.util.Set<Triple> tmpTriplesToRetain)