Browsable UOL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: ontoware/uol/extracted
Source used for this grammar: Hugo Brunelière, UnifiedOntologyLanguage.ecore, 2005/08/10

Summary

• Total 12 production rules with 14 top alternatives and 51 symbols.
• Vocabulary: 16 = 9 nonterminals + 2 terminals + 5 labels + 0 markers.
• Total 9 nonterminal symbols: 9 defined (Integer, String, Boolean, Node, Resource, Literal, Fact, Package, Ontology), 0 root (—), 4 top (Integer, String, Boolean, Fact), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 5 labels: [context] ², [object], [subject], [predicate], [imports].

Syntax

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

Node ::=
	Resource

Node ::=
	Literal

Node ::=
	Resource
	Literal

Resource ::=
	Package

Resource ::=
	[context]::Package

Literal ::=
	ε

Fact ::=
	[object]::Node [subject]::Resource [predicate]::Resource [context]::Package

Package ::=
	Ontology

Ontology ::=
	[imports]::Package+

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]