Aspect-Oriented OWL 2 Abstract/Functional-Style Syntax

parse: Prefix Ontology EOF
parse    ::= Prefix* Ontology EOF
 no referencesOntology: Ontology ( IRI IRI ImportsDeclaration Annotation Pointcut AspectAssertion Axiom )
Ontology ::= 'Ontology' '(' ( IRI IRI? )? ( ImportsDeclaration | Annotation | Pointcut )* ( AspectAssertion | Axiom )* ')'
 referenced by: parse Prefix: Prefix ( PrefixName = FullIRI )
Prefix   ::= 'Prefix' '(' PrefixName '=' FullIRI ')'
 referenced by: parse IRI: FullIRI AbbreviatedIRI
IRI      ::= FullIRI
           | AbbreviatedIRI
 referenced by: AnnotationPropertyDomain AnnotationPropertyIRI AnnotationPropertyRange AnnotationSubject AnnotationValue BuiltInAtom ClassIRI DArg DataPropertyIRI DataRangeFacetRestriction DatatypeIRI IArg ImportsDeclaration IndividualIRI JoinPoint ObjectPropertyIRI Ontology FullIRI: FULLIRI referenced by: IRI Prefix AbbreviatedIRI: PNAME_LN
         ::= PNAME_LN
 referenced by: IRI PrefixName: PNAME_NS
         ::= PNAME_NS
 referenced by: Prefix Aspect: Aspect ( Annotation Aspect Advice )
