NEWCONNECTIVE
- Syntactic build. That it structure defines the latest elements having indicating the fresh new official demonstration sentence structure away from RIF reasoning dialects by concentrating the brand new presentation sentence structure of one’s construction. The brand new presentation sentence structure can be used inside RIF to define new semantics of languages and teach the main facts which have instances. That it sentence structure is not supposed to be a concrete sentence structure having the fresh dialects; it leaves away information such as the delimiters of the numerous syntactic section, parenthesizing, precedence away from providers, etc. Given that RIF is actually a keen interchange structure, it uses XML as the just concrete syntax.
- Semantic construction. The newest semantic construction describes brand new mechanisms which can be used in specifying the new models of RIF reasoning dialects.
- XML serialization design. That it construction represent the entire principles one logic dialects should be include in indicating its real XML-mainly based syntaxes. For every dialect, the tangible XML syntax try a by-product of the dialect’s speech syntax. It could be named a good serialization of these syntax.
NEWCONNECTIVE
- Constants and variables. This type of words are common to many reasoning languages.
- Positional terms. These conditions are generally found in very first-acquisition reason. RIF-FLD represent positional terms and conditions within the a somewhat a lot more standard means inside order to enable languages that have higher-order syntax, like HiLog [CKW93] and you may Relfun [RF99].
- Words that have called arguments. Speaking of like positional terminology apart from each disagreement away from a great title is named and also the acquisition of objections try immaterial. Terms and conditions that have entitled objections generalize the thought of rows for the relational tables, in which column headings match dispute brands.
- Listings. This type of words correspond to listings inside the reasoning coding, and are also utilized in the basic Reason Dialect. Limited models of those terms are utilized on Center Dialect therefore the Design Regulations Dialect.
- Structures. A-frame title is short for a denial about an item and its functions. Such terminology match molecules out of F-reason [KLW95]. There was syntactic resemblance between terminology that have entitled arguments and you can structures, as the characteristics (or characteristics) out of an item be like entitled objections. However, the fresh semantics of these conditions differ (discover Part Semantic Structures).
- Group. Such words are used to define brand new subclass and class subscription relationship. There’s two kinds of category terms and conditions: membership terminology and you will subclass words. Instance structures, these conditions was basically lent out of F-reason [KLW95].
- Equality. These types of words are widely used to equate other terms.
pred:numeric-equivalent or pred:boolean-equivalent). Those predicates have fixed interpretations, which coincide with the interpretation of the equality terms defined in this document when the latter are evaluated over data types. General use of equality terms is supported in systems such as FLORA-2 [FL2], and special cases are also allowed in Relfun [RF99].
Terms are then used to define several types of RIF-FLD formulas. RIF dialects can choose to permit all or some of the angelreturn support aforesaid categories of terms. In addition, RIF-FLD introduces extension points, one of which allows the introduction of new kinds of terms. An extension point is a keyword that is not a syntactic construct per se, but a placeholder that is supposed to be replaced by specific syntactic constructs of an appropriate kind. RIF-FLD defines several types of extension points: symbols (NEWSYMBOL), connectives (), quantifiers (NEWQUANTIFIER), aggregate functions (NEWAGGRFUNC), and terms (NEWTERM).
However, outside of the study systems, the fresh new interpretation of your equivalence terms can vary that’s computed by belongings in RIF data files
Icon spaces partition the latest selection of non-analytical icons you to definitely match personal constants, predicates, and procedures, and each partition will then be considering its very own semantics. An icon place possess a keen identifier and an effective lexical place, which describes brand new “shape” of one’s icons because symbol space. Certain symbol places in RIF are used to identify Websites entities and their lexical area includes chain one to syntactically look like internationalized financial support identifiers [RFC-3987], or Iris (e.g., Almost every other symbol rooms are widely used to show brand new datatypes required by RIF (including,