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

Packages that use Concept
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
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
 void ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.addConcept(Concept concept, boolean isCore)
           
 void ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.addConcept(Concept concept, boolean isCore)
           
 void ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.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.ValidatedSingleBlockingObject.removeConcept(Concept concept, boolean isCore)
           
 void ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.removeConcept(Concept concept, boolean isCore)
           
 void ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.removeConcept(Concept concept, boolean isCore)
           
 

Uses of Concept in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Concept
 int Printing.ConceptComparator.compare(Concept c1, Concept c2)
           
protected  Printing.ConceptComparator.ConceptType Printing.ConceptComparator.getConceptType(Concept c)
           
 

Method parameters in org.semanticweb.HermiT.debugger with type arguments of type Concept
protected static void Printing.printConcepts(Debugger debugger, java.util.Set<? extends Concept> set, java.util.Collection<? extends Concept> markedElements, java.io.PrintWriter writer, int numberInRow)
           
protected static void Printing.printConcepts(Debugger debugger, java.util.Set<? extends Concept> set, java.util.Collection<? extends Concept> markedElements, java.io.PrintWriter writer, int numberInRow)
           
 

Uses of Concept in org.semanticweb.HermiT.debugger.commands
 

Fields in org.semanticweb.HermiT.debugger.commands declared as Concept
 Concept OriginStatsCommand.OriginInfo.m_concept
           
 

Constructors in org.semanticweb.HermiT.debugger.commands with parameters of type Concept
OriginStatsCommand.OriginInfo(Concept concept)
           
 

Uses of Concept in org.semanticweb.HermiT.existentials
 

Methods in org.semanticweb.HermiT.existentials with parameters of type Concept
 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
 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
           
 class 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
 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)