That it general idea of entailment talks about each other first-purchase reasoning as well as the non-monotonic logics that underlie of several signal-built languages; it offers the very thought of entailment discussed during the [Shoham87] on matter of multiple-respected logics.
Note that one consequence of the multi-document semantics is that local constants specified in one document cannot be queried from another document. For instance, if one document, ?', has the fact ""^^rif:iri("abc"^^rif:regional) while another document formula, ?, imports ?' and has the rule ""^^rif:iri(?X) :- ""^^rif:iri(?X) , then ? |= ""^^rif:iri("abc"^^rif:local) does not hold. This is because the symbol "abc"^^rif:local in ?' and ? is treated as different constants due to the process of renaming apart that takes place prior to truth valuation.
cuatro XML Serialization Construction
- a beneficial normative mapping regarding the RIF-FLD demonstration sentence structure to XML (Area Mapping on the RIF-FLD Demonstration Syntax toward XML Sentence structure), and you may
- a normative XML Outline into XML syntax (Appendix XML Outline getting FLD).
As explained on the overview area, the style of RIF envisions that speech syntaxes out of coming reason RIF dialects could well be specializations of your presentation syntax out of RIF-FLD. Thus all well-formed algorithm from the speech syntax of a standard logic RIF dialect should also getting well-molded into the a specialty of RIF-FLD, with actualizing the newest RIF-FLD extension issues (select assessment area). The purpose of the brand new XML serialization build would be to give a good similar measuring stick into RIF XML sentence structure. It numbers into the specifications you to one admissible XML file getting a reason RIF dialect must also getting an enthusiastic admissible XML document to possess an expert RIF-FLD (admissibility is set less than). In terms of the demonstration-to-XML syntax mappings, as a result per mapping to own a logic RIF dialect have to end up being a restriction of the related mapping having RIF-FLD. By way of example, this new mapping on the speech sentence structure from RIF-BLD so you can XML within the [RIF-BLD] try chatango a restriction of your presentation-syntax-to-XML mapping to have RIF-FLD. Along these lines, RIF-FLD provides a design for extensibility and you will mutual being compatible between XML syntaxes out of RIF dialects.
Recall the syntax out-of RIF-FLD isn’t context-100 % free for example cannot be completely captured by the EBNF or XML Schema. Still, legitimacy with respect to XML Outline might be a helpful sample. So you’re able to mirror so it situation, i establish several impression away from syntactic correctness. The fresh new weaker understanding monitors correctness only with regard to help you XML Schema, as the more strict understanding stands for «true» syntactic correctness.
In the event the a beneficial dialect, D, focuses RIF-FLD after that their XML schema need to be a specialization of one’s XML outline from RIF-FLD. This includes removal of certain points and you can functions, restriction of XML type of the remainder, and you will replacement of your extension points which have appropriate real elements of the specified (possibly restricted) types. ?
Definition (Valid XML document in RIF-FLD). A valid RIF-FLD document in the XML syntax is an XML document that is valid with respect to the XML schema in Appendix XML Schema for RIF-FLD, where the extension points NEWCONNECTIVE, NEWQUANTIFIER, NEWAGGRFUNC, and NEWTERM are specialized as concrete elements of the types prescribed by the RIF-FLD XML schema.
Meaning (Expertise of RIF-FLD outline so you’re able to a good dialect outline)
When the a great dialect, D, focuses RIF-FLD after that a legitimate XML file in the dialect D is just one that is valid with respect to the official XML outline out-of D. ?
Definition (Admissible XML document in a logic dialect). An admissible RIF-FLD document in the XML syntax is a valid FLD document in that syntax that is the image of a well-formed RIF-FLD document in the presentation syntax (see Definition Well-formed formula) under the presentation-to-XML syntax mapping ?fld defined in Section Mapping from the RIF-FLD Presentation Syntax to the XML Syntax.