This standard thought of entailment covers each other basic-purchase reasoning in addition to low-monotonic logics that underlie many code-built dialects; they runs the thought of entailment discussed from inside the [Shoham87] to your matter of multi-appreciated 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

• a normative mapping regarding RIF-FLD demonstration syntax so you’re able to XML (Section Mapping about RIF-FLD Presentation Syntax toward XML Syntax), and
• a good normative XML Outline toward XML syntax (Appendix XML Outline for FLD).

Since explained about analysis area, the style of RIF envisions that presentation syntaxes regarding coming reason RIF dialects will be specializations of speech sentence structure off RIF-FLD. This is why the really-shaped formula in the presentation sentence structure out of a basic logic RIF dialect should feel better-shaped within the a specialization of RIF-FLD, which includes actualizing the latest RIF-FLD extension issues (find review part). The goal of the new XML serialization construction should be to provide good equivalent measuring stick on the RIF XML syntax. It amounts for the requirement you to definitely any admissible XML document to possess a logic RIF dialect also needs to getting an admissible XML file to own a specialized RIF-FLD (admissibility is set less than). With regards to the speech-to-XML sentence structure mappings, this means that for each and every mapping having a reasoning RIF dialect have to be a constraint of your own involved mapping to possess RIF-FLD. Such as, brand new mapping throughout the demonstration syntax away from RIF-BLD so you’re able to XML for the [RIF-BLD] are a constraint of your own speech-syntax-to-XML mapping having RIF-FLD. In this way, RIF-FLD will bring a design to own extensibility and you may shared compatibility anywhere between XML syntaxes out of RIF dialects.

Remember that the syntax out of RIF-FLD is not perspective-free and therefore can’t be totally caught by the EBNF otherwise XML Schema. Nevertheless, validity when it comes to XML Schema would be a useful take to. To reflect which state of affairs, i establish a few notions off syntactic correctness. Brand new weaker belief checks correctness just with value so you can XML Schema, while the more strict belief is short for “true” syntactic correctness.

If an effective dialect, D, focuses RIF-FLD up coming their XML outline should be an expertise of the XML schema away from RIF-FLD. This may involve elimination of amolatina mobile site specific issue and you can properties, limitation of one’s XML version of the remainder, and you will replacement of the expansion factors which have compatible real parts of the specified (maybe minimal) designs. ?

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 regarding RIF-FLD outline so you can a beneficial dialect outline)

In the event the a great dialect, D, focuses RIF-FLD after that a valid XML file when you look at the dialect D is just one which is legitimate according to certified 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.