Uses of Class
org.semanticweb.HermiT.graph.Graph

Packages that use Graph
org.semanticweb.HermiT.graph   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of Graph in org.semanticweb.HermiT.graph
 

Methods in org.semanticweb.HermiT.graph that return Graph
 Graph<T> Graph.clone()
           
 Graph<T> Graph.getInverse()
           
 

Uses of Graph in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Graph
protected  Graph<AtomicConcept> QuasiOrderClassification.m_knownSubsumptions
           
protected  Graph<AtomicConcept> QuasiOrderClassification.m_possibleSubsumptions
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Graph
protected  void InstanceManager.addKnownConceptSubsumption(Graph<AtomicConcept> knownSubsumptions, AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void InstanceManager.addKnownRoleSubsumption(Graph<Role> knownSubsumptions, Role subRole, Role superRole)
           
protected  Hierarchy<AtomicConcept> InstanceManager.buildTransitivelyReducedConceptHierarchy(Graph<AtomicConcept> knownSubsumptions)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions, java.util.Set<AtomicConcept> elements)
           
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
           
protected  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, java.util.Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, java.util.Set<Role> roles)
           
protected  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, java.util.Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, java.util.Set<Role> roles)
           
 

Uses of Graph in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural that return Graph
protected  Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> ObjectPropertyInclusionManager.buildPropertyOrdering(java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, java.util.Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
           
 

Methods in org.semanticweb.HermiT.structural with parameters of type Graph
protected  rationals.Automaton ObjectPropertyInclusionManager.buildCompleteAutomataForProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyToBuildAutomatonFor, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata, Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> inversedPropertyDependencyGraph, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> ObjectPropertyInclusionManager.buildIndividualAutomata(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph, java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, java.util.Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  void ObjectPropertyInclusionManager.checkForRegularity(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
           
protected  void ObjectPropertyInclusionManager.connectAllAutomata(java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata, Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata, java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> ObjectPropertyInclusionManager.findSimpleProperties(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph, java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata)
           
 

Uses of Graph in org.semanticweb.HermiT.tableau
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Graph
protected  void ExistentialExpansionManager.loadDLClausesIntoGraph(java.util.Set<DLClause> dlClauses, Graph<Role> superRoleGraph, java.util.Set<Role> functionalRoles)