traversing and visualizing OWL-DL docs