de.fau.cs.www8.jadeowlcodec
Interface ASetUpdater

All Known Implementing Classes:

AbstractASetUpdater, AbsUpdater, CheckedCumulatingASetUpdater, SafeContractAllUpdater, UncheckedOverwritingASetUpdater

public interface ASetUpdater

ASetUpdaters contain functionality to transfer individual data from one AssertionSet into another, implementing different algorithms from simple "overwrite everything" to advanced belief revision (not included in base OWLCodec)

Author:

Ulf Schreiber

Method Summary

boolean	copyEveryIndividual(AssertionSet from, AssertionSet to) a shortcut to copyIndividuals with all individuals from "from" selected as "individualsToCopy"
boolean	copyIndividuals(java.util.Set<Uri.Individual> individualsToCopy, AssertionSet from, AssertionSet to)

Method Detail

copyIndividuals

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

Parameters:

individualsToCopy -

from - AssertionSet to copy data from

to - AssertionSet to copy into, must not remove existing GenericIndividuals

Returns:

false if the update failed

copyEveryIndividual

boolean copyEveryIndividual(AssertionSet from,
                            AssertionSet to)

a shortcut to copyIndividuals with all individuals from "from" selected as "individualsToCopy"

Parameters:

from - AssertionSet to copy data from

to - AssertionSet to copy into, must not remove existing GenericIndividuals

Returns:

false if the update failed