org.semanticweb.HermiT.blocking

Interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

All Known Implementing Classes:

ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

Enclosing class:

ValidatedSingleDirectBlockingChecker

public static interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

Validated blocking object.

Method Summary

Modifier and Type	Method and Description
void	addConcept(Concept concept, boolean isCore)
boolean	blockViolatesParentConstraints()
void	destroy() Destroy.
Set<AtomicConcept>	getAtomicConceptsLabel()
Set<AtomicConcept>	getFullAtomicConceptsLabel()
Set<AtomicRole>	getFullFromParentLabel()
Set<AtomicRole>	getFullToParentLabel()
boolean	hasAlreadyBeenChecked()
void	initialize() Initialize.
void	removeConcept(Concept concept, boolean isCore)
void	setBlockViolatesParentConstraints(boolean violates)
void	setHasAlreadyBeenChecked(boolean hasBeenChecked)

Method Detail

initialize

void initialize()

Initialize.

destroy

void destroy()

Destroy.

getAtomicConceptsLabel

Set<AtomicConcept> getAtomicConceptsLabel()

Returns:

atomic concepts label

addConcept

void addConcept(Concept concept,
                boolean isCore)

Parameters:

concept - concept

isCore - isCore

removeConcept

void removeConcept(Concept concept,
                   boolean isCore)

Parameters:

concept - concept

isCore - isCore

getFullAtomicConceptsLabel

Set<AtomicConcept> getFullAtomicConceptsLabel()

Returns:

full atomic concepts label

getFullFromParentLabel

Set<AtomicRole> getFullFromParentLabel()

Returns:

full from parent label

getFullToParentLabel

Set<AtomicRole> getFullToParentLabel()

Returns:

full to parent label

setBlockViolatesParentConstraints

void setBlockViolatesParentConstraints(boolean violates)

Parameters:

violates - violates

setHasAlreadyBeenChecked

void setHasAlreadyBeenChecked(boolean hasBeenChecked)

Parameters:

hasBeenChecked - hasBeenChecked

hasAlreadyBeenChecked

boolean hasAlreadyBeenChecked()

Returns:

true if already checked

blockViolatesParentConstraints

boolean blockViolatesParentConstraints()

Returns:

true if block violates parent constraints