Helper methods for reasoner queries and OWL structure traversal.