OWL 1.1 Web Ontology Language: Model-Theoretic Semantics