Manchester OWL Syntax
From Protege Wiki
Revision as of 09:16, March 26, 2008 by JenniferVendetti (talk | contribs) (developed initial page content)
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 the overview page at the CO-ODE Web site:
http://www.co-ode.org/resources/reference/manchester_syntax/
There is also a newer, more formal paper about the syntax, which includes information about revisions to support OWL 1.1:
http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_11.pdf
