It ought to be detailed that [RIF-DTB] introduces a number of mainly based-into the equivalence predicates towards some study items (including,

NEWCONNECTIVE

  • Syntactic build. That it build describes the brand new components to possess indicating the new specialized demonstration syntax from RIF reason dialects by specializing new demonstration sentence structure of construction. The new presentation sentence structure is employed inside the RIF so you can determine the latest semantics of your own dialects and show an element of the info with advice. That it syntax isn’t meant to be a concrete sentence structure to possess the fresh dialects; they leaves aside information like the delimiters of the numerous syntactic section, parenthesizing, precedence regarding providers, and the like. As RIF is a keen interchange structure, it spends XML as its merely real syntax.
  • Semantic build. The fresh semantic framework refers to the newest components that will be useful how does afroromance work indicating the new varieties of RIF reason dialects.
  • XML serialization structure. It build defines the overall beliefs one to logic dialects are to include in indicating the real XML-dependent syntaxes. For each dialect, the real XML sentence structure are a by-product of dialect’s demonstration syntax. It could be recognized as good serialization of that syntax.

NEWCONNECTIVE

  • Constants and you can variables. These terms and conditions are to most logic languages.
  • Positional terms and conditions. Such terms and conditions are commonly utilized in very first-acquisition reasoning. RIF-FLD describes positional conditions from inside the a somewhat alot more standard way during the purchase to enable languages having higher-buy sentence structure, such as for instance HiLog [CKW93] and you will Relfun [RF99].
  • Terminology which have entitled arguments. Speaking of like positional terminology besides for every single dispute off a great label is called and acquisition of one’s arguments are immaterial. Terminology which have named objections generalize the idea of rows when you look at the relational dining tables, where line headings correspond to conflict names.
  • Listings. These types of terminology match lists into the logic coding, and so are utilized in the fundamental Reason Dialect. Restricted brands ones terms and conditions can be used regarding Core Dialect additionally the Production Statutes Dialect.
  • Frames. A-frame name is short for an assertion in the an object and its features. These types of terminology match molecules off F-logic [KLW95]. Discover syntactic similarity between terminology with entitled objections and you may structures, as qualities (or services) from an item be like entitled arguments. But not, new semantics of those terms and conditions will vary (find Point Semantic Structures).
  • Classification. These conditions are used to describe the new subclass and you can classification subscription matchmaking. There have been two kinds of group conditions: registration words and you may subclass terminology. Eg frames, this type of conditions was lent out of F-logic [KLW95].
  • Equivalence. This type of conditions are accustomed to equate other terms and conditions.

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).

However, outside the study sizes, this new translation of your own equivalence terminology can differ and that’s determined by belongings in RIF documents

Icon spaces partition the brand new gang of non-analytical symbols that correspond to private constants, predicates, and functions, and each partition is then offered a unique semantics. An icon room features an enthusiastic identifier and you will a good lexical room, hence defines brand new „shape“ of your icons because icon area. Particular icon room in the RIF are accustomed to choose Net entities in addition to their lexical space consists of strings one to syntactically feel like internationalized money identifiers [RFC-3987], or Eye (elizabeth.g., Most other symbol room are widely used to represent the fresh datatypes required by RIF (eg,

oglas
Prirodnjak. Osobenjak. Zanesenjak.