What challenges does OWL Ontology Reasoning address?

GQ-0035