Manchester OWL Syntax

The Manchester OWL Syntax, developed by the CO-ODE project at The University of Manchester, is a new syntax designed for writing OWL class expressions. It was influenced by both the OWL Abstract Syntax and the DL-style syntax, which uses description logic symbols such as the universal quantifier (∀) or the existential quantifier (∃).

To learn more about the syntax, please refer to: