Browsable OWL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: ontoware/owl/extracted
Source used for this grammar: Guillaume Hillairet, OWL.ecore, 2007/02/14

Summary

• Total 107 production rules with 112 top alternatives and 771 symbols.
• Vocabulary: 168 = 56 nonterminals + 2 terminals + 110 labels + 0 markers.
• Total 56 nonterminal symbols: 56 defined (Document, LocalName, Namespace, NamespaceDefinition, RDFSResource, RDFGraph, List, Container, Alt, Bag, Seq, RDFProperty, ContainerMembershipProperty, RDFStatement, ReificationKind, URIReferenceNode, BlankNode, RDFSClass, RDFSDataType, RDFSLiteral, PlainLiteral, TypedLiteral, XMLLiteral, URIReference, UniformResourceIdentifier, Boolean, Integer, String, OWLOntology, OWLGraph, OWLStatement, OWLUniverse, OWLClass, IntersectionClass, UnionClass, ComplementClass, EnumeratedClass, OWLRestriction, HasValueRestriction, AllValuesFromRestriction, SomeValuesFromRestriction, CardinalityRestriction, MaxCardinalityRestriction, MinCardinalityRestriction, OWLAnnotationProperty, OWLOntologyProperty, Property, FunctionalProperty, OWLDatatypeProperty, OWLObjectProperty, InverseFunctionalProperty, SymmetricProperty, TransitiveProperty, Individual, OWLAllDifferent, OWLDataRange), 0 root (—), 2 top (ContainerMembershipProperty, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 110 labels: [localName], [xmlBase], [namespaceDefinition] ², [statement] ², [name] ², [document] ⁴, [uriRef] ⁴, [namespaceURIRef], [namespacePrefix], [namespace] ², [subjectStatement] ², [objectStatement] ², [label] ², [type] ², [comment] ², [seeAlso] ², [referringResource] ², [isDefinedBy] ², [definedResource] ², [member] ², [container] ², [list] ², [graphName], [first], [rest], [originalList], [predicateStatement] ³, [subPropertyOf] ³, [superProperty] ³, [domain] ³, [range] ³, [propertyRestriction] ³, [reificationKind], [graph], [RDFpredicate], [RDFobject], [RDFsubject], [nameForReification], [none], [reifiedOnly], [reified], [nodeId], [subClassOf], [superClass], [typedResource], [propertyForDomain], [propertyForRange], [dataRange] ², [lexicalForm], [restrictionClass] ², [language], [labeledResource], [commentedResource], [datatypeURI] ², [cardinalityRestriction] ², [minCardinalityRestriction] ², [maxCardinalityRestriction] ², [uri], [resource], [literal], [namedGraph], [reifiedStatement], [fragmentIdentifier], [owlUniverse], [OWLPriorVersion], [newerOntology], [OWLIncompatibleWith], [incompatibleOntology], [OWLImports], [importingOntology], [owlGraph] ², [owlStatement] ², [versionInfo], [ontology] ⁵, [isDeprecated] ³, [OWLequivalentClass], [equivalentClass], [OWLdisjointWith], [disjointClass], [intersectionClass], [unionClass], [complementClass], [allValuesFromRestrictionClass] ², [someValuesFromRestrictionClass] ², [OWLIntersectionOf], [OWLUnionOf], [OWLComplementOf], [OWLOneOf] ², [OWLOnProperty], [OWLHasLiteralValue], [OWLHasIndividualValue], [OWLAllValuesFromDataRange], [OWLAllValuesFromClass], [OWLSomeValuesFromClass], [OWLSomeValuesFromDataRange], [OWLCardinality], [OWLMaxCardinality], [OWLMinCardinality], [OWLEquivalentProperty] ², [equivalentProperty] ², [OWLInverseOf] ⁴, [inverseProperty] ⁴, [OWLDifferentFrom], [differentIndividual], [OWLSameAs], [sameIndividual], [allDifferent], [enumeratedClass], [OWLDistinctMembers], [datatype].

Syntax

Document ::=
	[localName]::LocalName+ [xmlBase]::Namespace+ [namespaceDefinition]::NamespaceDefinition+ [statement]::RDFStatement+

LocalName ::=
	[name]::String [document]::Document [uriRef]::URIReference+

Namespace ::=
	[document]::Document+ [namespaceURIRef]::URIReference [namespaceDefinition]::NamespaceDefinition+

NamespaceDefinition ::=
	[namespacePrefix]::String [document]::Document [namespace]::Namespace

RDFSResource ::=
	Document

RDFSResource ::=
	RDFGraph

RDFSResource ::=
	List

RDFSResource ::=
	Container

RDFSResource ::=
	RDFProperty

RDFSResource ::=
	RDFStatement

RDFSResource ::=
	URIReferenceNode

RDFSResource ::=
	BlankNode

RDFSResource ::=
	RDFSClass

RDFSResource ::=
	RDFSLiteral

RDFSResource ::=
	OWLOntology

RDFSResource ::=
	OWLUniverse

RDFSResource ::=
	Individual

RDFSResource ::=
	[uriRef]::URIReference+ [subjectStatement]::RDFStatement+ [objectStatement]::RDFStatement+ [label]::PlainLiteral+ [type]::RDFSClass+ [comment]::PlainLiteral+ [seeAlso]::RDFSResource+ [referringResource]::RDFSResource+ [isDefinedBy]::RDFSResource+ [definedResource]::RDFSResource+ [member]::RDFSResource+ [container]::RDFSResource+ [list]::List+

RDFGraph ::=
	OWLGraph

RDFGraph ::=
	[graphName]::URIReference [statement]::RDFStatement+

List ::=
	[first]::RDFSResource [rest]::List [originalList]::List+

Container ::=
	Alt

Container ::=
	Bag

Container ::=
	Seq

Container ::=
	Alt
	Bag
	Seq

Alt ::=
	ε

Bag ::=
	ε

Seq ::=
	ε

RDFProperty ::=
	OWLAnnotationProperty

RDFProperty ::=
	OWLOntologyProperty

RDFProperty ::=
	Property

RDFProperty ::=
	[predicateStatement]::RDFStatement+ [subPropertyOf]::RDFProperty+ [superProperty]::RDFProperty+ [domain]::RDFSClass+ [range]::RDFSClass+ [propertyRestriction]::OWLRestriction+

ContainerMembershipProperty ::=
	ε

RDFStatement ::=
	OWLStatement

RDFStatement ::=
	[reificationKind]::ReificationKind [graph]::RDFGraph+ [RDFpredicate]::RDFProperty [RDFobject]::RDFSResource [RDFsubject]::RDFSResource [nameForReification]::URIReference+ [document]::Document+

ReificationKind ::=
	[none]::ε
	[reifiedOnly]::ε
	[reified]::ε

URIReferenceNode ::=
	[uriRef]::URIReference+ [subjectStatement]::RDFStatement+ [objectStatement]::RDFStatement+ [label]::PlainLiteral+ [type]::RDFSClass+ [comment]::PlainLiteral+ [seeAlso]::RDFSResource+ [referringResource]::RDFSResource+ [isDefinedBy]::RDFSResource+ [definedResource]::RDFSResource+ [member]::RDFSResource+ [container]::RDFSResource+ [list]::List+

BlankNode ::=
	[nodeId]::String

RDFSClass ::=
	RDFSDataType

RDFSClass ::=
	OWLClass

RDFSClass ::=
	OWLDataRange

RDFSClass ::=
	[subClassOf]::RDFSClass+ [superClass]::RDFSClass+ [typedResource]::RDFSResource+ [propertyForDomain]::RDFProperty+ [propertyForRange]::RDFProperty+

RDFSDataType ::=
	[dataRange]::OWLDataRange+

RDFSLiteral ::=
	PlainLiteral

RDFSLiteral ::=
	TypedLiteral

RDFSLiteral ::=
	[lexicalForm]::String [restrictionClass]::HasValueRestriction+ [dataRange]::OWLDataRange+

PlainLiteral ::=
	[language]::String [labeledResource]::RDFSResource [commentedResource]::RDFSResource

TypedLiteral ::=
	XMLLiteral

TypedLiteral ::=
	[datatypeURI]::URIReference [cardinalityRestriction]::CardinalityRestriction+ [minCardinalityRestriction]::MinCardinalityRestriction+ [maxCardinalityRestriction]::MaxCardinalityRestriction+

XMLLiteral ::=
	[datatypeURI]::URIReference [cardinalityRestriction]::CardinalityRestriction+ [minCardinalityRestriction]::MinCardinalityRestriction+ [maxCardinalityRestriction]::MaxCardinalityRestriction+

URIReference ::=
	UniformResourceIdentifier

URIReference ::=
	[uri]::UniformResourceIdentifier [resource]::RDFSResource [literal]::TypedLiteral+ [namedGraph]::RDFGraph [reifiedStatement]::RDFStatement+ [fragmentIdentifier]::LocalName [namespace]::Namespace

UniformResourceIdentifier ::=
	[name]::String [uriRef]::URIReference+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

OWLOntology ::=
	[owlUniverse]::OWLUniverse+ [OWLPriorVersion]::OWLOntology+ [newerOntology]::OWLOntology+ [OWLIncompatibleWith]::OWLOntology+ [incompatibleOntology]::OWLOntology+ [OWLImports]::OWLOntology+ [importingOntology]::OWLOntology+ [owlGraph]::OWLGraph+ [owlStatement]::OWLStatement+ [versionInfo]::RDFSLiteral+

OWLGraph ::=
	[ontology]::OWLOntology+ [owlStatement]::OWLStatement+

OWLStatement ::=
	[ontology]::OWLOntology+ [owlGraph]::OWLGraph+

OWLUniverse ::=
	OWLClass

OWLUniverse ::=
	OWLAnnotationProperty

OWLUniverse ::=
	OWLOntologyProperty

OWLUniverse ::=
	Property

OWLUniverse ::=
	Individual

OWLUniverse ::=
	OWLDataRange

OWLUniverse ::=
	[ontology]::OWLOntology+

OWLClass ::=
	IntersectionClass

OWLClass ::=
	UnionClass

OWLClass ::=
	ComplementClass

OWLClass ::=
	EnumeratedClass

OWLClass ::=
	OWLRestriction

OWLClass ::=
	OWLAllDifferent

OWLClass ::=
	[isDeprecated]::Boolean [OWLequivalentClass]::OWLClass+ [equivalentClass]::OWLClass+ [OWLdisjointWith]::OWLClass+ [disjointClass]::OWLClass+ [intersectionClass]::IntersectionClass+ [unionClass]::UnionClass+ [complementClass]::ComplementClass+ [allValuesFromRestrictionClass]::AllValuesFromRestriction+ [someValuesFromRestrictionClass]::SomeValuesFromRestriction+

IntersectionClass ::=
	[OWLIntersectionOf]::OWLClass+

UnionClass ::=
	[OWLUnionOf]::OWLClass+

ComplementClass ::=
	[OWLComplementOf]::OWLClass+

EnumeratedClass ::=
	[OWLOneOf]::Individual+

OWLRestriction ::=
	HasValueRestriction

OWLRestriction ::=
	AllValuesFromRestriction

OWLRestriction ::=
	SomeValuesFromRestriction

OWLRestriction ::=
	CardinalityRestriction

OWLRestriction ::=
	MaxCardinalityRestriction

OWLRestriction ::=
	MinCardinalityRestriction

OWLRestriction ::=
	[OWLOnProperty]::RDFProperty

HasValueRestriction ::=
	[OWLHasLiteralValue]::RDFSLiteral [OWLHasIndividualValue]::Individual

AllValuesFromRestriction ::=
	[OWLAllValuesFromDataRange]::OWLDataRange [OWLAllValuesFromClass]::OWLClass

SomeValuesFromRestriction ::=
	[OWLSomeValuesFromClass]::OWLClass [OWLSomeValuesFromDataRange]::OWLDataRange

CardinalityRestriction ::=
	[OWLCardinality]::TypedLiteral

MaxCardinalityRestriction ::=
	[OWLMaxCardinality]::TypedLiteral

MinCardinalityRestriction ::=
	[OWLMinCardinality]::TypedLiteral

OWLAnnotationProperty ::=
	[predicateStatement]::RDFStatement+ [subPropertyOf]::RDFProperty+ [superProperty]::RDFProperty+ [domain]::RDFSClass+ [range]::RDFSClass+ [propertyRestriction]::OWLRestriction+ [ontology]::OWLOntology+

OWLOntologyProperty ::=
	[predicateStatement]::RDFStatement+ [subPropertyOf]::RDFProperty+ [superProperty]::RDFProperty+ [domain]::RDFSClass+ [range]::RDFSClass+ [propertyRestriction]::OWLRestriction+ [ontology]::OWLOntology+

Property ::=
	FunctionalProperty

Property ::=
	OWLDatatypeProperty

Property ::=
	OWLObjectProperty

FunctionalProperty ::=
	[isDeprecated]::Boolean [OWLEquivalentProperty]::Property+ [equivalentProperty]::Property+

OWLDatatypeProperty ::=
	[isDeprecated]::Boolean [OWLEquivalentProperty]::Property+ [equivalentProperty]::Property+

OWLObjectProperty ::=
	InverseFunctionalProperty

OWLObjectProperty ::=
	SymmetricProperty

OWLObjectProperty ::=
	TransitiveProperty

OWLObjectProperty ::=
	[OWLInverseOf]::OWLObjectProperty [inverseProperty]::OWLObjectProperty+

InverseFunctionalProperty ::=
	[OWLInverseOf]::OWLObjectProperty [inverseProperty]::OWLObjectProperty+

SymmetricProperty ::=
	[OWLInverseOf]::OWLObjectProperty [inverseProperty]::OWLObjectProperty+

TransitiveProperty ::=
	[OWLInverseOf]::OWLObjectProperty [inverseProperty]::OWLObjectProperty+

Individual ::=
	[OWLDifferentFrom]::Individual+ [differentIndividual]::Individual+ [OWLSameAs]::Individual+ [sameIndividual]::Individual+ [allDifferent]::OWLAllDifferent+ [enumeratedClass]::EnumeratedClass+ [restrictionClass]::HasValueRestriction+

OWLAllDifferent ::=
	[OWLDistinctMembers]::Individual

OWLDataRange ::=
	[datatype]::RDFSDataType [OWLOneOf]::RDFSLiteral+ [someValuesFromRestrictionClass]::SomeValuesFromRestriction [allValuesFromRestrictionClass]::AllValuesFromRestriction

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