Hierarchy For Package org.coode.patterns.locality

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • org.coode.patterns.locality.SigmaPlusSigmaMinus (implements java.util.Collection<E>)
  • org.coode.patterns.locality.AxiomLocality
  • org.coode.patterns.locality.LocalityChecker
  • org.coode.patterns.locality.LocalityCheckerLeafBrusher (implements org.coode.oppl.bindingtree.BindingVisitor)
  • org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter (implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
    • org.coode.patterns.locality.BottomReplacer (implements org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
  • org.coode.patterns.locality.SemanticLocalityEvaluator (implements org.coode.patterns.locality.LocalityEvaluator)

Interface Hierarchy

• org.coode.patterns.locality.LocalityEvaluator