OWL 2 Web Ontology Language Direct Semantics