It ought to be noted you to definitely [RIF-DTB] raises enough established-into the equality predicates into some study sizes (as an instance,

It ought to be noted you to definitely [RIF-DTB] raises enough established-into the equality predicates into some study sizes (as an instance,

NEWCONNECTIVE

  • Syntactic structure. So it construction represent this new mechanisms for indicating the official demonstration sentence structure of RIF reason dialects of the concentrating this new speech sentence structure of the structure. New demonstration sentence structure is employed from inside the RIF to establish the new semantics of your languages and to train the main information which have instances. So it sentence structure is not intended to be a tangible syntax having the fresh languages; they simply leaves away information like the delimiters of the numerous syntactic portion, parenthesizing, precedence from workers, etc. As RIF try an interchange format, they spends XML as the just tangible sentence structure.
  • Semantic structure. The fresh semantic design means the new mechanisms which can be used in indicating new type RIF reason dialects.
  • XML serialization design. That it construction describes all round principles you to definitely reason languages should be include in indicating the tangible XML-mainly based syntaxes. Each dialect, its tangible XML syntax is actually a derivative of your dialect’s demonstration sentence structure. It may be named a great serialization of that syntax.

NEWCONNECTIVE

  • Constants and you will parameters. This type of terms and conditions are common to most logic languages.
  • Positional words. This type of words are commonly utilized in basic-buy reasoning. RIF-FLD talks of positional words for the a somewhat way more standard way when you look at the buy allow dialects with high-buy sentence structure, like HiLog [CKW93] and you will Relfun [RF99].
  • Terms and conditions having called objections. These are such positional conditions aside from per disagreement off a term is named as well as the buy of arguments is immaterial. Terminology which have titled arguments generalize the thought of rows in the relational tables, where column headings correspond to argument brands.
  • Directories. These types of conditions match listing in the reason coding, and are included in the fundamental Reason Dialect. Restricted products of them terminology are used on the Core Dialect therefore the Production Guidelines Dialect.
  • Structures. A-frame term means a denial on an object and its particular services. Such words correspond to particles off F-reasoning [KLW95]. There’s syntactic resemblance ranging from terms having entitled objections and you can structures, as characteristics (otherwise functions) out of an object end up like titled objections. But not, the semantics ones terminology differ (get a hold of Section Semantic Formations).
  • Category. These types of terms and conditions are accustomed to determine brand new subclass and you may class subscription relationships. There are two types of class terms: membership terminology beautifulpeople username and you may subclass terminology. Such as for instance structures, this type of terms and conditions was indeed lent from F-logic [KLW95].
  • Equality. This type of terms and conditions are accustomed to equate most 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 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).

not, outside the data versions, this new translation of equivalence terminology can vary and that’s determined by the items in RIF records

Symbol rooms partition brand new set of non-analytical icons that match personal constants, predicates, and procedures, each partition will be offered its own semantics. A symbol area enjoys an enthusiastic identifier and you may a lexical place, which describes the fresh “shape” of your signs in that symbol space. Specific icon areas when you look at the RIF are accustomed to choose Net agencies as well as their lexical space includes strings one to syntactically appear to be internationalized funding identifiers [RFC-3987], or Iris (elizabeth.grams., Most other icon rooms are widely used to show the fresh new datatypes required by RIF (such as for instance,

Leave a Reply