OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax