Brand new conclusion regarding regional signs might be compared with this out-of

Brand new conclusion regarding regional signs might be compared with this out-of

That it standard idea of entailment discusses both first-order logic and the low-monotonic logics you to underlie of a lot code-centered dialects; they offers the very thought of entailment discussed for the [Shoham87] to your question of multi-cherished 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: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 Framework

  • an effective normative mapping in the RIF-FLD presentation sentence structure in order to XML (Section Mapping on the RIF-FLD Demonstration Syntax towards XML Syntax), and you will
  • a great normative XML Outline to the XML syntax (Appendix XML Outline for FLD).

Since the informed me from the analysis telegraph dating giriÅŸ section, the appearance of RIF envisions your speech syntaxes from future reasoning RIF dialects was specializations of your own demonstration syntax from RIF-FLD. As a result most of the better-molded formula in the demonstration sentence structure of a basic logic RIF dialect also needs to feel well-formed from inside the a specialty off RIF-FLD, with actualizing the brand new RIF-FLD expansion things (see evaluation point). The reason for the fresh XML serialization structure is to try to give a good comparable yardstick towards RIF XML syntax. That it number toward criteria one any admissible XML document to own a reason RIF dialect should end up being a keen admissible XML file having specialized RIF-FLD (admissibility is scheduled below). With regards to the demonstration-to-XML sentence structure mappings, as a result for each and every mapping to possess a reasoning RIF dialect need getting a limitation of your related mapping getting RIF-FLD. For instance, the new mapping from the demonstration syntax regarding RIF-BLD in order to XML in the [RIF-BLD] is a regulation of your demonstration-syntax-to-XML mapping having RIF-FLD. Similar to this, RIF-FLD brings a design to have extensibility and you will mutual compatibility anywhere between XML syntaxes away from RIF dialects.

Remember your syntax regarding RIF-FLD isn’t perspective-100 % free which means that cannot be completely caught by EBNF or XML Outline. Nevertheless, legitimacy when it comes to XML Outline would be a good attempt. To echo which situation, we define one or two notions out of syntactic correctness. Brand new weakened understanding checks correctness only with esteem so you can XML Outline, since stricter sense is short for «true» syntactic correctness.

In the event the a good dialect, D, focuses RIF-FLD upcoming their XML outline need to be a specialty of your own XML schema from RIF-FLD. This can include elimination of some elements and qualities, limitation of your own XML kind of the rest, and you may replacement for of your extension activities having compatible concrete areas of the required (possibly restricted) items. ?

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 (Specialty out-of RIF-FLD schema to help you a dialect outline)

If an excellent dialect, D, focuses RIF-FLD up coming a legitimate XML document inside the dialect D is certainly one that’s valid depending on the formal XML schema 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.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *