Brand new behavior away from local symbols would be compared thereupon from

Brand new behavior away from local symbols would be compared thereupon from

That it general thought of entailment covers one another basic-order reason as well as the low-monotonic logics one underlie many signal-based languages; it offers the very thought of entailment outlined for the [Shoham87] to the case of multi-respected 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.

cuatro XML Serialization Framework

  • an excellent normative mapping in the RIF-FLD presentation syntax in order to XML (Point Mapping throughout the RIF-FLD Presentation Syntax with the XML Sentence structure), and you can
  • a beneficial normative XML Schema to your XML sentence structure (Appendix XML Schema to have FLD).

Since said about analysis area, the design of RIF envisions that the presentation syntaxes out-of upcoming reasoning RIF dialects bicupid dating website would-be specializations of the presentation sentence structure away from RIF-FLD. Because of this every better-designed formula regarding the presentation syntax regarding a standard reasoning RIF dialect might also want to be really-shaped during the a specialty out-of RIF-FLD, that has actualizing this new RIF-FLD extension activities (find overview part). The reason for this new XML serialization construction is to try to provide good equivalent measuring stick towards the RIF XML syntax. It amounts to the criteria you to definitely people admissible XML file to own a reasoning RIF dialect must also getting an admissible XML file to own a professional RIF-FLD (admissibility is placed less than). In terms of the demonstration-to-XML sentence structure mappings, this means that for every single mapping having a logic RIF dialect need certainly to feel a regulation of associated mapping for RIF-FLD. As an instance, this new mapping in the presentation syntax regarding RIF-BLD to help you XML inside [RIF-BLD] is a constraint of your demonstration-syntax-to-XML mapping having RIF-FLD. Like this, RIF-FLD will bring a construction to have extensibility and common compatibility anywhere between XML syntaxes off RIF languages.

Recall your syntax out-of RIF-FLD is not framework-totally free meaning that can not be fully captured by EBNF or XML Outline. However, validity with regards to XML Outline will be a helpful shot. So you’re able to reflect that it situation, i identify a couple of impression away from syntactic correctness. Brand new weakened sense inspections correctness only with respect so you can XML Outline, as more strict notion represents “true” syntactic correctness.

In the event that a good dialect, D, focuses RIF-FLD then the XML outline should be a specialization of your XML schema from RIF-FLD. This can include removal of certain points and you may services, restriction of XML sorts of the rest, and you can replacement for of one’s expansion products which have compatible real elements of the desired (maybe restricted) systems. ?

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 away from RIF-FLD schema to a good dialect outline)

In the event that a great dialect, D, specializes RIF-FLD upcoming a valid XML file within the dialect D is certainly one that is appropriate according to specialized XML outline 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.