Uses of Class
org.semanticweb.HermiT.model.Concept

Packages that use Concept

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of Concept in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking with parameters of type Concept

Modifier and Type	Method and Description
void	ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.addConcept(Concept concept, boolean isCore)
Node	ValidatedSingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
Node	ValidatedPairwiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
Node	SingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
Node	PairWiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
Node	DirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
void	BlockingStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
void	AnywhereValidatedBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
void	AnywhereBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
void	AncestorBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
void	BlockingStrategy.assertionCoreSet(Concept concept, Node node)
void	AnywhereValidatedBlocking.assertionCoreSet(Concept concept, Node node)
void	AnywhereBlocking.assertionCoreSet(Concept concept, Node node)
void	AncestorBlocking.assertionCoreSet(Concept concept, Node node)
Node	ValidatedSingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
Node	ValidatedPairwiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
Node	SingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
Node	PairWiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
Node	DirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
void	BlockingStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)
void	AnywhereValidatedBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
void	AnywhereBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
void	AncestorBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
boolean	BlockingStrategy.isPermanentAssertion(Concept concept, Node node)
boolean	AnywhereValidatedBlocking.isPermanentAssertion(Concept concept, Node node)
boolean	AnywhereBlocking.isPermanentAssertion(Concept concept, Node node)
boolean	AncestorBlocking.isPermanentAssertion(Concept concept, Node node)
void	ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.removeConcept(Concept concept, boolean isCore)

Uses of Concept in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type Concept

Modifier and Type	Method and Description
int	Printing.ConceptComparator.compare(Concept c1, Concept c2)

Uses of Concept in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type Concept

Modifier and Type	Method and Description
void	ExistentialExpansionStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
void	AbstractExpansionStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
void	ExistentialExpansionStrategy.assertionCoreSet(Concept concept, Node node)
void	AbstractExpansionStrategy.assertionCoreSet(Concept concept, Node node)
void	ExistentialExpansionStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)
void	AbstractExpansionStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)

Uses of Concept in org.semanticweb.HermiT.model

Subclasses of Concept in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
class	AtLeast Represents at-least concepts, either for data ranges or concepts.
class	AtLeastConcept Represents at-least concept.
class	AtLeastDataRange Represents at-least concept.
class	AtomicConcept Represents an atomic concept.
class	AtomicNegationConcept Represents a negation of an atomic concept.
class	ExistentialConcept ExistentialConcept.
class	ExistsDescriptionGraph ExistsDescriptionGraph.
class	LiteralConcept Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.

Uses of Concept in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type Concept

Modifier and Type	Method and Description
boolean	ExtensionManager.addConceptAssertion(Concept concept, Node node, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.containsConceptAssertion(Concept concept, Node node)
DependencySet	ExtensionManager.getConceptAssertionDependencySet(Concept concept, Node node)