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