NEWCONNECTIVE
- Syntactic framework. It construction talks of the latest elements for specifying brand new certified demonstration syntax of RIF reason dialects because of the concentrating this new demonstration syntax of one’s design. This new presentation syntax can be used from inside the RIF so you can establish the latest semantics of your own dialects and instruct part of the info which have examples. It syntax is not meant to be a concrete syntax having the languages; it simply leaves out details like the delimiters of the numerous syntactic areas, parenthesizing, precedence regarding workers, and stuff like that. Once the RIF is actually an interchange format, it uses XML as its just real sentence structure.
- Semantic design. The latest semantic framework makes reference to the newest systems that will be utilized for specifying new varieties of RIF reasoning dialects.
- XML serialization construction. Which structure represent the entire values you to definitely reason dialects are to use in indicating its tangible XML-depending syntaxes. For every single dialect, their tangible XML syntax was a by-product of your own dialect’s demonstration sentence structure. It may be seen as a great serialization of the sentence structure.
NEWCONNECTIVE
- Constants and you may parameters. This type of words are typical to the majority of logic languages.
- Positional terminology. Such terms and conditions are generally used in earliest-acquisition reason. RIF-FLD defines positional terms from inside the a slightly much more standard way from inside the buy to BBWCupid sign in allow dialects that have large-acquisition sentence structure, eg HiLog [CKW93] and you may Relfun [RF99].
- Terminology which have titled arguments. Speaking of particularly positional terms and conditions besides per disagreement of a beneficial label is known as together with acquisition of the objections are immaterial. Words which have titled objections generalize the notion of rows in the relational dining tables, in which column headings match dispute brands.
- Directories. This type of terminology correspond to listings inside logic programming, and are used in the essential Reason Dialect. Minimal models of them words are used about Core Dialect plus the Development Rules Dialect.
- Frames. A-frame term is short for a denial from the an item and its own functions. Such terminology match particles of F-reason [KLW95]. Discover syntactic resemblance anywhere between terms and conditions that have called objections and you may frames, because the features (otherwise services) of an object end up like named arguments. Although not, the semantics of them terms vary (select Point Semantic Structures).
- Class. This type of conditions are used to describe the brand new subclass and you may class registration relationships. There are two types of classification conditions: registration terms and conditions and subclass terms. Including structures, these types of words had been lent regarding F-reason [KLW95].
- Equivalence. These types of terms and conditions are widely used to equate most other terms.
pred:numeric-equal 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 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).
Although not, outside the research types, brand new interpretation of equivalence words can differ and is calculated of the belongings in RIF data
Icon areas partition the latest group of non-analytical signs that correspond to private constants, predicates, and procedures, and each partition will be offered its own semantics. A symbol area provides an enthusiastic identifier and you may an effective lexical place, hence defines new “shape” of your own signs in this icon area. Specific symbol spaces for the RIF are used to identify Online agencies and their lexical place contains strings one syntactically appear to be internationalized investment identifiers [RFC-3987], otherwise Iris (age.g., Other icon rooms are widely used to represent the latest datatypes required by RIF (instance,