The brand new conclusion out-of regional symbols should be contrasted with this regarding

The brand new conclusion out-of regional symbols should be contrasted with this regarding

Which general notion of entailment talks about both first-buy logic therefore the the adult hub non-monotonic logics you to underlie of many rule-created dialects; they extends the idea of entailment discussed into the [Shoham87] to the matter of multi-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

  • an effective normative mapping from the RIF-FLD demonstration syntax so you’re able to XML (Point Mapping on RIF-FLD Demonstration Sentence structure towards the XML Syntax), and you will
  • a good normative XML Schema into the XML syntax (Appendix XML Outline to have FLD).

Just like the explained throughout the review part, the design of RIF envisions that presentation syntaxes out-of coming reasoning RIF languages will be specializations of your demonstration syntax out-of RIF-FLD. This means that all of the better-shaped algorithm on the demonstration syntax out-of a basic logic RIF dialect must also become really-shaped in the a specialty away from RIF-FLD, which includes actualizing this new RIF-FLD expansion circumstances (find evaluation point). The purpose of the XML serialization build should be to bring an effective equivalent yardstick into the RIF XML syntax. Which quantity towards the criteria you to definitely one admissible XML file to own a logic RIF dialect also needs to become an enthusiastic admissible XML file to possess a professional RIF-FLD (admissibility is defined below). With regards to the presentation-to-XML sentence structure mappings, this is why for each mapping to have a logic RIF dialect have to end up being a regulation of one’s related mapping to possess RIF-FLD. Such as, the fresh new mapping on the presentation sentence structure off RIF-BLD to help you XML in [RIF-BLD] try a limitation of the presentation-syntax-to-XML mapping getting RIF-FLD. Along these lines, RIF-FLD will bring a design having extensibility and you will mutual compatibility ranging from XML syntaxes out of RIF dialects.

Remember that sentence structure from RIF-FLD is not framework-free and thus cannot be fully caught by the EBNF or XML Schema. Still, validity regarding XML Schema is going to be a useful take to. In order to mirror that it state of affairs, we establish a few notions out-of syntactic correctness. The brand new weaker sense inspections correctness just with regard so you can XML Schema, just like the stricter notion means «true» syntactic correctness.

If a beneficial dialect, D, specializes RIF-FLD upcoming its XML schema have to be a specialty of your own XML schema off RIF-FLD. This includes elimination of particular factors and you will features, restriction of your XML types of the others, and substitute for of one’s expansion facts which have appropriate real parts of the desired (maybe restricted) versions. ?

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.

Definition (Expertise out-of RIF-FLD schema so you’re able to a good dialect outline)

If an excellent dialect, D, specializes RIF-FLD upcoming a valid XML document during the dialect D is but one which is legitimate depending on the official XML outline regarding 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.