Swipe visitors
cuatro.2 Mapping in the RIF-FLD Demonstration Sentence structure toward XML Syntax
Note that if D requires the directive Dialect(D) as part of its syntax then this implies that any D-admissible document must have this directive. ?
A spherical-falling of a keen admissible file in a great dialect, D, is a good semantics-preserving mapping so you can a file in any vocabulary L with an effective semantics-sustaining mapping in the L-document returning to a keen admissible D-document. When you find yourself semantically similar, the original additionally the round-tripped D-data files doesn’t have to be similar.
4.step 1 XML into RIF-FLD Code
RIF-FLD spends [XML1.0] for the XML syntax. The new XML serialization to possess RIF-FLD are alternating or completely striped [ANF01]. A totally striped serialization viewpoints XML data as the things and you can splits all of the XML labels on the classification descriptors, titled type tags, and you can property descriptors, titled character tags [TRT03]. I stick to the lifestyle of using capitalized brands to possess form of labels and you will lowercase names to own part labels.
The all-uppercase classes in the EBNF of the presentation syntax, such as Formula, become XML Schema groups in Appendix XML Schema for FLD. They are not visible in instance markup. The other classes as well as non-terminals and symbols (such as Is available or =) become XML elements with optional attributes, as shown below.
To possess capacity for reference, the initial formulas are included over the top
The RIF serialization framework for the syntax of Section EBNF Grammar for the Presentation Syntax of RIF-FLD uses the following XML tags. While there is a RIF-FLD element tag for the Transfer directive and an attribute for the Dialect directive, there are none for the Feet and Prefix directives: they are handled as discussed in Section Mapping from the RIF-FLD Presentation Syntax to the XML Syntax.
Title out-of a beneficial prefix isn’t on the an enthusiastic XML element, since it is handled thru preprocessing while the talked about during the Area Mapping of Low-annotated RIF-FLD Vocabulary.
The id and meta elements, which are expansions of the IRIMETA element, can occur optionally as the initial children of any Class element.
The XML syntax for symbol spaces uses the type attribute associated with the XML element Const. For instance, a literal in the xs:dateTime datatype is represented as
The xml:lang attribute, as defined by 2.12 Language Identification of XML 1.0 or its successor specifications in the W3C recommendation track, is optionally used to identify the language for the presentation of the Const to the user. It is allowed only in association with constants of the type rdf:plainLiteral. A compliant implementation MUST ignore the xml:lang attribute if the type of the Const is not rdf:plainLiteral.
This case shows a keen XML serialization to the formulas when you look at the Analogy step 3. Having most readily useful readability, i once again make use of the shortcut syntax outlined into the [RIF-DTB].
This section defines a normative mapping, ?fld, from the presentation syntax of Section EBNF Grammar for the Presentation Syntax of RIF-FLD to the XML syntax of RIF-FLD. The mapping is given via tables where each row specifies the mapping of a particular syntactic pattern in the presentation syntax. These patterns appear in the first column of the tables and the bold-italic symbols represent metavariables. The second column https://datingranking.net/tr/swipe-inceleme/ represents the corresponding XML patterns, which may contain applications of the mapping ?fld to these metavariables. When an expression ?fld(metavar) occurs in an XML pattern in the right column of a translation table, it should be understood as a recursive application of ?fld to the presentation syntax represented by the metavariable. The XML syntax result of such an application is substituted for the expression ?fld(metavar). A sequence of terms containing metavariables with subscripts is indicated by an ellipsis. A metavariable or a well-formed XML subelement is marked as optional by appending a bold-italic question mark, ?, to its right.