|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |