Aspect-Oriented OWL 2 Abstract/Functional-Style Syntax

parse:

Prefix Ontology EOF

parse    ::= Prefix* Ontology EOF

no references


Ontology:

Ontology ( IRI IRI ImportsDeclaration Annotation Pointcut AspectAssertion Axiom )

Ontology ::= 'Ontology' '(' ( IRI IRI? )? ( ImportsDeclaration | Annotation | Pointcut )* ( AspectAssertion | Axiom )* ')'

referenced by:


Prefix:

Prefix ( PrefixName = FullIRI )

Prefix   ::= 'Prefix' '(' PrefixName '=' FullIRI ')'

referenced by:


IRI:

FullIRI AbbreviatedIRI

IRI      ::= FullIRI
           | AbbreviatedIRI

referenced by:


FullIRI:

FULLIRI

FullIRI  ::= FULLIRI

referenced by:


AbbreviatedIRI:

PNAME_LN

AbbreviatedIRI
         ::= PNAME_LN

referenced by:


PrefixName:

PNAME_NS

PrefixName
         ::= PNAME_NS

referenced by:


Aspect:

Aspect ( Annotation Aspect Advice )

Aspect   ::= 'Aspect' '(' Annotation* Aspect* Advice ')'

referenced by:


AspectAssertion:

AspectAssertion ( AxiomAnnotationSet JoinPoint Advice )

AspectAssertion
         ::= 'AspectAssertion' '(' AxiomAnnotationSet JoinPoint Advice ')'

referenced by:


AxiomAspectSet:

Aspect

AxiomAspectSet
         ::= Aspect*

referenced by:


JoinPoint:

IRI AnonymousIndividual

JoinPoint
         ::= IRI
           | AnonymousIndividual

referenced by:


Advice:

ClassExpression

Advice   ::= ClassExpression

referenced by:


Pointcut:

SPARQLPointcut ModulePointcut DLQueryPointcut

Pointcut ::= SPARQLPointcut
           | ModulePointcut
           | DLQueryPointcut

referenced by:


SPARQLPointcut:

SPARQLPointcut ( AxiomAnnotationSet Aspect " ConstructQuery " )

SPARQLPointcut
         ::= 'SPARQLPointcut' '(' AxiomAnnotationSet Aspect '"' ConstructQuery '"' ')'

referenced by:


ModulePointcut:

ModulePointcut ( AxiomAnnotationSet Aspect Signature )

ModulePointcut
         ::= 'ModulePointcut' '(' AxiomAnnotationSet Aspect Signature ')'

referenced by:


DLQueryPointcut:

DLQueryPointcut ( AxiomAnnotationSet Aspect ClassExpression )

DLQueryPointcut
         ::= 'DLQueryPointcut' '(' AxiomAnnotationSet Aspect ClassExpression ')'

referenced by:


Signature:

EntityIRI

Signature
         ::= EntityIRI*

referenced by:


EntityIRI:

ClassIRI ObjectPropertyIRI DataPropertyIRI IndividualIRI DatatypeIRI AnnotationPropertyIRI

EntityIRI
         ::= ClassIRI
           | ObjectPropertyIRI
           | DataPropertyIRI
           | IndividualIRI
           | DatatypeIRI
           | AnnotationPropertyIRI

referenced by:


ClassExpression:

ClassIRI ObjectUnionOf ObjectIntersectionOf ObjectComplementOf ObjectOneOf ObjectSomeValuesFrom ObjectAllValuesFrom ObjectHasValue ObjectSelf ObjectMinCardinality ObjectExactCardinality ObjectMaxCardinality DataSomeValuesFrom DataAllValuesFrom DataHasValue DataMinCardinality DataExactCardinality DataMaxCardinality

ClassExpression
         ::= ClassIRI
           | ObjectUnionOf
           | ObjectIntersectionOf
           | ObjectComplementOf
           | ObjectOneOf
           | ObjectSomeValuesFrom
           | ObjectAllValuesFrom
           | ObjectHasValue
           | ObjectSelf
           | ObjectMinCardinality
           | ObjectExactCardinality
           | ObjectMaxCardinality
           | DataSomeValuesFrom
           | DataAllValuesFrom
           | DataHasValue
           | DataMinCardinality
           | DataExactCardinality
           | DataMaxCardinality

referenced by:


ClassIRI:

IRI

ClassIRI ::= IRI

referenced by:


ClassExpressionSet:

ClassExpression ClassExpression

ClassExpressionSet
         ::= ClassExpression ClassExpression+

referenced by:


IndividualMinOneSet:

Individual

IndividualMinOneSet
         ::= Individual+

referenced by:


ObjectUnionOf:

ObjectUnionOf ( ClassExpressionSet )

ObjectUnionOf
         ::= 'ObjectUnionOf' '(' ClassExpressionSet ')'

referenced by:


ObjectIntersectionOf:

ObjectIntersectionOf ( ClassExpressionSet )

ObjectIntersectionOf
         ::= 'ObjectIntersectionOf' '(' ClassExpressionSet ')'

referenced by:


ObjectComplementOf:

ObjectComplementOf ( ClassExpression )

ObjectComplementOf
         ::= 'ObjectComplementOf' '(' ClassExpression ')'

referenced by:


ObjectOneOf:

ObjectOneOf ( IndividualMinOneSet )

ObjectOneOf
         ::= 'ObjectOneOf' '(' IndividualMinOneSet ')'

referenced by:


ObjectAllValuesFrom:

ObjectAllValuesFrom ( ObjectPropertyExpression ClassExpression )

ObjectAllValuesFrom
         ::= 'ObjectAllValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

referenced by:


ObjectSomeValuesFrom:

ObjectSomeValuesFrom ( ObjectPropertyExpression ClassExpression )

ObjectSomeValuesFrom
         ::= 'ObjectSomeValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

referenced by:


ObjectHasValue:

ObjectHasValue ( ObjectPropertyExpression Individual )

ObjectHasValue
         ::= 'ObjectHasValue' '(' ObjectPropertyExpression Individual ')'

referenced by:


ObjectSelf:

ObjectHasSelf ( ObjectPropertyExpression )

ObjectSelf
         ::= 'ObjectHasSelf' '(' ObjectPropertyExpression ')'

referenced by:


ObjectMinCardinality:

ObjectMinCardinality ( Cardinality ObjectPropertyExpression ClassExpression )

ObjectMinCardinality
         ::= 'ObjectMinCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'

referenced by:


ObjectExactCardinality:

ObjectExactCardinality ( Cardinality ObjectPropertyExpression ClassExpression )

ObjectExactCardinality
         ::= 'ObjectExactCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'

referenced by:


ObjectMaxCardinality:

ObjectMaxCardinality ( Cardinality ObjectPropertyExpression ClassExpression )

ObjectMaxCardinality
         ::= 'ObjectMaxCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'

referenced by:


DataAllValuesFrom:

DataAllValuesFrom ( DataPropertyExpression DataRange )

DataAllValuesFrom
         ::= 'DataAllValuesFrom' '(' DataPropertyExpression DataRange ')'

referenced by:


DataSomeValuesFrom:

DataSomeValuesFrom ( DataPropertyExpression DataRange )

DataSomeValuesFrom
         ::= 'DataSomeValuesFrom' '(' DataPropertyExpression DataRange ')'

referenced by:


DataHasValue:

DataHasValue ( DataPropertyExpression Literal )

DataHasValue
         ::= 'DataHasValue' '(' DataPropertyExpression Literal ')'

referenced by:


DataMinCardinality:

DataMinCardinality ( Cardinality DataPropertyExpression DataRange )

DataMinCardinality
         ::= 'DataMinCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'

referenced by:


DataExactCardinality:

DataExactCardinality ( Cardinality DataPropertyExpression DataRange )

DataExactCardinality
         ::= 'DataExactCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'

referenced by:


DataMaxCardinality:

DataMaxCardinality ( Cardinality DataPropertyExpression DataRange )

DataMaxCardinality
         ::= 'DataMaxCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'

referenced by:


Class:

Class ( ClassIRI )

Class    ::= 'Class' '(' ClassIRI ')'

referenced by:


ObjectPropertyExpression:

InverseObjectProperty ObjectPropertyIRI

ObjectPropertyExpression
         ::= InverseObjectProperty
           | ObjectPropertyIRI

referenced by:


InverseObjectProperty:

ObjectInverseOf ( ObjectPropertyExpression )

InverseObjectProperty
         ::= 'ObjectInverseOf' '(' ObjectPropertyExpression ')'

referenced by:


ObjectProperty:

ObjectProperty ( ObjectPropertyIRI )

ObjectProperty
         ::= 'ObjectProperty' '(' ObjectPropertyIRI ')'

referenced by:


DataPropertyExpression:

DataPropertyIRI

DataPropertyExpression
         ::= DataPropertyIRI

referenced by:


DataPropertyIRI:

IRI

DataPropertyIRI
         ::= IRI

referenced by:


DataProperty:

DataProperty ( DataPropertyIRI )

DataProperty
         ::= 'DataProperty' '(' DataPropertyIRI ')'

referenced by:


AnnotationProperty:

AnnotationProperty ( AnnotationPropertyIRI )

AnnotationProperty
         ::= 'AnnotationProperty' '(' AnnotationPropertyIRI ')'

referenced by:


AnnotationPropertyIRI:

IRI

AnnotationPropertyIRI
         ::= IRI

referenced by:


NamedIndividual:

NamedIndividual ( IndividualIRI )

NamedIndividual
         ::= 'NamedIndividual' '(' IndividualIRI ')'

referenced by:


AnonymousIndividual:

NODEID

AnonymousIndividual
         ::= NODEID

referenced by:


Datatype:

Datatype ( DatatypeIRI )

Datatype ::= 'Datatype' '(' DatatypeIRI ')'

referenced by:


DatatypeIRI:

IRI

DatatypeIRI
         ::= IRI

referenced by:


Cardinality:

Integer

Cardinality
         ::= Integer

referenced by:


Integer:

INT

Integer  ::= INT

referenced by:


DatatypeDefinitionAxiom:

DatatypeDefinition ( AxiomAnnotationSet AxiomAspectSet DatatypeIRI DataRange )

DatatypeDefinitionAxiom
         ::= 'DatatypeDefinition' '(' AxiomAnnotationSet AxiomAspectSet DatatypeIRI DataRange ')'

referenced by:


DataRange:

DatatypeIRI DataOneOf DataComplementOf DataRangeRestriction DataIntersectionOf DataUnionOf

DataRange
         ::= DatatypeIRI
           | DataOneOf
           | DataComplementOf
           | DataRangeRestriction
           | DataIntersectionOf
           | DataUnionOf

referenced by:


DataComplementOf:

DataComplementOf ( DataRange )

DataComplementOf
         ::= 'DataComplementOf' '(' DataRange ')'

referenced by:


DataOneOf:

DataOneOf ( Literal )

DataOneOf
         ::= 'DataOneOf' '(' Literal+ ')'

referenced by:


DataUnionOf:

DataUnionOf ( DataRange )

DataUnionOf
         ::= 'DataUnionOf' '(' DataRange+ ')'

referenced by:


DataIntersectionOf:

DataIntersectionOf ( DataRange )

DataIntersectionOf
         ::= 'DataIntersectionOf' '(' DataRange+ ')'

referenced by:


DataRangeRestriction:

DatatypeRestriction ( DatatypeIRI DataRangeFacetRestriction )

DataRangeRestriction
         ::= 'DatatypeRestriction' '(' DatatypeIRI DataRangeFacetRestriction+ ')'

referenced by:


DataRangeFacetRestriction:

IRI Literal

DataRangeFacetRestriction
         ::= IRI Literal

referenced by:


Axiom:

ClassAxiom ObjectPropertyAxiom DataPropertyAxiom IndividualAxiom Declaration HasKey DatatypeDefinitionAxiom AnnotationAxiom DLSafeRule

Axiom    ::= ClassAxiom
           | ObjectPropertyAxiom
           | DataPropertyAxiom
           | IndividualAxiom
           | Declaration
           | HasKey
           | DatatypeDefinitionAxiom
           | AnnotationAxiom
           | DLSafeRule

referenced by:


ClassAxiom:

SubClassOf EquivalentClasses DisjointClasses DisjointUnion

ClassAxiom
         ::= SubClassOf
           | EquivalentClasses
           | DisjointClasses
           | DisjointUnion

referenced by:


SubClassOf:

SubClassOf ( AxiomAnnotationSet AxiomAspectSet ClassExpression ClassExpression )

SubClassOf
         ::= 'SubClassOf' '(' AxiomAnnotationSet AxiomAspectSet ClassExpression ClassExpression ')'

referenced by:


