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