org.semanticweb.HermiT.blocking
Interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
- All Known Implementing Classes:
- ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject, ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject
- Enclosing class:
- ValidatedSingleDirectBlockingChecker
public static interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
initialize
void initialize()
destroy
void destroy()
getAtomicConceptsLabel
java.util.Set<AtomicConcept> getAtomicConceptsLabel()
addConcept
void addConcept(Concept concept,
boolean isCore)
removeConcept
void removeConcept(Concept concept,
boolean isCore)
getFullAtomicConceptsLabel
java.util.Set<AtomicConcept> getFullAtomicConceptsLabel()
getFullFromParentLabel
java.util.Set<AtomicRole> getFullFromParentLabel()
getFullToParentLabel
java.util.Set<AtomicRole> getFullToParentLabel()
setBlockViolatesParentConstraints
void setBlockViolatesParentConstraints(boolean violates)
setHasAlreadyBeenChecked
void setHasAlreadyBeenChecked(boolean hasBeenChecked)
hasAlreadyBeenChecked
boolean hasAlreadyBeenChecked()
blockViolatesParentConstraints
boolean blockViolatesParentConstraints()