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, Set<AtomicConcept> elements)
           
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
           
protected  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, Set<Role> roles)
           
protected  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, 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(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,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, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata, Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> inversedPropertyDependencyGraph, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> ObjectPropertyInclusionManager.buildIndividualAutomata(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph, Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  void ObjectPropertyInclusionManager.checkForRegularity(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
           
protected  void ObjectPropertyInclusionManager.connectAllAutomata(Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata, Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap, Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata, Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
           
protected  Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> ObjectPropertyInclusionManager.findSimpleProperties(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph, 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(Set<DLClause> dlClauses, Graph<Role> superRoleGraph, Set<Role> functionalRoles)
           
 



Copyright © 2012. All Rights Reserved.