Aspect   ::= 'Aspect' '(' Annotation* Aspect* Advice ')'
 referenced by: Aspect AxiomAspectSet DLQueryPointcut ModulePointcut SPARQLPointcut AspectAssertion: AspectAssertion ( AxiomAnnotationSet JoinPoint Advice )
         ::= 'AspectAssertion' '(' AxiomAnnotationSet JoinPoint Advice ')'
 referenced by: Ontology AxiomAspectSet: Aspect
         ::= Aspect*
 referenced by: AnnotationAssertion AnnotationPropertyDomain AnnotationPropertyRange AsymmetricObjectProperty ClassAssertion DLSafeRule DataPropertyAssertion DataPropertyDomain DataPropertyRange DatatypeDefinitionAxiom Declaration DifferentIndividuals DisjointClasses DisjointDataProperties DisjointObjectProperties DisjointUnion EquivalentClasses EquivalentDataProperties EquivalentObjectProperties FunctionalDataProperty FunctionalObjectProperty HasKey InverseFunctionalObjectProperty InverseObjectProperties IrreflexiveObjectProperty NegativeDataPropertyAssertion NegativeObjectPropertyAssertion ObjectPropertyAssertion ObjectPropertyDomain ObjectPropertyRange ReflexiveObjectProperty SameIndividuals SubAnnotationPropertyOf SubClassOf SubDataPropertyOf SubObjectPropertyOf SymmetricObjectProperty TransitiveObjectProperty JoinPoint: IRI AnonymousIndividual
         ::= IRI
           | AnonymousIndividual
 referenced by: AspectAssertion Advice: ClassExpression referenced by: Aspect AspectAssertion Pointcut: SPARQLPointcut ModulePointcut DLQueryPointcut
           | ModulePointcut
           | DLQueryPointcut
 referenced by: Ontology SPARQLPointcut: SPARQLPointcut ( AxiomAnnotationSet Aspect " ConstructQuery " )
         ::= 'SPARQLPointcut' '(' AxiomAnnotationSet Aspect '"' ConstructQuery '"' ')'
 referenced by: Pointcut ModulePointcut: ModulePointcut ( AxiomAnnotationSet Aspect Signature )
         ::= 'ModulePointcut' '(' AxiomAnnotationSet Aspect Signature ')'
 referenced by: Pointcut DLQueryPointcut: DLQueryPointcut ( AxiomAnnotationSet Aspect ClassExpression )
         ::= 'DLQueryPointcut' '(' AxiomAnnotationSet Aspect ClassExpression ')'
 referenced by: Pointcut Signature: EntityIRI
         ::= EntityIRI*
 referenced by: ModulePointcut EntityIRI: ClassIRI ObjectPropertyIRI DataPropertyIRI IndividualIRI DatatypeIRI AnnotationPropertyIRI
         ::= ClassIRI
           | ObjectPropertyIRI
           | DataPropertyIRI
           | IndividualIRI
           | DatatypeIRI
           | AnnotationPropertyIRI
 referenced by: Signature ClassExpression: ClassIRI ObjectUnionOf ObjectIntersectionOf ObjectComplementOf ObjectOneOf ObjectSomeValuesFrom ObjectAllValuesFrom ObjectHasValue ObjectSelf ObjectMinCardinality ObjectExactCardinality ObjectMaxCardinality DataSomeValuesFrom DataAllValuesFrom DataHasValue DataMinCardinality DataExactCardinality DataMaxCardinality
         ::= ClassIRI
           | ObjectUnionOf
           | ObjectIntersectionOf
           | ObjectComplementOf
           | ObjectOneOf
           | ObjectSomeValuesFrom
           | ObjectAllValuesFrom
           | ObjectHasValue
           | ObjectSelf
           | ObjectMinCardinality
           | ObjectExactCardinality
           | ObjectMaxCardinality
           | DataSomeValuesFrom
           | DataAllValuesFrom
           | DataHasValue
           | DataMinCardinality
           | DataExactCardinality
           | DataMaxCardinality
 referenced by: Advice ClassAssertion ClassAtom ClassExpressionSet DLQueryPointcut DataPropertyDomain HasKey ObjectAllValuesFrom ObjectComplementOf ObjectExactCardinality ObjectMaxCardinality ObjectMinCardinality ObjectPropertyDomain ObjectPropertyRange ObjectSomeValuesFrom SubClassOf ClassIRI: IRI referenced by: Class ClassExpression DisjointUnion EntityIRI ClassExpressionSet: ClassExpression ClassExpression
         ::= ClassExpression ClassExpression+
 referenced by: DisjointClasses DisjointUnion EquivalentClasses ObjectIntersectionOf ObjectUnionOf IndividualMinOneSet: Individual
         ::= Individual+
 referenced by: ObjectOneOf ObjectUnionOf: ObjectUnionOf ( ClassExpressionSet )
         ::= 'ObjectUnionOf' '(' ClassExpressionSet ')'
 referenced by: ClassExpression ObjectIntersectionOf: ObjectIntersectionOf ( ClassExpressionSet )
         ::= 'ObjectIntersectionOf' '(' ClassExpressionSet ')'
 referenced by: ClassExpression ObjectComplementOf: ObjectComplementOf ( ClassExpression )
         ::= 'ObjectComplementOf' '(' ClassExpression ')'
 referenced by: ClassExpression ObjectOneOf: ObjectOneOf ( IndividualMinOneSet )
         ::= 'ObjectOneOf' '(' IndividualMinOneSet ')'
 referenced by: ClassExpression ObjectAllValuesFrom: ObjectAllValuesFrom ( ObjectPropertyExpression ClassExpression )
         ::= 'ObjectAllValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'
 referenced by: ClassExpression ObjectSomeValuesFrom: ObjectSomeValuesFrom ( ObjectPropertyExpression ClassExpression )
         ::= 'ObjectSomeValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'
 referenced by: ClassExpression ObjectHasValue: ObjectHasValue ( ObjectPropertyExpression Individual )
         ::= 'ObjectHasValue' '(' ObjectPropertyExpression Individual ')'
 referenced by: ClassExpression ObjectSelf: ObjectHasSelf ( ObjectPropertyExpression )
         ::= 'ObjectHasSelf' '(' ObjectPropertyExpression ')'
 referenced by: ClassExpression ObjectMinCardinality: ObjectMinCardinality ( Cardinality ObjectPropertyExpression ClassExpression )
         ::= 'ObjectMinCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'
 referenced by: ClassExpression ObjectExactCardinality: ObjectExactCardinality ( Cardinality ObjectPropertyExpression ClassExpression )
         ::= 'ObjectExactCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'
 referenced by: ClassExpression ObjectMaxCardinality: ObjectMaxCardinality ( Cardinality ObjectPropertyExpression ClassExpression )
         ::= 'ObjectMaxCardinality' '(' Cardinality ObjectPropertyExpression ClassExpression? ')'
 referenced by: ClassExpression DataAllValuesFrom: DataAllValuesFrom ( DataPropertyExpression DataRange )
         ::= 'DataAllValuesFrom' '(' DataPropertyExpression DataRange ')'
 referenced by: ClassExpression DataSomeValuesFrom: DataSomeValuesFrom ( DataPropertyExpression DataRange )
         ::= 'DataSomeValuesFrom' '(' DataPropertyExpression DataRange ')'
 referenced by: ClassExpression DataHasValue: DataHasValue ( DataPropertyExpression Literal )
         ::= 'DataHasValue' '(' DataPropertyExpression Literal ')'
 referenced by: ClassExpression DataMinCardinality: DataMinCardinality ( Cardinality DataPropertyExpression DataRange )
         ::= 'DataMinCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'
 referenced by: ClassExpression DataExactCardinality: DataExactCardinality ( Cardinality DataPropertyExpression DataRange )
         ::= 'DataExactCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'
 referenced by: ClassExpression DataMaxCardinality: DataMaxCardinality ( Cardinality DataPropertyExpression DataRange )
         ::= 'DataMaxCardinality' '(' Cardinality DataPropertyExpression DataRange? ')'
 referenced by: ClassExpression Class: Class ( ClassIRI )
