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