- Wef the signature = has an arrow expression (s s)?k then I= must map Ds?Ds to Dk.
The effect of datatypes. If dt ? DTS, let LSdt denote the lexical space of dt, VSdt denote its value space, and Ldt: LSdt > VSdt the lexical-to-value-space mapping. Then the following must hold:
- VSdt ? D; and
- For each constant "illuminated"^^dt such that lit ? LSdt, IC("lit"^^dt) = Ldt(lit).
RIF-FLD does not impose special requirements on IC for constants in the symbol spaces that do not correspond to the identifiers of the datatypes in DTS. Dialects ple of such a restriction could be a requirement that no constant in a particular symbol space (such as rif:regional) can be mapped to VSdt of a datatype dt.
step three.5 Annotations in addition to Official Semantics
RIF-FLD annotations are stripped before the mappings that constitute RIF-FLD semantic structures are applied. Likewise, they are stripped before applying the details valuation, TValI, defined in the next section. Thus, identifiers and metadata have no effect on the formal semantics.
Note that even in the event annotations in the RIF-FLD formulas was forgotten by the semantics, they are extracted of the XML units. Once the annotations is actually illustrated from the physique terminology, they may be reasoned having by regulations. The new frame terminology used to portray metadata can then getting fed some other formulas, therefore enabling need from the metadata. Yet not, RIF will not define any real semantics to possess metadata.
step three.6 Translation out-of Low-document Algorithms
This section defines how a semantic structure, I, determines the truth value TValI(?) of a RIF-FLD formula, ?, where ? is any formula other than a document formula or a remote formula. Truth valuation of document formulas is defined in the next section. “The new datatype identifiers into the DTS demand the next restrictions”の続きを読む