OWL Functional Syntax Parse Tree Viewer

OWL Functional Syntax

Prefix(:=<http://example.org/>)

Ontology(
    :ontology

    # All flowering plants have flowers, and anything with flowers is a flowering plant.
    EquivalentClasses(:FloweringPlant ObjectSomeValuesFrom(:hasPart :Flower))

    # All magnolias have flowers
    SubClassOf(:Magnolia ObjectSomeValuesFrom(:hasPart :Flower))
)1
Prefix(:=<http://example.org/>)
2

3
Ontology(
4
    :ontology
5

6
    # All flowering plants have flowers, and anything with flowers is a flowering plant.
7
    EquivalentClasses(:FloweringPlant ObjectSomeValuesFrom(:hasPart :Flower))
8

9
    # All magnolias have flowers
10
    SubClassOf(:Magnolia ObjectSomeValuesFrom(:hasPart :Flower))
11
)

Parse tree

R
ontologyDocument:OntologyDocument
R
prefixDeclaration:PrefixDeclaration
T
"Prefix"
T
"("
T
PREFIX_NAME:":"
T
"="
T
FULL_IRI:"<http://example.org/>"
T
")"
R
ontology:Ontology
T
"Ontology"
T
"("
R
ontologyIRI:OntologyIRI
R
iri:Iri
T
ABBREVIATED_IRI:":ontology"
R
directlyImportsDocuments:DirectlyImportsDocuments
R
ontologyAnnotations:OntologyAnnotations
R
axioms:Axioms
R
axiom:Axiom
R
classAxiom:ClassAxiom
R
equivalentClasses:EquivalentClasses
T
"EquivalentClasses"
T
"("
R
axiomAnnotations:AxiomAnnotations
R
classExpression:ClassExpression
R
class:Class
R
iri:Iri
T
ABBREVIATED_IRI:":FloweringPlant"
R
classExpression:ClassExpression
R
objectSomeValuesFrom:ObjectSomeValuesFrom
T
"ObjectSomeValuesFrom"
T
"("
R
objectPropertyExpression:ObjectPropertyExpression
R
objectProperty:ObjectProperty
R
iri:Iri
T
ABBREVIATED_IRI:":hasPart"
R
classExpression:ClassExpression
R
class:Class
R
iri:Iri
T
ABBREVIATED_IRI:":Flower"
T
")"
T
")"
R
axiom:Axiom
R
classAxiom:ClassAxiom
R
subClassOf:SubClassOf
T
"SubClassOf"
T
"("
R
axiomAnnotations:AxiomAnnotations
R
subClassExpression:SubClassExpression
R
classExpression:ClassExpression
R
class:Class
R
iri:Iri
T
ABBREVIATED_IRI:":Magnolia"
R
superClassExpression:SuperClassExpression
R
classExpression:ClassExpression
R
objectSomeValuesFrom:ObjectSomeValuesFrom
T
"ObjectSomeValuesFrom"
T
"("
R
objectPropertyExpression:ObjectPropertyExpression
R
objectProperty:ObjectProperty
R
iri:Iri
T
ABBREVIATED_IRI:":hasPart"
R
classExpression:ClassExpression
R
class:Class
R
iri:Iri
T
ABBREVIATED_IRI:":Flower"
T
")"
T
")"
T
")"

OWL Functional Syntax Parse Tree Viewer

See also