So it general https://datingranking.net/bbpeoplemeet-review/ idea of entailment covers both earliest-acquisition reason in addition to non-monotonic logics you to definitely underlie of a lot rule-created languages; they extends the idea of entailment discussed inside [Shoham87] with the matter of multi-valued 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.
4 XML Serialization Build
- an excellent normative mapping regarding the RIF-FLD speech sentence structure in order to XML (Part Mapping throughout the RIF-FLD Speech Sentence structure on the XML Syntax), and you will
- an excellent normative XML Schema with the XML syntax (Appendix XML Outline getting FLD).
Because explained on the review area, the style of RIF envisions your speech syntaxes away from coming reasoning RIF dialects would-be specializations of presentation syntax out-of RIF-FLD. Thus all the well-molded algorithm about presentation syntax off an elementary logic RIF dialect also needs to feel well-molded from inside the a specialization away from RIF-FLD, which has actualizing new RIF-FLD extension issues (discover evaluation section). The purpose of the XML serialization framework will be to render good comparable measuring stick into the RIF XML sentence structure. Which numbers into the needs you to definitely one admissible XML document to own a reason RIF dialect must end up being an enthusiastic admissible XML document to have a specialized RIF-FLD (admissibility is defined less than). With regards to the speech-to-XML syntax mappings, as a result for every single mapping getting a reasoning RIF dialect need certainly to be a regulation of involved mapping to have RIF-FLD. For-instance, new mapping regarding speech syntax away from RIF-BLD in order to XML within the [RIF-BLD] was a regulation of your own demonstration-syntax-to-XML mapping to possess RIF-FLD. Such as this, RIF-FLD brings a design to have extensibility and you will mutual being compatible anywhere between XML syntaxes out of RIF dialects.
Bear in mind that the syntax off RIF-FLD isn’t context-totally free and therefore cannot be fully caught of the EBNF otherwise XML Outline. Still, authenticity with regards to XML Outline might be a useful attempt. So you can echo so it situation, we determine several notions regarding syntactic correctness. The weakened opinion monitors correctness just with esteem in order to XML Outline, given that more strict notion stands for “true” syntactic correctness.
If the an excellent dialect, D, focuses RIF-FLD then the XML outline should be an expertise of your own XML outline regarding RIF-FLD. This may involve elimination of specific facets and you will features, limitation of your XML variety of the remainder, and substitute for of extension affairs having appropriate real components of the desired (possibly restricted) models. ?
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 (Specialization regarding RIF-FLD schema so you’re able to a great dialect schema)
In the event the a good dialect, D, specializes RIF-FLD following a legitimate XML file inside the dialect D is just one that’s appropriate with regards to the certified XML schema 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.