EquivalentClasses:

EquivalentClasses ( AxiomAnnotationSet AxiomAspectSet ClassExpressionSet )

EquivalentClasses
         ::= 'EquivalentClasses' '(' AxiomAnnotationSet AxiomAspectSet ClassExpressionSet ')'

referenced by:


DisjointClasses:

DisjointClasses ( AxiomAnnotationSet AxiomAspectSet ClassExpressionSet )

DisjointClasses
         ::= 'DisjointClasses' '(' AxiomAnnotationSet AxiomAspectSet ClassExpressionSet ')'

referenced by:


DisjointUnion:

DisjointUnion ( AxiomAnnotationSet AxiomAspectSet ClassIRI ClassExpressionSet )

DisjointUnion
         ::= 'DisjointUnion' '(' AxiomAnnotationSet AxiomAspectSet ClassIRI ClassExpressionSet ')'

referenced by:


ObjectPropertyAxiom:

SubObjectPropertyOf EquivalentObjectProperties DisjointObjectProperties ObjectPropertyRange ObjectPropertyDomain FunctionalObjectProperty InverseFunctionalObjectProperty SymmetricObjectProperty AsymmetricObjectProperty ReflexiveObjectProperty IrreflexiveObjectProperty TransitiveObjectProperty InverseObjectProperties

ObjectPropertyAxiom
         ::= SubObjectPropertyOf
           | EquivalentObjectProperties
           | DisjointObjectProperties
           | ObjectPropertyRange
           | ObjectPropertyDomain
           | FunctionalObjectProperty
           | InverseFunctionalObjectProperty
           | SymmetricObjectProperty
           | AsymmetricObjectProperty
           | ReflexiveObjectProperty
           | IrreflexiveObjectProperty
           | TransitiveObjectProperty
           | InverseObjectProperties

referenced by:


SubObjectPropertyChain:

ObjectPropertyChain ( ObjectPropertyExpression )

SubObjectPropertyChain
         ::= 'ObjectPropertyChain' '(' ObjectPropertyExpression+ ')'

referenced by:


SubObjectPropertyOf:

SubObjectPropertyOf ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression SubObjectPropertyChain ObjectPropertyExpression )

SubObjectPropertyOf
         ::= 'SubObjectPropertyOf' '(' AxiomAnnotationSet AxiomAspectSet ( ObjectPropertyExpression | SubObjectPropertyChain ) ObjectPropertyExpression ')'

referenced by:


EquivalentObjectProperties:

EquivalentObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertySet )

EquivalentObjectProperties
         ::= 'EquivalentObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertySet ')'

referenced by:


DisjointObjectProperties:

DisjointObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertySet )

DisjointObjectProperties
         ::= 'DisjointObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertySet ')'

referenced by:


ObjectPropertySet:

ObjectPropertyExpression ObjectPropertyExpression

ObjectPropertySet
         ::= ObjectPropertyExpression ObjectPropertyExpression+

referenced by:


ObjectPropertyRange:

ObjectPropertyRange ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression )

ObjectPropertyRange
         ::= 'ObjectPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression ')'

referenced by:


ObjectPropertyDomain:

ObjectPropertyDomain ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression )

ObjectPropertyDomain
         ::= 'ObjectPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression ')'

referenced by:


FunctionalObjectProperty:

FunctionalObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

FunctionalObjectProperty
         ::= 'FunctionalObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


InverseObjectProperties:

InverseObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ObjectPropertyExpression )

InverseObjectProperties
         ::= 'InverseObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ObjectPropertyExpression ')'

referenced by:


InverseFunctionalObjectProperty:

InverseFunctionalObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

InverseFunctionalObjectProperty
         ::= 'InverseFunctionalObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


SymmetricObjectProperty:

SymmetricObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

SymmetricObjectProperty
         ::= 'SymmetricObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


AsymmetricObjectProperty:

AsymmetricObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

AsymmetricObjectProperty
         ::= 'AsymmetricObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


ReflexiveObjectProperty:

ReflexiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

ReflexiveObjectProperty
         ::= 'ReflexiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


IrreflexiveObjectProperty:

IrreflexiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

IrreflexiveObjectProperty
         ::= 'IrreflexiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


TransitiveObjectProperty:

TransitiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )

TransitiveObjectProperty
         ::= 'TransitiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'

referenced by:


DataPropertyAxiom:

SubDataPropertyOf EquivalentDataProperties DisjointDataProperties DataPropertyRange DataPropertyDomain FunctionalDataProperty

DataPropertyAxiom
         ::= SubDataPropertyOf
           | EquivalentDataProperties
           | DisjointDataProperties
           | DataPropertyRange
           | DataPropertyDomain
           | FunctionalDataProperty

referenced by:


SubDataPropertyOf:

SubDataPropertyOf ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataPropertyExpression )

SubDataPropertyOf
         ::= 'SubDataPropertyOf' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataPropertyExpression ')'

referenced by:


EquivalentDataProperties:

EquivalentDataProperties ( AxiomAnnotationSet AxiomAspectSet DataPropertySet )

EquivalentDataProperties
         ::= 'EquivalentDataProperties' '(' AxiomAnnotationSet AxiomAspectSet DataPropertySet ')'

referenced by:


DisjointDataProperties:

DisjointDataProperties ( AxiomAnnotationSet AxiomAspectSet DataPropertySet )

DisjointDataProperties
         ::= 'DisjointDataProperties' '(' AxiomAnnotationSet AxiomAspectSet DataPropertySet ')'

referenced by:


DataPropertySet:

DataPropertyExpression DataPropertyExpression

DataPropertySet
         ::= DataPropertyExpression DataPropertyExpression+

referenced by:


DataPropertyDomain:

DataPropertyDomain ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ClassExpression )

DataPropertyDomain
         ::= 'DataPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ClassExpression ')'

referenced by:


DataPropertyRange:

DataPropertyRange ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataRange )

DataPropertyRange
         ::= 'DataPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataRange ')'

referenced by:


FunctionalDataProperty:

FunctionalDataProperty ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression )

FunctionalDataProperty
         ::= 'FunctionalDataProperty' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ')'

referenced by:


IndividualAxiom:

SameIndividuals DifferentIndividuals ClassAssertion ObjectPropertyAssertion DataPropertyAssertion NegativeObjectPropertyAssertion NegativeDataPropertyAssertion

IndividualAxiom
         ::= SameIndividuals
           | DifferentIndividuals
           | ClassAssertion
           | ObjectPropertyAssertion
           | DataPropertyAssertion
           | NegativeObjectPropertyAssertion
           | NegativeDataPropertyAssertion

referenced by:


IndividualSet:

Individual Individual

IndividualSet
         ::= Individual Individual+

referenced by:


SameIndividuals:

SameIndividual ( AxiomAnnotationSet AxiomAspectSet IndividualSet )

SameIndividuals
         ::= 'SameIndividual' '(' AxiomAnnotationSet AxiomAspectSet IndividualSet ')'

referenced by:


DifferentIndividuals:

DifferentIndividuals ( AxiomAnnotationSet AxiomAspectSet IndividualSet )

DifferentIndividuals
         ::= 'DifferentIndividuals' '(' AxiomAnnotationSet AxiomAspectSet IndividualSet ')'

referenced by:


ClassAssertion:

ClassAssertion ( AxiomAnnotationSet AxiomAspectSet ClassExpression Individual )

ClassAssertion
         ::= 'ClassAssertion' '(' AxiomAnnotationSet AxiomAspectSet ClassExpression Individual ')'

referenced by:


ObjectPropertyAssertion:

ObjectPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual )

ObjectPropertyAssertion
         ::= 'ObjectPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual ')'

referenced by:


NegativeObjectPropertyAssertion:

NegativeObjectPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual )

NegativeObjectPropertyAssertion
         ::= 'NegativeObjectPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual ')'

referenced by:


DataPropertyAssertion:

DataPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal )

DataPropertyAssertion
         ::= 'DataPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal ')'

referenced by:


NegativeDataPropertyAssertion:

NegativeDataPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal )

NegativeDataPropertyAssertion
         ::= 'NegativeDataPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal ')'

referenced by:


IndividualIRI:

IRI

IndividualIRI
         ::= IRI

referenced by:


Individual:

IndividualIRI AnonymousIndividual

Individual
         ::= IndividualIRI
           | AnonymousIndividual

referenced by:


ObjectPropertyIRI:

IRI

ObjectPropertyIRI
         ::= IRI

