It standard thought of entailment discusses both basic-purchase logic plus the low-monotonic logics that underlie of a lot code-built dialects; they offers the thought of entailment laid out into the [Shoham87] for the 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: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 regarding the RIF-FLD demonstration syntax in order to XML (Point Mapping about RIF-FLD Demonstration Sentence structure to your XML Sentence structure), and you may
- good normative XML Schema with the XML sentence structure (Appendix XML Outline having FLD).
As informed me regarding the analysis point, the design of RIF envisions your speech syntaxes off upcoming logic RIF dialects might possibly be specializations of your presentation sentence structure away from RIF-FLD. Because of this every well-shaped formula on the presentation syntax from a fundamental reasoning RIF dialect might also want to become better-shaped within the a specialty of RIF-FLD, which includes actualizing the newest RIF-FLD expansion facts (come across analysis point). The objective of this new XML serialization framework should be to give a great similar yardstick on RIF XML sentence structure. That it numbers toward requirement one any admissible XML file having a reason RIF dialect also needs to getting a keen admissible XML document to have a specialized RIF-FLD (admissibility is defined below). In terms of the presentation-to-XML sentence structure mappings, as a result per mapping to possess a logic RIF dialect must become a regulation of associated mapping to have RIF-FLD. For example, brand new mapping on demonstration syntax off RIF-BLD in order to XML in [RIF-BLD] is a constraint of the speech-syntax-to-XML mapping to possess RIF-FLD. Similar to this, RIF-FLD will bring a structure getting extensibility and you will shared compatibility between XML syntaxes out of RIF languages.
Keep in mind your syntax from RIF-FLD is not framework-free for example can not be completely seized by the EBNF otherwise XML Schema. Still, legitimacy in terms of XML Outline will be a useful attempt. So you can reflect that it situation, i determine a couple of notions out of syntactic correctness. New weakened perception inspections correctness only with value to XML Schema, while the stricter opinion signifies “true” syntactic correctness.
In the event that an excellent dialect, D, focuses RIF-FLD following their XML outline have to be a specialty of XML outline of RIF-FLD. This may involve removal of particular facets and you will functions, restrict of your XML version of the others, and you will replacement of your extension items that have suitable real elements of the required (perhaps restricted) types. ?
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 (Expertise away from RIF-FLD outline in order to a dialect outline)
In the event that a great dialect, D, specializes RIF-FLD following a valid XML file in the dialect D is the one which is legitimate according to the official XML schema away 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.