OWL Web Ontology Language 1.0 Abstract Syntax