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