It standard notion of entailment covers one another first-purchase logic while the non-monotonic logics you to underlie of many laws-established dialects; they expands the idea of entailment laid out during the [Shoham87] for 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, ?', 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
- a beneficial normative mapping about RIF-FLD speech syntax to XML (Section Mapping on the RIF-FLD Presentation Sentence structure toward XML Syntax), and you may
- a beneficial normative XML Schema towards XML syntax (Appendix XML Outline to own FLD).
As the informed me from the evaluation point, the appearance of RIF envisions your demonstration syntaxes away from coming reason RIF languages could be specializations of your own demonstration sentence structure out of RIF-FLD. Thus every well-designed algorithm on presentation sentence structure out of an elementary reason RIF dialect must end up being better-designed into the an expertise from RIF-FLD, which has actualizing the fresh new RIF-FLD expansion issues (select review point). The intention of the newest XML serialization construction is to render a good comparable measuring stick for the RIF XML sentence structure. Which amounts into requirement you to definitely one admissible XML file having a logic RIF dialect must become an admissible XML file getting a professional RIF-FLD (admissibility is scheduled less than). In terms of the speech-to-XML sentence structure mappings, as a result each mapping to have a logic RIF dialect must become a restriction of corresponding mapping to own RIF-FLD. As an instance, the fresh mapping in the demonstration sentence structure out-of RIF-BLD so you can XML inside [RIF-BLD] are a limitation of the demonstration-syntax-to-XML mapping getting RIF-FLD. Like this, RIF-FLD brings a design to have extensibility and you will shared compatibility between XML syntaxes off RIF dialects.
Bear in mind that the syntax regarding RIF-FLD is not framework-100 % free meaning that can’t be totally seized because of the EBNF or XML Outline. Nevertheless, authenticity when it http://www.datingranking.net/tr/swinglifestyle-inceleme comes to XML Outline will likely be a helpful sample. So you’re able to mirror this situation, we identify a few impression out of syntactic correctness. The latest weakened perception monitors correctness only with respect to help you XML Schema, because more strict perception means “true” syntactic correctness.
In the event the a dialect, D, specializes RIF-FLD after that its XML outline need to be an expertise of the XML outline of RIF-FLD. This may involve elimination of some issues and qualities, maximum of your own XML sort of the remainder, and you can substitute for of your own extension factors which have appropriate concrete parts of the required (maybe restricted) brands. ?
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 of RIF-FLD schema to an effective dialect schema)
If a dialect, D, specializes RIF-FLD following a valid XML document in dialect D is just one that is legitimate with regards 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.