Difference between revisions of "Manchester OWL Syntax"

From Protege Wiki
Jump to: navigation, search
(developed initial page content)
 
 
Line 1: Line 1:
 
== Manchester OWL Syntax ==
 
== Manchester OWL Syntax ==
  
The Manchester OWL Syntax, developed by the [http://www.co-ode.org/about/ 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 (∃).
+
The [https://www.w3.org/TR/owl2-manchester-syntax/ 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:
+
To learn more about the syntax, please refer to:
  
http://www.co-ode.org/resources/reference/manchester_syntax/
+
https://www.w3.org/TR/owl2-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
 

Latest revision as of 21:10, May 23, 2016

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/