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

Packages that use AtomicRole
org.semanticweb.HermiT   
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

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)
           
 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)
           
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.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 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)
           
 

Uses of AtomicRole in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type AtomicRole
protected  java.util.HashSet<AtomicRole> InstanceManager.m_complexRoles
           
 

Methods in org.semanticweb.HermiT.hierarchy that return AtomicRole
protected  AtomicRole HierarchyPrinterFSS.RoleComparator.getInnerAtomicRole(Role role)
           
protected  AtomicRole HierarchyDumperFSS.ObjectRoleComparator.getInnerAtomicRole(Role role)
           
 

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)
           
 int[] InstanceManager.getNumberOfInstances(AtomicRole role)
           
 int[] InstanceManager.getNumberOfPredecessors(AtomicRole role, Individual individual)
           
 int[] InstanceManager.getNumberOfPropertyInstances(AtomicRole role)
           
 int[] InstanceManager.getNumberOfSuccessors(AtomicRole role, Individual individual)
           
 java.util.Map<Individual,java.util.Set<Individual>> InstanceManager.getObjectPropertyInstances(AtomicRole role)
           
 boolean InstanceManager.hasObjectRoleRelationship(AtomicRole role, Individual individual1, Individual individual2)
           
 boolean[] InstanceManager.hasSuccessor(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
 void HierarchyPrinterFSS.loadAtomicRolePrefixIRIs(java.util.Collection<AtomicRole> atomicRoles)
           
 void HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy)
           
 

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)
           
protected  int DLOntology.getUsedRoleTypes(DLClause dlClause, java.util.Set<AtomicRole> graphAtomicRoles)
          Takes the set of roles that are for use in Description Graphs and detects whether clause contains no roles, only roles from the given set, only roles not from the given set or both types of roles.
protected  boolean DLOntology.isTreeDLClause(DLClause dlClause, java.util.Set<AtomicRole> graphAtomicRoles, java.util.Set<AtomicConcept> bodyOnlyAtomicConcepts)
          Tests whether the clause conforms to the properties of HT clauses, i.e., the variables can be split into a center variable x, a set of branch variables y_i, and a set of nominal variables z_j such that certain conditions hold.
 

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