| Package | Description |
|---|---|
| org.semanticweb.HermiT.blocking | |
| org.semanticweb.HermiT.existentials | |
| org.semanticweb.HermiT.hierarchy | |
| org.semanticweb.HermiT.model | |
| org.semanticweb.HermiT.structural |
| Modifier and Type | Method and Description |
|---|---|
Set<AtomicRole> |
PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom,
Node nodeTo) |
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullFromParentLabel() |
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullToParentLabel() |
| Modifier and Type | Method and Description |
|---|---|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
DirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
BlockingStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AnywhereValidatedBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AnywhereBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AncestorBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
BlockingStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
void |
AnywhereValidatedBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
void |
AnywhereBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
void |
AncestorBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
Node |
DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
BlockingStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AnywhereValidatedBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AnywhereBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AncestorBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
| Modifier and Type | Method and Description |
|---|---|
void |
ExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AbstractExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
ExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
void |
AbstractExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo) |
void |
ExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
void |
AbstractExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore) |
| Modifier and Type | Method and Description |
|---|---|
Map<Individual,Set<Individual>> |
InstanceManager.getObjectPropertyInstances(AtomicRole role) |
Set<Individual> |
InstanceManager.getObjectPropertySubjects(AtomicRole role,
Individual individual) |
Set<Individual> |
InstanceManager.getObjectPropertyValues(AtomicRole role,
Individual individual) |
boolean |
InstanceManager.hasObjectRoleRelationship(AtomicRole role,
Individual individual1,
Individual individual2) |
| Modifier and Type | Method and Description |
|---|---|
void |
HierarchyPrinterFSS.loadAtomicRolePrefixIRIs(Collection<AtomicRole> atomicRoles) |
void |
HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy) |
| Modifier and Type | Field and Description |
|---|---|
static AtomicRole |
AtomicRole.BOTTOM_DATA_ROLE
Bottom data role.
|
static AtomicRole |
AtomicRole.BOTTOM_OBJECT_ROLE
Bottom object role.
|
static AtomicRole |
AtomicRole.TOP_DATA_ROLE
Top data role.
|
static AtomicRole |
AtomicRole.TOP_OBJECT_ROLE
Top oject role.
|
| Modifier and Type | Method and Description |
|---|---|
static AtomicRole |
AtomicRole.create(String iri) |
AtomicRole |
DescriptionGraph.Edge.getAtomicRole() |
AtomicRole |
InverseRole.getInverseOf() |
AtomicRole |
NegatedAtomicRole.getNegatedAtomicRole() |
| Modifier and Type | Method and Description |
|---|---|
Set<AtomicRole> |
DLOntology.getAllAtomicDataRoles() |
Set<AtomicRole> |
DLOntology.getAllAtomicObjectRoles() |
Map<AtomicRole,Map<Individual,Set<Constant>>> |
DLOntology.getDataPropertyAssertions() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
DLOntology.containsDataRole(AtomicRole role) |
boolean |
DLOntology.containsObjectRole(AtomicRole role) |
static NegatedAtomicRole |
NegatedAtomicRole.create(AtomicRole negatedAtomicRole) |
static InverseRole |
InverseRole.create(AtomicRole inverseOf) |
| Constructor and Description |
|---|
Edge(AtomicRole atomicRole,
int fromVertex,
int toVertex) |
InverseRole(AtomicRole inverseOf) |
NegatedAtomicRole(AtomicRole negatedAtomicRole) |
| Constructor and Description |
|---|
DLOntology(String ontologyIRI,
Set<DLClause> dlClauses,
Set<Atom> positiveFacts,
Set<Atom> negativeFacts,
Set<AtomicConcept> atomicConcepts,
Set<AtomicRole> atomicObjectRoles,
Set<Role> allComplexObjectRoles,
Set<AtomicRole> atomicDataRoles,
Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
Set<String> definedDatatypeIRIs,
Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes) |
DLOntology(String ontologyIRI,
Set<DLClause> dlClauses,
Set<Atom> positiveFacts,
Set<Atom> negativeFacts,
Set<AtomicConcept> atomicConcepts,
Set<AtomicRole> atomicObjectRoles,
Set<Role> allComplexObjectRoles,
Set<AtomicRole> atomicDataRoles,
Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
Set<String> definedDatatypeIRIs,
Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes) |
| Constructor and Description |
|---|
ReducedABoxOnlyClausification(Configuration configuration,
Set<AtomicConcept> allAtomicConcepts,
Set<AtomicRole> allAtomicObjectRoles,
Set<AtomicRole> allAtomicDataRoles) |
ReducedABoxOnlyClausification(Configuration configuration,
Set<AtomicConcept> allAtomicConcepts,
Set<AtomicRole> allAtomicObjectRoles,
Set<AtomicRole> allAtomicDataRoles) |
Copyright © 2017. All Rights Reserved.