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
 Collection<OWLAxioms.ComplexObjectPropertyInclusion> OWLAxioms.m_complexObjectPropertyInclusions
           
 

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)
           
 



Copyright © 2012. All Rights Reserved.