public Set < OWLClassExpression > getNestedClassExpressions ( ) { Set < OWLClassExpression > subConcepts = new HashSet < OWLClassExpression > ( ) ; for ( OWLAxiom ax : justification ) { subConcepts . addAll ( ax . getNestedClassExpressions ( ) ) ; } return subConcepts ; }
Gets the sub - concepts that appear in the axioms in this explanation