NEWCONNECTIVE
- Syntactic build. So it framework talks of the fresh new mechanisms getting specifying the latest authoritative demonstration syntax out of RIF reason dialects by the concentrating the fresh presentation sentence structure of one’s build. Brand new presentation syntax is employed during the RIF in order to identify the brand new semantics of dialects also to show an element of the info having advice. Which sentence structure isn’t meant to be a concrete sentence structure to have new dialects; they simply leaves aside information for instance the delimiters of the numerous syntactic elements, parenthesizing, precedence regarding operators, and stuff like that. Because RIF are an enthusiastic interchange structure, it spends XML as its simply tangible syntax.
- Semantic build. The newest semantic construction describes this new components that will be useful for specifying this new varieties of RIF logic languages.
- XML serialization build. This design represent the general standards that reason languages should be use in indicating its concrete XML-situated syntaxes. For every single dialect, the real XML syntax try a by-product of dialect’s presentation syntax. It could be thought to be an excellent serialization of that sentence structure.
NEWCONNECTIVE
- Constants and variables. This type of words are common to the majority of reasoning languages.
- Positional conditions. These types of conditions are generally used in very first-buy reasoning. RIF-FLD talks of positional conditions inside a slightly way more general method in the buy make it possible for dialects with high-purchase syntax, instance HiLog [CKW93] and Relfun [RF99].
- Words with titled arguments. Speaking of like positional conditions other than for each and every conflict from a good title is known as while the buy of your objections is immaterial. Terms and conditions with named arguments generalize the very thought of rows into the relational dining tables, where line headings https://datingranking.net/buddygays-review/ correspond to argument brands.
- Directories. These types of terms and conditions match listing in reasoning coding, and generally are used in the fundamental Reason Dialect. Restricted systems ones terms and conditions are used about Key Dialect in addition to Development Guidelines Dialect.
- Frames. A frame name means a denial regarding the an object and its features. This type of terminology match molecules from F-reasoning [KLW95]. There was syntactic resemblance between terminology that have named arguments and you may structures, as the properties (or characteristics) from an object resemble entitled arguments. But not, the latest semantics of these terminology differ (pick Section Semantic Formations).
- Category. Such words are used to define this new subclass and you will class membership relationships. There are 2 categories of classification terminology: membership terminology and you can subclass conditions. For example frames, these conditions was indeed borrowed out of F-reason [KLW95].
- Equality. These types of terms are used to equate almost every other terminology.
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, away from studies models, the brand new interpretation of one’s equivalence conditions can differ and is calculated because of the belongings in RIF data files
Icon room partition the fresh new gang of low-logical symbols that match individual constants, predicates, and procedures, and every partition is then offered its semantics. An icon area possess an identifier and you will an excellent lexical area, and this describes the newest “shape” of your signs because icon space. Particular symbol spaces during the RIF are accustomed to identify Web agencies in addition to their lexical room includes strings that syntactically look like internationalized capital identifiers [RFC-3987], or Iris (e.g., Almost every other symbol areas are widely used to depict the newest datatypes required by RIF (eg,