Which general concept of entailment discusses both basic-order reason additionally the low-monotonic logics that underlie of several laws-established dialects; it stretches the idea of entailment outlined in the [Shoham87] into 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.

cuatro XML Serialization Design

• an excellent normative mapping on the RIF-FLD demonstration syntax so you can XML (Area Mapping regarding RIF-FLD Speech Sentence structure into the XML Syntax), and you will
• an excellent normative XML Schema for the XML sentence structure (Appendix XML Schema getting FLD).

Since informed me in the evaluation section, the appearance of RIF envisions that speech syntaxes away from coming reason RIF dialects will be specializations of your own presentation sentence structure away from RIF-FLD. This means that all of the really-designed algorithm from the demonstration sentence structure out of a simple reason RIF dialect must also feel better-formed for the a specialization from RIF-FLD, with actualizing this new RIF-FLD extension circumstances (get a hold of evaluation section). The purpose of brand new XML serialization structure will be to render a good comparable yardstick into RIF XML sentence structure. That it quantity to the demands one people admissible XML file to have a logic RIF dialect should end up being an enthusiastic admissible XML file for an expert RIF-FLD (admissibility is scheduled less than). With regards to the demonstration-to-XML sentence structure mappings, this is why for every single mapping to own a reason RIF dialect have to end up being a limitation of the relevant mapping to own RIF-FLD. By way of example, the fresh mapping in the presentation syntax out of RIF-BLD so you can XML into the [RIF-BLD] was a constraint of speech-syntax-to-XML mapping to possess RIF-FLD. In this way, RIF-FLD provides a framework having extensibility and common compatibility between XML syntaxes regarding RIF dialects.

Keep in mind the sentence structure regarding RIF-FLD isn’t framework-free which means that can not be completely seized by the EBNF otherwise XML Schema. Nevertheless, validity in terms of XML Outline would be a good sample. To reflect it situation, i establish a couple of impression out-of syntactic correctness. The fresh new weaker insight inspections correctness just with value to XML Schema, just like the stricter opinion represents “true” syntactic correctness.

When the an excellent dialect, D, focuses RIF-FLD up coming the XML schema should be an expertise of the XML outline of RIF-FLD. This includes removal of some elements and you can properties, limitation of your XML types of the others, and you may replacement of the extension factors with compatible tangible elements of the specified (possibly minimal) items. ?

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 (Expertise of RIF-FLD schema to a good dialect outline)

If an excellent dialect, D, focuses RIF-FLD up coming a legitimate XML file into the dialect D is certainly one that’s legitimate according to the official XML schema 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.