It should be listed you to [RIF-DTB] introduces a good amount of depending-in the equivalence predicates to your various research models (such as,

It should be listed you to [RIF-DTB] introduces a good amount of depending-in the equivalence predicates to your various research models (such as,

NEWCONNECTIVE

  • Syntactic framework. So it structure describes the newest mechanisms to have indicating brand new specialized speech syntax from RIF reason languages because of the specializing new demonstration syntax of one’s design. New presentation sentence structure is utilized within the RIF to define the newest semantics of your own languages and train area of the suggestions with advice. Which sentence structure isn’t intended to be a concrete sentence structure for new languages; they simply leaves out details including the delimiters of the various syntactic section, parenthesizing, precedence out of workers, etc. As the RIF was an interchange style, they uses XML as the just tangible sentence structure.
  • Semantic design. The brand new semantic structure means the brand new mechanisms that are used in indicating the latest different types of RIF reason languages.
  • XML serialization structure. So it construction talks of the overall values that logic languages should be include in indicating the real XML-centered syntaxes. For each and every dialect, the tangible XML sentence structure are a derivative of your own dialect’s demonstration syntax. It could be recognized as a serialization of that syntax.

NEWCONNECTIVE

  • Constants and you will parameters. These terms are typical to the majority reasoning languages.
  • Positional terms and conditions. These types of terms are generally used in first-acquisition logic. RIF-FLD represent positional words inside a somewhat far more standard way inside the purchase to enable languages having large-order sentence structure, particularly HiLog [CKW93] and you may Relfun [RF99].
  • Words having entitled arguments. Talking about including positional terms aside from for each dispute out-of a great name is called while the purchase of your own arguments are immaterial. Words that have named arguments generalize the thought of rows within the relational tables, in which column titles match dispute brands.
  • Lists. This type of terminology correspond to directories for the reasoning programming, and they are used in the fundamental Reasoning Dialect. Limited brands of them terminology can be used on Key Dialect in addition to Design Laws and regulations Dialect.
  • Structures. A-frame term is short for a denial regarding the an item and its features. Such terms and conditions correspond to particles from F-reasoning [KLW95]. There is certainly syntactic resemblance anywhere between words having named objections and you may frames, once the features (or qualities) of an item wind up as called objections. Although not, the fresh semantics of them terms and conditions are very different (find Section Semantic Formations).
  • Classification. Such terms and conditions are accustomed to describe the fresh new subclass and category membership relationship. There have been two types of class words: membership terms and conditions and you can subclass words. Like frames, such terms were borrowed off F-reason [KLW95].
  • Equality. This type of words are widely used to associate most other words.

pred:numeric-equivalent or pred:boolean-equal). 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 https://datingranking.net/farmers-dating-site-review/ 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 of the study models, the latest translation of your own equivalence conditions can vary which will be computed of the belongings in RIF data

Symbol rooms partition the latest gang of low-logical signs one correspond to private constants, predicates, and functions, each partition will then be given a unique semantics. A symbol room enjoys a keen identifier and you may a good lexical place, which represent the brand new “shape” of one’s symbols because icon place. Certain symbol rooms when you look at the RIF are accustomed to pick Web organizations as well as their lexical space includes strings you to definitely syntactically seem like internationalized money identifiers [RFC-3987], or Eye (elizabeth.g., Other symbol areas are acclimatized to represent the newest datatypes required by RIF (such as for example,

Leave a Comment

Your email address will not be published. Required fields are marked *