Which general notion of entailment discusses both very first-buy logic while the non-monotonic logics you to definitely underlie many code-established dialects; it expands the very thought of entailment laid out from inside the [Shoham87] toward case of multi-cherished logics.

Note that one consequence of the multi-document semantics is that local constants specified in one document cannot be https://datingranking.net/biker-planet-review/ queried from another document. For instance, if one document, ?', has the fact ""^^rif:iri("abc"^^rif:local) 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

• good normative mapping throughout the RIF-FLD speech syntax to XML (Part Mapping throughout the RIF-FLD Presentation Syntax toward XML Syntax), and
• a great normative XML Schema to the XML sentence structure (Appendix XML Schema for FLD).

As the informed me on the assessment area, the appearance of RIF envisions the speech syntaxes off future logic RIF dialects would be specializations of demonstration sentence structure out of RIF-FLD. Thus all better-designed algorithm regarding the presentation sentence structure regarding a standard reason RIF dialect should become really-shaped during the a specialty of RIF-FLD, with actualizing the brand new RIF-FLD extension products (select overview part). The purpose of the brand new XML serialization build is to try to provide an effective similar yardstick into the RIF XML syntax. This amounts to your criteria you to definitely people admissible XML file to own a logic RIF dialect also needs to be a keen admissible XML document for a professional RIF-FLD (admissibility is defined lower than). With regards to the speech-to-XML sentence structure mappings, this means that per mapping having a reasoning RIF dialect need to end up being a limitation of one’s associated mapping to have RIF-FLD. By way of example, the latest mapping on the speech sentence structure off RIF-BLD to XML from inside the [RIF-BLD] is actually a limitation of your own presentation-syntax-to-XML mapping having RIF-FLD. Like this, RIF-FLD brings a build to possess extensibility and you may common compatibility between XML syntaxes of RIF languages.

Keep in mind that the sentence structure out-of RIF-FLD is not context-free which means cannot be completely captured of the EBNF or XML Outline. Nevertheless, validity regarding XML Schema shall be a good sample. To echo this situation, we establish several impression out-of syntactic correctness. The new weakened insight inspections correctness just with value so you can XML Outline, while the more strict perception stands for “true” syntactic correctness.

If good dialect, D, focuses RIF-FLD next its XML outline must be an expertise of your own XML outline out-of RIF-FLD. This may involve elimination of certain issues and you will services, limit of XML form of the others, and you can replacement for of the extension things which have compatible real parts of the desired (perhaps restricted) products. ?

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 (Specialization from RIF-FLD outline so you’re able to a dialect schema)

In the event that a great dialect, D, specializes RIF-FLD up coming a valid XML document in dialect D is but one that is legitimate depending on the certified XML outline away from 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.