Class    ::= 'Class' '(' ClassIRI ')'
 referenced by: Entity ObjectPropertyExpression: InverseObjectProperty ObjectPropertyIRI
         ::= InverseObjectProperty
           | ObjectPropertyIRI
 referenced by: AsymmetricObjectProperty FunctionalObjectProperty HasKey InverseFunctionalObjectProperty InverseObjectProperties InverseObjectProperty IrreflexiveObjectProperty NegativeObjectPropertyAssertion ObjectAllValuesFrom ObjectExactCardinality ObjectHasValue ObjectMaxCardinality ObjectMinCardinality ObjectPropertyAssertion ObjectPropertyAtom ObjectPropertyDomain ObjectPropertyRange ObjectPropertySet ObjectSelf ObjectSomeValuesFrom ReflexiveObjectProperty SubObjectPropertyChain SubObjectPropertyOf SymmetricObjectProperty TransitiveObjectProperty InverseObjectProperty: ObjectInverseOf ( ObjectPropertyExpression )
         ::= 'ObjectInverseOf' '(' ObjectPropertyExpression ')'
 referenced by: ObjectPropertyExpression ObjectProperty: ObjectProperty ( ObjectPropertyIRI )
         ::= 'ObjectProperty' '(' ObjectPropertyIRI ')'
 referenced by: Entity DataPropertyExpression: DataPropertyIRI
         ::= DataPropertyIRI
 referenced by: DataAllValuesFrom DataExactCardinality DataHasValue DataMaxCardinality DataMinCardinality DataPropertyAssertion DataPropertyDomain DataPropertyRange DataPropertySet DataSomeValuesFrom FunctionalDataProperty HasKey NegativeDataPropertyAssertion SubDataPropertyOf DataPropertyIRI: IRI
         ::= IRI
 referenced by: DataProperty DataPropertyAtom DataPropertyExpression EntityIRI DataProperty: DataProperty ( DataPropertyIRI )
         ::= 'DataProperty' '(' DataPropertyIRI ')'
 referenced by: Entity AnnotationProperty: AnnotationProperty ( AnnotationPropertyIRI )
         ::= 'AnnotationProperty' '(' AnnotationPropertyIRI ')'
 referenced by: Entity AnnotationPropertyIRI: IRI
         ::= IRI
 referenced by: Annotation AnnotationAssertion AnnotationProperty AnnotationPropertyDomain AnnotationPropertyRange EntityIRI SubAnnotationPropertyOf NamedIndividual: NamedIndividual ( IndividualIRI )
         ::= 'NamedIndividual' '(' IndividualIRI ')'
 referenced by: Entity AnonymousIndividual: NODEID
         ::= NODEID
 referenced by: AnnotationSubject AnnotationValue Individual JoinPoint Datatype: Datatype ( DatatypeIRI )
Datatype ::= 'Datatype' '(' DatatypeIRI ')'
 referenced by: Entity DatatypeIRI: IRI
         ::= IRI
 referenced by: DataRange DataRangeRestriction Datatype DatatypeDefinitionAxiom EntityIRI Literal Cardinality: Integer
         ::= Integer
 referenced by: DataExactCardinality DataMaxCardinality DataMinCardinality ObjectExactCardinality ObjectMaxCardinality ObjectMinCardinality Integer: INT
Integer  ::= INT
 referenced by: Cardinality DatatypeDefinitionAxiom: DatatypeDefinition ( AxiomAnnotationSet AxiomAspectSet DatatypeIRI DataRange )
         ::= 'DatatypeDefinition' '(' AxiomAnnotationSet AxiomAspectSet DatatypeIRI DataRange ')'
 referenced by: Axiom DataRange: DatatypeIRI DataOneOf DataComplementOf DataRangeRestriction DataIntersectionOf DataUnionOf
         ::= DatatypeIRI
           | DataOneOf
           | DataComplementOf
           | DataRangeRestriction
           | DataIntersectionOf
           | DataUnionOf
 referenced by: DataAllValuesFrom DataComplementOf DataExactCardinality DataIntersectionOf DataMaxCardinality DataMinCardinality DataPropertyRange DataRangeAtom DataSomeValuesFrom DataUnionOf DatatypeDefinitionAxiom DataComplementOf: DataComplementOf ( DataRange )
         ::= 'DataComplementOf' '(' DataRange ')'
 referenced by: DataRange DataOneOf: DataOneOf ( Literal )
         ::= 'DataOneOf' '(' Literal+ ')'
 referenced by: DataRange DataUnionOf: DataUnionOf ( DataRange )
         ::= 'DataUnionOf' '(' DataRange+ ')'
 referenced by: DataRange DataIntersectionOf: DataIntersectionOf ( DataRange )
         ::= 'DataIntersectionOf' '(' DataRange+ ')'
 referenced by: DataRange DataRangeRestriction: DatatypeRestriction ( DatatypeIRI DataRangeFacetRestriction )
         ::= 'DatatypeRestriction' '(' DatatypeIRI DataRangeFacetRestriction+ ')'
 referenced by: DataRange DataRangeFacetRestriction: IRI Literal
         ::= IRI Literal
 referenced by: DataRangeRestriction Axiom: ClassAxiom ObjectPropertyAxiom DataPropertyAxiom IndividualAxiom Declaration HasKey DatatypeDefinitionAxiom AnnotationAxiom DLSafeRule
Axiom    ::= ClassAxiom
           | ObjectPropertyAxiom
           | DataPropertyAxiom
           | IndividualAxiom
           | Declaration
           | HasKey
           | DatatypeDefinitionAxiom
           | AnnotationAxiom
           | DLSafeRule
 referenced by: Ontology ClassAxiom: SubClassOf EquivalentClasses DisjointClasses DisjointUnion
         ::= SubClassOf
           | EquivalentClasses
           | DisjointClasses
           | DisjointUnion
 referenced by: Axiom SubClassOf: SubClassOf ( AxiomAnnotationSet AxiomAspectSet ClassExpression ClassExpression )
         ::= 'SubClassOf' '(' AxiomAnnotationSet AxiomAspectSet ClassExpression ClassExpression ')'
 referenced by: ClassAxiom EquivalentClasses: EquivalentClasses ( AxiomAnnotationSet AxiomAspectSet ClassExpressionSet )
         ::= 'EquivalentClasses' '(' AxiomAnnotationSet AxiomAspectSet ClassExpressionSet ')'
 referenced by: ClassAxiom DisjointClasses: DisjointClasses ( AxiomAnnotationSet AxiomAspectSet ClassExpressionSet )
         ::= 'DisjointClasses' '(' AxiomAnnotationSet AxiomAspectSet ClassExpressionSet ')'
 referenced by: ClassAxiom DisjointUnion: DisjointUnion ( AxiomAnnotationSet AxiomAspectSet ClassIRI ClassExpressionSet )
         ::= 'DisjointUnion' '(' AxiomAnnotationSet AxiomAspectSet ClassIRI ClassExpressionSet ')'
 referenced by: ClassAxiom ObjectPropertyAxiom: SubObjectPropertyOf EquivalentObjectProperties DisjointObjectProperties ObjectPropertyRange ObjectPropertyDomain FunctionalObjectProperty InverseFunctionalObjectProperty SymmetricObjectProperty AsymmetricObjectProperty ReflexiveObjectProperty IrreflexiveObjectProperty TransitiveObjectProperty InverseObjectProperties
         ::= SubObjectPropertyOf
           | EquivalentObjectProperties
           | DisjointObjectProperties
           | ObjectPropertyRange
           | ObjectPropertyDomain
           | FunctionalObjectProperty
           | InverseFunctionalObjectProperty
           | SymmetricObjectProperty
           | AsymmetricObjectProperty
           | ReflexiveObjectProperty
           | IrreflexiveObjectProperty
           | TransitiveObjectProperty
           | InverseObjectProperties
 referenced by: Axiom SubObjectPropertyChain: ObjectPropertyChain ( ObjectPropertyExpression )
         ::= 'ObjectPropertyChain' '(' ObjectPropertyExpression+ ')'
 referenced by: SubObjectPropertyOf SubObjectPropertyOf: SubObjectPropertyOf ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression SubObjectPropertyChain ObjectPropertyExpression ) referenced by: ObjectPropertyAxiom EquivalentObjectProperties: EquivalentObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertySet )
         ::= 'EquivalentObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertySet ')'
 referenced by: ObjectPropertyAxiom DisjointObjectProperties: DisjointObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertySet )
         ::= 'DisjointObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertySet ')'
 referenced by: ObjectPropertyAxiom ObjectPropertySet: ObjectPropertyExpression ObjectPropertyExpression referenced by: DisjointObjectProperties EquivalentObjectProperties ObjectPropertyRange: ObjectPropertyRange ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression )
         ::= 'ObjectPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression ')'
 referenced by: ObjectPropertyAxiom ObjectPropertyDomain: ObjectPropertyDomain ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression )
         ::= 'ObjectPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ClassExpression ')'
 referenced by: ObjectPropertyAxiom FunctionalObjectProperty: FunctionalObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'FunctionalObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom InverseObjectProperties: InverseObjectProperties ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ObjectPropertyExpression )
         ::= 'InverseObjectProperties' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom InverseFunctionalObjectProperty: InverseFunctionalObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'InverseFunctionalObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom SymmetricObjectProperty: SymmetricObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'SymmetricObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom AsymmetricObjectProperty: AsymmetricObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'AsymmetricObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom ReflexiveObjectProperty: ReflexiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'ReflexiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom IrreflexiveObjectProperty: IrreflexiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'IrreflexiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom TransitiveObjectProperty: TransitiveObjectProperty ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression )
         ::= 'TransitiveObjectProperty' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression ')'
 referenced by: ObjectPropertyAxiom DataPropertyAxiom: SubDataPropertyOf EquivalentDataProperties DisjointDataProperties DataPropertyRange DataPropertyDomain FunctionalDataProperty
         ::= SubDataPropertyOf
           | EquivalentDataProperties
           | DisjointDataProperties
           | DataPropertyRange
           | DataPropertyDomain
           | FunctionalDataProperty
 referenced by: Axiom SubDataPropertyOf: SubDataPropertyOf ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataPropertyExpression )
         ::= 'SubDataPropertyOf' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataPropertyExpression ')'
 referenced by: DataPropertyAxiom EquivalentDataProperties: EquivalentDataProperties ( AxiomAnnotationSet AxiomAspectSet DataPropertySet )
         ::= 'EquivalentDataProperties' '(' AxiomAnnotationSet AxiomAspectSet DataPropertySet ')'
 referenced by: DataPropertyAxiom DisjointDataProperties: DisjointDataProperties ( AxiomAnnotationSet AxiomAspectSet DataPropertySet )
         ::= 'DisjointDataProperties' '(' AxiomAnnotationSet AxiomAspectSet DataPropertySet ')'
 referenced by: DataPropertyAxiom DataPropertySet: DataPropertyExpression DataPropertyExpression referenced by: DisjointDataProperties EquivalentDataProperties DataPropertyDomain: DataPropertyDomain ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ClassExpression )
         ::= 'DataPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ClassExpression ')'
 referenced by: DataPropertyAxiom DataPropertyRange: DataPropertyRange ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataRange )
         ::= 'DataPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression DataRange ')'
 referenced by: DataPropertyAxiom FunctionalDataProperty: FunctionalDataProperty ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression )
         ::= 'FunctionalDataProperty' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression ')'
 referenced by: DataPropertyAxiom IndividualAxiom: SameIndividuals DifferentIndividuals ClassAssertion ObjectPropertyAssertion DataPropertyAssertion NegativeObjectPropertyAssertion NegativeDataPropertyAssertion
         ::= SameIndividuals
           | DifferentIndividuals
           | ClassAssertion
           | ObjectPropertyAssertion
           | DataPropertyAssertion
           | NegativeObjectPropertyAssertion
           | NegativeDataPropertyAssertion
 referenced by: Axiom IndividualSet: Individual Individual
         ::= Individual Individual+
 referenced by: DifferentIndividuals SameIndividuals SameIndividuals: SameIndividual ( AxiomAnnotationSet AxiomAspectSet IndividualSet )
         ::= 'SameIndividual' '(' AxiomAnnotationSet AxiomAspectSet IndividualSet ')'
 referenced by: IndividualAxiom DifferentIndividuals: DifferentIndividuals ( AxiomAnnotationSet AxiomAspectSet IndividualSet )
         ::= 'DifferentIndividuals' '(' AxiomAnnotationSet AxiomAspectSet IndividualSet ')'
 referenced by: IndividualAxiom ClassAssertion: ClassAssertion ( AxiomAnnotationSet AxiomAspectSet ClassExpression Individual )
         ::= 'ClassAssertion' '(' AxiomAnnotationSet AxiomAspectSet ClassExpression Individual ')'
 referenced by: IndividualAxiom ObjectPropertyAssertion: ObjectPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual )
         ::= 'ObjectPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual ')'
 referenced by: IndividualAxiom NegativeObjectPropertyAssertion: NegativeObjectPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual )
         ::= 'NegativeObjectPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet ObjectPropertyExpression Individual Individual ')'
 referenced by: IndividualAxiom DataPropertyAssertion: DataPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal )
         ::= 'DataPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal ')'
 referenced by: IndividualAxiom NegativeDataPropertyAssertion: NegativeDataPropertyAssertion ( AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal )
         ::= 'NegativeDataPropertyAssertion' '(' AxiomAnnotationSet AxiomAspectSet DataPropertyExpression Individual Literal ')'
 referenced by: IndividualAxiom IndividualIRI: IRI
         ::= IRI
 referenced by: EntityIRI IArg Individual NamedIndividual Individual: IndividualIRI AnonymousIndividual
         ::= IndividualIRI
           | AnonymousIndividual
 referenced by: ClassAssertion DataPropertyAssertion IndividualMinOneSet IndividualSet NegativeDataPropertyAssertion NegativeObjectPropertyAssertion ObjectHasValue ObjectPropertyAssertion ObjectPropertyIRI: IRI
         ::= IRI
 referenced by: EntityIRI ObjectProperty ObjectPropertyExpression AnnotationAxiom: AnnotationAssertion AnnotationPropertyDomain AnnotationPropertyRange SubAnnotationPropertyOf
         ::= AnnotationAssertion
           | AnnotationPropertyDomain
           | AnnotationPropertyRange
           | SubAnnotationPropertyOf
 referenced by: Axiom Annotation: Annotation ( Annotation AnnotationPropertyIRI AnnotationValue )
         ::= 'Annotation' '(' Annotation* AnnotationPropertyIRI AnnotationValue ')'
 referenced by: Annotation Aspect AxiomAnnotationSet Ontology AnnotationSubject: IRI AnonymousIndividual
         ::= IRI
           | AnonymousIndividual
 referenced by: AnnotationAssertion AnnotationValue: IRI AnonymousIndividual Literal
         ::= IRI
           | AnonymousIndividual
           | Literal
 referenced by: Annotation AnnotationAssertion AxiomAnnotationSet: Annotation
         ::= Annotation*
 referenced by: AnnotationAssertion AnnotationPropertyDomain AnnotationPropertyRange AspectAssertion AsymmetricObjectProperty ClassAssertion DLQueryPointcut DLSafeRule DataPropertyAssertion DataPropertyDomain DataPropertyRange DatatypeDefinitionAxiom Declaration DifferentIndividuals DisjointClasses DisjointDataProperties DisjointObjectProperties DisjointUnion EquivalentClasses EquivalentDataProperties EquivalentObjectProperties FunctionalDataProperty FunctionalObjectProperty HasKey InverseFunctionalObjectProperty InverseObjectProperties IrreflexiveObjectProperty ModulePointcut NegativeDataPropertyAssertion NegativeObjectPropertyAssertion ObjectPropertyAssertion ObjectPropertyDomain ObjectPropertyRange ReflexiveObjectProperty SPARQLPointcut SameIndividuals SubAnnotationPropertyOf SubClassOf SubDataPropertyOf SubObjectPropertyOf SymmetricObjectProperty TransitiveObjectProperty ImportsDeclaration: Import ( IRI )
         ::= 'Import' '(' IRI ')'
 referenced by: Ontology AnnotationAssertion: AnnotationAssertion ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationSubject AnnotationValue ) referenced by: AnnotationAxiom SubAnnotationPropertyOf: SubAnnotationPropertyOf ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationPropertyIRI )
         ::= 'SubAnnotationPropertyOf' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI AnnotationPropertyIRI ')'
 referenced by: AnnotationAxiom AnnotationPropertyDomain: AnnotationPropertyDomain ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI )
         ::= 'AnnotationPropertyDomain' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI ')'
 referenced by: AnnotationAxiom AnnotationPropertyRange: AnnotationPropertyRange ( AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI )
         ::= 'AnnotationPropertyRange' '(' AxiomAnnotationSet AxiomAspectSet AnnotationPropertyIRI IRI ')'
 referenced by: AnnotationAxiom HasKey: HasKey ( AxiomAnnotationSet AxiomAspectSet ClassExpression ( ObjectPropertyExpression ) ( DataPropertyExpression ) ) referenced by: Axiom Declaration: Declaration ( AxiomAnnotationSet AxiomAspectSet Entity )
         ::= 'Declaration' '(' AxiomAnnotationSet AxiomAspectSet Entity ')'
 referenced by: Axiom Entity: Class ObjectProperty DataProperty NamedIndividual Datatype AnnotationProperty
Entity   ::= Class
           | ObjectProperty
           | DataProperty
           | NamedIndividual
           | Datatype
           | AnnotationProperty
 referenced by: Declaration Literal: QuotedString ^^ DatatypeIRI @ LangTag
Literal  ::= QuotedString ( '^^' DatatypeIRI | '@' LangTag )?
 referenced by: AnnotationValue DArg DataHasValue DataOneOf DataPropertyAssertion DataRangeFacetRestriction NegativeDataPropertyAssertion QuotedString: " ANY_CHAR ANY_ESCAPED_CHAR "
         ::= '"' ( ANY_CHAR | ANY_ESCAPED_CHAR )* '"'
 referenced by: Literal LangTag: PN_LOCAL referenced by: Literal DLSafeRule: DLSafeRule ( AxiomAnnotationSet AxiomAspectSet Body ( Atom ) Head ( Atom ) )
         ::= 'DLSafeRule' '(' AxiomAnnotationSet AxiomAspectSet 'Body' '(' Atom* ')' 'Head' '(' Atom* ')' ')'
 referenced by: Axiom Atom: ClassAtom DataRangeAtom ObjectPropertyAtom DataPropertyAtom BuiltInAtom SameIndividualAtom DifferentIndividualsAtom
Atom     ::= ClassAtom
           | DataRangeAtom
           | ObjectPropertyAtom
           | DataPropertyAtom
           | BuiltInAtom
           | SameIndividualAtom
           | DifferentIndividualsAtom
 referenced by: DLSafeRule ClassAtom: ClassAtom ( ClassExpression IArg )
         ::= 'ClassAtom' '(' ClassExpression IArg ')'
 referenced by: Atom DataRangeAtom: DataRangeAtom ( DataRange DArg )
         ::= 'DataRangeAtom' '(' DataRange DArg ')'
 referenced by: Atom ObjectPropertyAtom: ObjectPropertyAtom ( ObjectPropertyExpression IArg IArg )
         ::= 'ObjectPropertyAtom' '(' ObjectPropertyExpression IArg IArg ')'
 referenced by: Atom DataPropertyAtom: DataPropertyAtom ( DataPropertyIRI IArg DArg )
         ::= 'DataPropertyAtom' '(' DataPropertyIRI IArg DArg ')'
 referenced by: Atom BuiltInAtom: BuiltInAtom ( IRI DArg )
         ::= 'BuiltInAtom' '(' IRI DArg+ ')'
 referenced by: Atom SameIndividualAtom: SameIndividualAtom ( IArg IArg )
         ::= 'SameIndividualAtom' '(' IArg IArg ')'
 referenced by: Atom DifferentIndividualsAtom: DifferentIndividualsAtom ( IArg IArg )
         ::= 'DifferentIndividualsAtom' '(' IArg IArg ')'
 referenced by: Atom IArg: Variable ( IRI ) IndividualIRI
IArg     ::= 'Variable' '(' IRI ')'
           | IndividualIRI
 referenced by: ClassAtom DataPropertyAtom DifferentIndividualsAtom ObjectPropertyAtom SameIndividualAtom DArg: Variable ( IRI ) Literal
DArg     ::= 'Variable' '(' IRI ')'
           | Literal
 referenced by: BuiltInAtom DataPropertyAtom DataRangeAtom ANY_ESCAPED_CHAR: \ .
         ::= '\' .
 referenced by: QuotedString ANY_CHAR: [^"]
ANY_CHAR ::= [^"]
 referenced by: QuotedString INT: [0-9]
INT      ::= [0-9]+
 referenced by: Integer FULLIRI: < [^> ] >
FULLIRI  ::= '<' [^> ]* '>'
 referenced by: FullIRI PNAME_NS: PN_PREFIX : referenced by: PNAME_LN PrefixName PN_LOCAL: PN_CHARS_U [0-9] PN_CHARS . PN_CHARS
PN_LOCAL ::= ( PN_CHARS_U | [0-9] ) ( ( PN_CHARS | '.' )* PN_CHARS )?
 referenced by: LangTag NODEID PNAME_LN PNAME_LN: PNAME_NS PN_LOCAL referenced by: AbbreviatedIRI PN_PREFIX: PN_CHARS_BASE PN_CHARS . PN_CHARS
         ::= PN_CHARS_BASE ( ( PN_CHARS | '.' )* PN_CHARS )?
 referenced by: PNAME_NS 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]
         ::= [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_U PN_PREFIX PN_CHARS: PN_CHARS_U - [0-9] [#x00B7] [#x0300-#x036F] [#x203F-#x2040]
           | [-0-9#x00B7#x0300-#x036F#x203F-#x2040]
 referenced by: PN_LOCAL PN_PREFIX PN_CHARS_U: PN_CHARS_BASE _
         ::= PN_CHARS_BASE
           | '_'
 referenced by: PN_CHARS PN_LOCAL NODEID: _: PN_LOCAL
NODEID   ::= '_:' PN_LOCAL
 referenced by: AnonymousIndividual ERROR: .
ERROR    ::= .
 no references_: " [#x000A] [#x0009] [#x000D] //
_        ::= [ "#x000A#x0009#x000D]
           | '//'
          /* ws: definition */
 no referencesEOF: $
EOF      ::= $
 referenced by: parse   ... generated by Railroad Diagram Generator R R