|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AtomicRole in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT with type parameters of type AtomicRole | |
---|---|
protected Hierarchy<AtomicRole> |
Reasoner.m_dataRoleHierarchy
|
protected java.util.Map<AtomicRole,java.util.Set<HierarchyNode<AtomicConcept>>> |
Reasoner.m_directDataRoleDomains
|
Methods in org.semanticweb.HermiT that return AtomicRole | |
---|---|
protected static AtomicRole |
Reasoner.H(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
|
protected static AtomicRole |
Reasoner.H(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
|
Methods in org.semanticweb.HermiT that return types with arguments of type AtomicRole | |
---|---|
protected HierarchyNode<AtomicRole> |
Reasoner.getHierarchyNode(org.semanticweb.owlapi.model.OWLDataProperty property)
|
Method parameters in org.semanticweb.HermiT with type arguments of type AtomicRole | |
---|---|
protected org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
Reasoner.dataPropertyHierarchyNodesToNodeSet(java.util.Collection<HierarchyNode<AtomicRole>> hierarchyNodes)
|
protected org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
Reasoner.dataPropertyHierarchyNodeToNode(HierarchyNode<AtomicRole> hierarchyNode)
|
Uses of AtomicRole in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as AtomicRole | |
---|---|
protected AtomicRole |
BlockingValidator.X2YOrY2XConsequenceAtom.m_atomicRole
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_x2xRoles
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_x2yRoles
|
protected AtomicRole[] |
BlockingValidator.YConstraint.m_x2yRoles
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_y2xRoles
|
protected AtomicRole[] |
BlockingValidator.YConstraint.m_y2xRoles
|
Fields in org.semanticweb.HermiT.blocking with type parameters of type AtomicRole | |
---|---|
protected java.util.List<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesBuffer
|
protected java.util.List<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected java.util.List<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected SetFactory<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullFromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullFromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullToParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullToParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_toParentLabel
|
Methods in org.semanticweb.HermiT.blocking that return types with arguments of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom,
Node nodeTo)
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.getFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.getToParentLabel()
|
Methods in org.semanticweb.HermiT.blocking with parameters of type AtomicRole | |
---|---|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.addToFromParentLabel(AtomicRole atomicRole)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.addToToParentLabel(AtomicRole atomicRole)
|
void |
BlockingStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.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)
|
void |
AnywhereValidatedBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
BlockingStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.removeFromFromParentLabel(AtomicRole atomicRole)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.removeFromToParentLabel(AtomicRole atomicRole)
|
Constructors in org.semanticweb.HermiT.blocking with parameters of type AtomicRole | |
---|---|
BlockingValidator.X2YOrY2XConsequenceAtom(AtomicRole atomicRole,
int yArgumentIndex,
boolean isX2Y)
|
|
BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
AtomicRole[] x2yRoles,
AtomicRole[] y2xRoles)
|
|
BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
AtomicRole[] x2yRoles,
AtomicRole[] y2xRoles)
|
Uses of AtomicRole in org.semanticweb.HermiT.datalog |
---|
Methods in org.semanticweb.HermiT.datalog with parameters of type AtomicRole | |
---|---|
void |
DatalogEngine.NullExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
DatalogEngine.NullExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
DatalogEngine.NullExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Uses of AtomicRole in org.semanticweb.HermiT.debugger |
---|
Method parameters in org.semanticweb.HermiT.debugger with type arguments of type AtomicRole | |
---|---|
protected static void |
Printing.printEdgeMap(Debugger debugger,
java.util.Map<Node,java.util.Set<AtomicRole>> map,
java.io.PrintWriter writer)
|
Uses of AtomicRole in org.semanticweb.HermiT.existentials |
---|
Methods in org.semanticweb.HermiT.existentials with parameters of type AtomicRole | |
---|---|
void |
AbstractExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
ExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AbstractExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Uses of AtomicRole in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy declared as AtomicRole | |
---|---|
protected AtomicRole |
RoleElementManager.RoleElement.m_role
|
Fields in org.semanticweb.HermiT.hierarchy with type parameters of type AtomicRole | |
---|---|
protected java.util.HashSet<AtomicRole> |
InstanceManager.m_complexRoles
|
protected java.util.Map<AtomicRole,RoleElementManager.RoleElement> |
RoleElementManager.m_roleToElement
|
Methods in org.semanticweb.HermiT.hierarchy that return AtomicRole | |
---|---|
protected AtomicRole |
HierarchyPrinterFSS.RoleComparator.getInnerAtomicRole(Role role)
|
protected AtomicRole |
HierarchyDumperFSS.ObjectRoleComparator.getInnerAtomicRole(Role role)
|
AtomicRole |
RoleElementManager.RoleElement.getRole()
|
Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type AtomicRole | |
---|---|
protected Hierarchy<AtomicRole> |
InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
|
Methods in org.semanticweb.HermiT.hierarchy with parameters of type AtomicRole | |
---|---|
int |
HierarchyDumperFSS.DataRoleComparator.compare(AtomicRole atomicRole1,
AtomicRole atomicRole2)
|
protected int |
HierarchyDumperFSS.DataRoleComparator.getAtomicRoleClass(AtomicRole atomicRole)
|
java.util.Map<Individual,java.util.Set<Individual>> |
InstanceManager.getObjectPropertyInstances(AtomicRole role)
|
java.util.Set<Individual> |
InstanceManager.getObjectPropertySubjects(AtomicRole role,
Individual individual)
|
java.util.Set<Individual> |
InstanceManager.getObjectPropertyValues(AtomicRole role,
Individual individual)
|
RoleElementManager.RoleElement |
RoleElementManager.getRoleElement(AtomicRole role)
|
boolean |
InstanceManager.hasObjectRoleRelationship(AtomicRole role,
Individual individual1,
Individual individual2)
|
protected void |
HierarchyPrinterFSS.RolePrinter.print(AtomicRole atomicRole)
|
protected void |
HierarchyDumperFSS.print(AtomicRole atomicRole)
|
Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicRole | |
---|---|
protected void |
InstanceManager.findNextHierarchyNodeWithAtomic(java.util.Set<AtomicRole> atomicRepresentatives,
HierarchyNode<Role> current)
|
void |
HierarchyPrinterFSS.loadAtomicRolePrefixIRIs(java.util.Collection<AtomicRole> atomicRoles)
|
void |
HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy)
|
Constructors in org.semanticweb.HermiT.hierarchy with parameters of type AtomicRole | |
---|---|
RoleElementManager.RoleElement(AtomicRole role)
|
Uses of AtomicRole in org.semanticweb.HermiT.model |
---|
Fields in org.semanticweb.HermiT.model declared as AtomicRole | |
---|---|
static AtomicRole |
AtomicRole.BOTTOM_DATA_ROLE
|
static AtomicRole |
AtomicRole.BOTTOM_OBJECT_ROLE
|
protected AtomicRole |
DescriptionGraph.Edge.m_atomicRole
|
protected AtomicRole |
InverseRole.m_inverseOf
|
protected AtomicRole |
NegatedAtomicRole.m_negatedAtomicRole
|
static AtomicRole |
AtomicRole.TOP_DATA_ROLE
|
static AtomicRole |
AtomicRole.TOP_OBJECT_ROLE
|
Fields in org.semanticweb.HermiT.model with type parameters of type AtomicRole | |
---|---|
static java.util.Comparator<AtomicRole> |
DLOntology.AtomicRoleComparator.INSTANCE
|
protected java.util.Set<AtomicRole> |
DLOntology.m_allAtomicDataRoles
|
protected java.util.Set<AtomicRole> |
DLOntology.m_allAtomicObjectRoles
|
protected java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> |
DLOntology.m_dataPropertyAssertions
|
protected static InterningManager<AtomicRole> |
AtomicRole.s_interningManager
|
Methods in org.semanticweb.HermiT.model that return AtomicRole | |
---|---|
static AtomicRole |
AtomicRole.create(java.lang.String iri)
|
AtomicRole |
DescriptionGraph.Edge.getAtomicRole()
|
AtomicRole |
InverseRole.getInverseOf()
|
AtomicRole |
NegatedAtomicRole.getNegatedAtomicRole()
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
DLOntology.computeGraphAtomicRoles()
|
java.util.Set<AtomicRole> |
DLOntology.getAllAtomicDataRoles()
|
java.util.Set<AtomicRole> |
DLOntology.getAllAtomicObjectRoles()
|
java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> |
DLOntology.getDataPropertyAssertions()
|
Methods in org.semanticweb.HermiT.model with parameters of type AtomicRole | |
---|---|
int |
DLOntology.AtomicRoleComparator.compare(AtomicRole o1,
AtomicRole o2)
|
boolean |
DLOntology.containsDataRole(AtomicRole role)
|
boolean |
DLOntology.containsObjectRole(AtomicRole role)
|
static NegatedAtomicRole |
NegatedAtomicRole.create(AtomicRole negatedAtomicRole)
|
static InverseRole |
InverseRole.create(AtomicRole inverseOf)
|
Method parameters in org.semanticweb.HermiT.model with type arguments of type AtomicRole | |
---|---|
protected boolean |
DLOntology.addAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
protected boolean |
DLOntology.containsAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
Constructors in org.semanticweb.HermiT.model with parameters of type AtomicRole | |
---|---|
DescriptionGraph.Edge(AtomicRole atomicRole,
int fromVertex,
int toVertex)
|
|
InverseRole(AtomicRole inverseOf)
|
|
NegatedAtomicRole(AtomicRole negatedAtomicRole)
|
Constructor parameters in org.semanticweb.HermiT.model with type arguments of type AtomicRole | |
---|---|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
Uses of AtomicRole in org.semanticweb.HermiT.structural |
---|
Fields in org.semanticweb.HermiT.structural with type parameters of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
ReducedABoxOnlyClausification.m_allAtomicDataRoles
|
protected java.util.Set<AtomicRole> |
ReducedABoxOnlyClausification.m_allAtomicObjectRoles
|
Methods in org.semanticweb.HermiT.structural that return AtomicRole | |
---|---|
protected static AtomicRole |
OWLClausification.getAtomicRole(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)
|
Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type AtomicRole | |
---|---|
ReducedABoxOnlyClausification(Configuration configuration,
org.semanticweb.owlapi.model.OWLDataFactory factory,
java.util.Set<AtomicConcept> allAtomicConcepts,
java.util.Set<AtomicRole> allAtomicObjectRoles,
java.util.Set<AtomicRole> allAtomicDataRoles)
|
|
ReducedABoxOnlyClausification(Configuration configuration,
org.semanticweb.owlapi.model.OWLDataFactory factory,
java.util.Set<AtomicConcept> allAtomicConcepts,
java.util.Set<AtomicRole> allAtomicObjectRoles,
java.util.Set<AtomicRole> allAtomicDataRoles)
|
Uses of AtomicRole in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau with type parameters of type AtomicRole | |
---|---|
protected java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept1
|
protected java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept2
|
protected java.util.Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> |
HyperresolutionManager.m_atomicRoleTupleConsumersUnguarded
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |