Uses of Class
org.semanticweb.HermiT.structural.OWLAxioms.ComplexObjectPropertyInclusion

Packages that use OWLAxioms.ComplexObjectPropertyInclusion
org.semanticweb.HermiT.structural   
 

Uses of OWLAxioms.ComplexObjectPropertyInclusion in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural with type parameters of type OWLAxioms.ComplexObjectPropertyInclusion
 java.util.Collection<OWLAxioms.ComplexObjectPropertyInclusion> OWLAxioms.m_complexObjectPropertyInclusions
           
 

Method parameters in org.semanticweb.HermiT.structural with type arguments of type OWLAxioms.ComplexObjectPropertyInclusion
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  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)
           
protected  void ObjectPropertyInclusionManager.createAutomata(java.util.Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> automataByProperty, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexObjectPropertyExpressions, java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions, java.util.Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions)