@@ -77,24 +77,18 @@ uses a native tree structure while RDF is graph-based. For compound
77
77
objects OpenMath-XML can rely on the tree structure to represent syntax
78
78
trees of OpenMath expressions.
79
79
80
- As an example Figure #fig:openmath-xml-baum[[fig:openmath-xml-baum]]
81
- shows on the left side the abstract syntax tree of the expression
82
- latexmath:[$sin(x + y)$] and on the right side the respective
83
- OpenMath-XML encoding. For the representation of application objects
84
- (`OMA`) in RDF the additional property `:arguments` is required. It
80
+ For the representation of application objects (OMA) in RDF the additional property `:arguments` is required. It
85
81
references a list of arguments while the property `:operator` determines
86
82
the function that is applied to to the arguments. A similar
87
83
representation is also used for the other compound objects _binding_
88
84
(OMBIND), _attribution_ (OMATTR) and _error_ (OME). This is in line with
89
85
the OpenMath JSON encoding that also uses additional properties to
90
86
represent parent-child relationships.
91
87
92
- The resulting RDF representation of the expression is shown in
93
- Listing #lst:openmath-rdf[[lst:openmath-rdf]]. Caused by the additional
94
- properties the syntax is less compact as with the XML format but offers
95
- stronger semantics. For example, the meaning of the child elements is
96
- directly expressed through the properties `:operator` and `:arguments`.
88
+ The resulting RDF representation of the expression `sin(x + y)` is shown in following example.
97
89
90
+ [#lst-openmath-rdf-example]
91
+ .Example: RDF encoding of `sin(x + y)`
98
92
[source,turtle]
99
93
....
100
94
@prefix : <http://numerateweb.org/vocab/math#> .
@@ -111,6 +105,11 @@ directly expressed through the properties `:operator` and `:arguments`.
111
105
) .
112
106
....
113
107
108
+ Caused by the additional
109
+ properties the syntax is less compact as with the XML format but offers
110
+ stronger semantics. For example, the meaning of the child elements is
111
+ directly expressed through the properties `:operator` and `:arguments`.
112
+
114
113
=== References
115
114
116
115
References are used within the XML and binary encodings to share
0 commit comments