This general concept of entailment discusses one another first-purchase reason plus the non-monotonic logics that underlie of many laws-built languages; it runs the notion of entailment laid out into the [Shoham87] towards the matter of multiple-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.
4 XML Serialization Design
- a beneficial normative mapping on the RIF-FLD speech sentence structure to help you XML (Point Mapping regarding RIF-FLD Presentation Sentence structure to the XML Sentence structure), and you can
- good normative XML Outline to the XML syntax (Appendix XML Outline getting FLD).
As the explained about evaluation area, the design of RIF envisions your presentation syntaxes out of future reason RIF dialects could well be specializations of one’s speech sentence structure from RIF-FLD. This means that the really-molded algorithm from the demonstration syntax away from a fundamental reason RIF dialect might also want to feel really-molded for the an expertise from RIF-FLD, which has actualizing new RIF-FLD expansion affairs (select evaluation area). The intention of the new XML serialization construction is always to offer a beneficial comparable yardstick with the RIF XML sentence structure. So it wide variety with the requisite you to any admissible XML file to have a reason RIF dialect should also be a keen admissible XML document to own a specialist RIF-FLD (admissibility is scheduled lower than). With regards to the speech-to-XML syntax mappings, this is why per mapping having a logic RIF dialect need end up http://www.datingranking.net/tr/spdate-inceleme being a limitation of one’s corresponding mapping to possess RIF-FLD. As an example, the new mapping from the demonstration syntax regarding RIF-BLD so you can XML for the [RIF-BLD] is a limitation of your speech-syntax-to-XML mapping for RIF-FLD. Like this, RIF-FLD will bring a framework to possess extensibility and you may mutual compatibility ranging from XML syntaxes off RIF languages.
Recall the syntax from RIF-FLD isn’t context-100 % free meaning that can’t be fully captured by EBNF otherwise XML Outline. Nevertheless, authenticity regarding XML Outline shall be a good sample. To help you reflect it situation, we define one or two impression from syntactic correctness. The latest weakened insight inspections correctness only with regard so you’re able to XML Outline, given that stricter belief stands for “true” syntactic correctness.
If the good dialect, D, focuses RIF-FLD then its XML outline have to be a specialization of one’s XML outline of RIF-FLD. This includes elimination of specific factors and you may attributes, restrict of XML brand of the others, and replacement for of your own expansion points with appropriate real parts of the desired (perhaps 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.
Meaning (Expertise away from RIF-FLD schema in order to a dialect schema)
When the an effective dialect, D, focuses RIF-FLD next a legitimate XML document into the dialect D is one that is good depending on the formal XML schema off 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.