b.owlapi.model.OWLObjectPropertyExpression],List[org.semanticweb.owlapi.model.OWLAnnotation])" title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">val</span>
      </span>
      <span class="symbol">
        <span class="name">details</span><span class="result">: (<span class="extype" name="scala.List">List</span>[<span class="extype" name="org.semanticweb.owlapi.model.OWLObje