referenced by:


AnnotationAxiom:

AnnotationAssertion AnnotationPropertyDomain AnnotationPropertyRange SubAnnotationPropertyOf

AnnotationAxiom
         ::= AnnotationAssertion
           | AnnotationPropertyDomain
           | AnnotationPropertyRange
           | SubAnnotationPropertyOf

referenced by:


Annotation:

Annotation ( Annotation AnnotationPropertyIRI AnnotationValue )

Annotation
         ::= 'Annotation' '(' Annotation* AnnotationPropertyIRI AnnotationValue ')'

referenced by:


AnnotationSubject:

IRI AnonymousIndividual

AnnotationSubject
         ::= IRI
           | AnonymousIndividual

referenced by:


AnnotationValue:

IRI AnonymousIndividual Literal

AnnotationValue
         ::= IRI
           | AnonymousIndividual
           | Literal

referenced by:


AxiomAnnotationSet:

Annotation

AxiomAnnotationSet
         ::= Annotation*

referenced by:


ImportsDeclaration:

Import ( IRI )

ImportsDeclaration
         ::= 'Import' '(' IRI ')'

referenced by:


AnnotationAssertion:

AnnotationAssertion ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationSubject AnnotationValue )

AnnotationAssertion
         ::= 'AnnotationAssertion' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationSubject AnnotationValue ')'

referenced by:


SubAnnotationPropertyOf:

SubAnnotationPropertyOf ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationPropertyIRI )

SubAnnotationPropertyOf
         ::= 'SubAnnotationPropertyOf' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationPropertyIRI ')'

referenced by:


AnnotationPropertyDomain:

AnnotationPropertyDomain ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI )

AnnotationPropertyDomain
         ::= 'AnnotationPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI ')'

referenced by:


AnnotationPropertyRange:

AnnotationPropertyRange ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI )

AnnotationPropertyRange
         ::= 'AnnotationPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI ')'

referenced by:


HasKey:

HasKey ( AxiomAnnotationSet AxiomAspectSet ClassExpression ( ObjectPropertyExpression ) ( DataPropertyExpression ) )

HasKey   ::= 'HasKey' '(' AxiomAnnotationSet AxiomAspectSet ClassExpression '(' ObjectPropertyExpression* ')' '(' DataPropertyExpression* ')' ')'

referenced by:


Declaration:

Declaration ( AxiomAnnotationSet AxiomAspectSet Entity )

Declaration
         ::= 'Declaration' '(' AxiomAnnotationSet AxiomAspectSet Entity ')'

referenced by:


Entity:

Class ObjectProperty DataProperty NamedIndividual Datatype AnnotationProperty

Entity   ::= Class
           | ObjectProperty
           | DataProperty
           | NamedIndividual
           | Datatype
           | AnnotationProperty

referenced by:


Literal:

QuotedString ^^ DatatypeIRI @ LangTag

Literal  ::= QuotedString ( '^^' DatatypeIRI | '@' LangTag )?

referenced by:


QuotedString:

" ANY_CHAR ANY_ESCAPED_CHAR "

QuotedString
         ::= '"' ( ANY_CHAR | ANY_ESCAPED_CHAR )* '"'

referenced by:


LangTag:

PN_LOCAL

LangTag  ::= PN_LOCAL

referenced by:


DLSafeRule:

DLSafeRule ( AxiomAnnotationSet AxiomAspectSet Body ( Atom ) Head ( Atom ) )

DLSafeRule
         ::= 'DLSafeRule' '(' AxiomAnnotationSet AxiomAspectSet 'Body' '(' Atom* ')' 'Head' '(' Atom* ')' ')'

referenced by:


Atom:

ClassAtom DataRangeAtom ObjectPropertyAtom DataPropertyAtom BuiltInAtom SameIndividualAtom DifferentIndividualsAtom

Atom     ::= ClassAtom
           | DataRangeAtom
           | ObjectPropertyAtom
           | DataPropertyAtom
           | BuiltInAtom
           | SameIndividualAtom
           | DifferentIndividualsAtom

referenced by:


ClassAtom:

ClassAtom ( ClassExpression IArg )

ClassAtom
         ::= 'ClassAtom' '(' ClassExpression IArg ')'

referenced by:


DataRangeAtom:

DataRangeAtom ( DataRange DArg )

