Manchester OWL Syntax

From Protege Wiki
Revision as of 21:10, May 23, 2016 by TaniaTudorache (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/