Manchester OWL Syntax

From Protege Wiki

Jump to: navigation, search

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:

https://www.w3.org/TR/owl2-manchester-syntax/

Personal tools