The brand new conclusion out-of regional icons will likely be contrasted with that away from

That it standard idea of entailment talks about both very first-acquisition reasoning and low-monotonic logics you to definitely underlie many rule-centered dialects; it extends the notion of entailment discussed into the [Shoham87] with the case 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

• a beneficial normative mapping in the RIF-FLD speech syntax so you can XML (Part Mapping on RIF-FLD Demonstration Sentence structure on the XML Syntax), and you may
• a beneficial normative XML Outline into XML sentence structure (Appendix XML Schema getting FLD).

Since said from the evaluation point, the style of RIF envisions that the presentation syntaxes of coming reasoning RIF languages would be specializations of one’s speech syntax away from RIF-FLD. Because of this all really-shaped algorithm about speech syntax from a basic logic RIF dialect should feel really-shaped inside the a specialization away from RIF-FLD, that has actualizing the newest RIF-FLD expansion points (come across assessment point). The purpose of the XML serialization build is to try to render good equivalent yardstick towards RIF XML sentence structure. Which numbers into specifications one any admissible XML document to own a logic RIF dialect must become an enthusiastic admissible XML document to possess specialized RIF-FLD (admissibility is scheduled below). In terms of the demonstration-to-XML syntax mappings, thus for every mapping to possess a reasoning RIF dialect need certainly to be a constraint of the associated mapping to own RIF-FLD. As an example, this new mapping regarding the speech syntax regarding RIF-BLD to help you XML when you look at the [RIF-BLD] was a constraint of your own speech-syntax-to-XML mapping to have RIF-FLD. Similar to this, RIF-FLD brings a framework getting extensibility and you will mutual compatibility ranging from XML syntaxes away from RIF dialects.

Bear in mind your sentence structure out of RIF-FLD isn’t framework-totally free and therefore can’t be completely seized from the EBNF otherwise XML Schema. Still, validity in terms of XML Schema should be a good shot. So you can echo that it situation, i establish two impression of syntactic correctness. New weakened perception monitors correctness just with admiration so you can XML Outline, because the stricter belief is short for “true” syntactic correctness.

When the a great dialect, D, specializes RIF-FLD next their XML schema should be a specialty of XML outline regarding RIF-FLD. This may involve elimination of specific issues and you can functions, limitation of your XML sort of the rest, and you may replacement of extension circumstances which have compatible real areas of the desired (possibly limited) 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 off RIF-FLD outline to help you a good dialect schema)

In the event that good dialect, D, focuses RIF-FLD after that a valid XML file within the dialect D is but one which is legitimate according to the authoritative 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.