It general thought of entailment talks about one another very first-buy reason and also the non-monotonic logics one underlie of several laws-founded dialects; it offers the very thought of entailment discussed in the [Shoham87] to the question 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, https://datingranking.net/apex-review/?', 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.
4 XML Serialization Design
- an effective normative mapping about RIF-FLD demonstration sentence structure so you can XML (Area Mapping on RIF-FLD Speech Syntax toward XML Sentence structure), and you will
- a normative XML Schema into the XML syntax (Appendix XML Outline for FLD).
Because told me regarding the review section, the style of RIF envisions the demonstration syntaxes from upcoming reason RIF languages might possibly be specializations of your own speech syntax regarding RIF-FLD. This is why all really-formed algorithm on the presentation syntax of an elementary logic RIF dialect should also be better-formed from inside the a specialization out of RIF-FLD, with actualizing the newest RIF-FLD expansion circumstances (find analysis area). The purpose of the fresh new XML serialization structure should be to provide a similar measuring stick on the RIF XML syntax. It number towards needs you to one admissible XML file to own a reason RIF dialect might also want to become a keen admissible XML document to have a specialist RIF-FLD (admissibility is set less than). In terms of the demonstration-to-XML sentence structure mappings, this is why for each and every mapping getting a logic RIF dialect need certainly to getting a restriction of your corresponding mapping for RIF-FLD. By way of example, the newest mapping throughout the presentation sentence structure off RIF-BLD in order to XML from inside the [RIF-BLD] try a restriction of one’s presentation-syntax-to-XML mapping to have RIF-FLD. In this way, RIF-FLD provides a structure having extensibility and you can mutual compatibility ranging from XML syntaxes from RIF languages.
Remember that syntax out of RIF-FLD isn’t context-totally free meaning that can’t be totally seized by EBNF or XML Schema. Nonetheless, authenticity regarding XML Schema is a helpful test. In order to mirror it state of affairs, i describe several notions out of syntactic correctness. The fresh new weaker belief monitors correctness just with esteem in order to XML Outline, because more strict perception stands for “true” syntactic correctness.
If the good dialect, D, focuses RIF-FLD next their XML outline need to be a specialty of one’s XML schema out of RIF-FLD. This consists of elimination of specific issue and you will qualities, restriction of one’s XML variety of the rest, and you can substitute for of one’s extension factors having compatible real parts of the desired (maybe minimal) 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 (Specialization regarding RIF-FLD schema so you’re able to a great dialect outline)
When the an effective dialect, D, specializes RIF-FLD next a legitimate XML document when you look at the dialect D is certainly one that’s good according to the authoritative 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.