OWL 1.1 Web Ontology Language: Structural Specification and Functional-Style Syntax

OWL 1.1 extends the W3C OWL Web Ontology Language with a small but useful set of features that have been requested by users, for which effective reasoning algorithms are now available, and that OWL tool developers are willing to support. The new features include extra syntactic sugar, additional property and qualified cardinality constructors, extended datatype support, simple metamodeling, and extended annotations. This document defines a functional-style syntax for OWL 1.1, and provides an informal discussion of the meaning of the additional constructs. As well, an informational structural specification of OWL 1.1 ontologies is provided.