DataRangeAtom
         ::= 'DataRangeAtom' '(' DataRange DArg ')'

referenced by:


ObjectPropertyAtom:

ObjectPropertyAtom ( ObjectPropertyExpression IArg IArg )

ObjectPropertyAtom
         ::= 'ObjectPropertyAtom' '(' ObjectPropertyExpression IArg IArg ')'

referenced by:


DataPropertyAtom:

DataPropertyAtom ( DataPropertyIRI IArg DArg )

DataPropertyAtom
         ::= 'DataPropertyAtom' '(' DataPropertyIRI IArg DArg ')'

referenced by:


BuiltInAtom:

BuiltInAtom ( IRI DArg )

BuiltInAtom
         ::= 'BuiltInAtom' '(' IRI DArg+ ')'

referenced by:


SameIndividualAtom:

SameIndividualAtom ( IArg IArg )

SameIndividualAtom
         ::= 'SameIndividualAtom' '(' IArg IArg ')'

referenced by:


DifferentIndividualsAtom:

DifferentIndividualsAtom ( IArg IArg )

DifferentIndividualsAtom
         ::= 'DifferentIndividualsAtom' '(' IArg IArg ')'

referenced by:


IArg:

Variable ( IRI ) IndividualIRI

IArg     ::= 'Variable' '(' IRI ')'
           | IndividualIRI

referenced by:


DArg:

Variable ( IRI ) Literal

DArg     ::= 'Variable' '(' IRI ')'
           | Literal

referenced by:


ANY_ESCAPED_CHAR:

\ .

ANY_ESCAPED_CHAR
         ::= '\' .

referenced by:


ANY_CHAR:

[^"]

ANY_CHAR ::= [^"]

referenced by:


INT:

[0-9]

INT      ::= [0-9]+

referenced by:


FULLIRI:

< [^> ] >

FULLIRI  ::= '<' [^> ]* '>'

referenced by:


PNAME_NS:

PN_PREFIX :

PNAME_NS ::= PN_PREFIX? ':'

referenced by:


PN_LOCAL:

PN_CHARS_U [0-9] PN_CHARS . PN_CHARS

PN_LOCAL ::= ( PN_CHARS_U | [0-9] ) ( ( PN_CHARS | '.' )* PN_CHARS )?

referenced by:


PNAME_LN:

PNAME_NS PN_LOCAL

PNAME_LN ::= PNAME_NS PN_LOCAL

referenced by:


PN_PREFIX:

PN_CHARS_BASE PN_CHARS . PN_CHARS

PN_PREFIX
         ::= PN_CHARS_BASE ( ( PN_CHARS | '.' )* PN_CHARS )?

referenced by:


PN_CHARS_BASE:

[A-Z] [a-z] [#x00C0-#x00D6] [#x00D8-#x00F6] [#x00F8-#x02FF] [#x0370-#x037D] [#x037F-#x1FFF] [#x200C-#x200D] [#x2070-#x218F] [#x2C00-#x2FEF] [#x3001-#xD7FF] [#xF900-#xFDCF] [#xFDF0-#xFFFD]

PN_CHARS_BASE
         ::= [A-Za-z#x00C0-#x00D6#x00D8-#x00F6#x00F8-#x02FF#x0370-#x037D#x037F-#x1FFF#x200C-#x200D#x2070-#x218F#x2C00-#x2FEF#x3001-#xD7FF#xF900-#xFDCF#xFDF0-#xFFFD]

referenced by:


PN_CHARS:

PN_CHARS_U - [0-9] [#x00B7] [#x0300-#x036F] [#x203F-#x2040]

PN_CHARS ::= PN_CHARS_U
           | [-0-9#x00B7#x0300-#x036F#x203F-#x2040]

referenced by:


PN_CHARS_U:

PN_CHARS_BASE _

PN_CHARS_U
         ::= PN_CHARS_BASE
           | '_'

referenced by:


NODEID:

_: PN_LOCAL

NODEID   ::= '_:' PN_LOCAL

referenced by:


ERROR:

.

ERROR    ::= .

no references


_:

" [#x000A] [#x0009] [#x000D] //

_        ::= [ "#x000A#x0009#x000D]
           | '//'
          /* ws: definition */

no references


EOF:

$

EOF      ::= $

referenced by:


  ... generated by Railroad Diagram Generator R R