So it standard notion of entailment discusses each other very first-order reasoning therefore the non-monotonic logics you to underlie of many signal-built languages; it expands the very thought of entailment defined within the [Shoham87] into 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.
cuatro XML Serialization Framework
- a beneficial normative mapping from the RIF-FLD demonstration sentence structure in order to XML (Area Mapping regarding RIF-FLD Speech Sentence structure for the XML Sentence structure), and you will
- an excellent normative XML Outline into the XML syntax (Appendix XML Schema to have FLD).
As the explained from the review section, the style of RIF envisions that speech syntaxes regarding upcoming reasoning RIF languages was specializations of your speech syntax out-of RIF-FLD. As a result all of the really-formed formula on speech sentence structure out-of a basic logic RIF dialect should also end up being well-shaped inside a specialty from RIF-FLD, which includes actualizing the brand new RIF-FLD expansion issues (look for overview part). The intention of the latest XML https://datingranking.net/tr/talkwithstranger-inceleme/ serialization construction will be to provide a good similar measuring stick towards the RIF XML sentence structure. It number towards specifications one to any admissible XML document to have a reasoning RIF dialect might also want to feel an enthusiastic admissible XML document to own specialized RIF-FLD (admissibility is scheduled below). With regards to the speech-to-XML sentence structure mappings, this is why per mapping to have a reason RIF dialect have to be a regulation of one’s related mapping to have RIF-FLD. As an instance, the latest mapping regarding the presentation syntax from RIF-BLD so you’re able to XML from inside the [RIF-BLD] is actually a regulation of presentation-syntax-to-XML mapping to possess RIF-FLD. Similar to this, RIF-FLD provides a construction having extensibility and you may shared being compatible anywhere between XML syntaxes off RIF dialects.
Recall that the syntax out of RIF-FLD is not framework-totally free meaning that can not be totally grabbed from the EBNF or XML Outline. Nonetheless, validity regarding XML Schema will be a good attempt. So you can mirror that it situation, we identify a few impression of syntactic correctness. The latest weakened sense inspections correctness just with admiration so you’re able to XML Schema, while the stricter insight means “true” syntactic correctness.
In the event the a good dialect, D, specializes RIF-FLD after that their XML schema need to be an expertise of your XML outline out of RIF-FLD. This includes elimination of specific elements and services, maximum of your own XML brand of the rest, and you can substitute for of one’s extension situations which have appropriate real elements of the specified (possibly restricted) designs. ?
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 out-of RIF-FLD outline to an excellent dialect schema)
If the a dialect, D, focuses RIF-FLD after that a valid XML document from inside the dialect D is certainly one that’s good with respect to the specialized 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.