That it standard concept of entailment discusses one another basic-acquisition logic and the non-monotonic logics one to underlie of many rule-dependent dialects; it runs the very thought of entailment defined in the [Shoham87] towards the 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: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 Structure
- an effective normative mapping from the RIF-FLD demonstration sentence structure so you can XML (Part Mapping throughout the RIF-FLD Speech Syntax to the XML Syntax), and you can
- an effective normative XML Outline towards XML sentence structure (Appendix XML Outline to possess FLD).
Just like the said regarding analysis section, the design of RIF envisions the presentation syntaxes regarding future reasoning RIF languages might possibly be specializations of the speech syntax off RIF-FLD. This means that all really-molded algorithm throughout the demonstration syntax from a standard reasoning RIF dialect must also end up being better-molded within the an expertise from RIF-FLD, that has actualizing the latest RIF-FLD expansion issues (come across analysis point). The reason for the fresh XML serialization construction should be to bring an excellent similar measuring stick for the RIF XML syntax. This amounts towards the demands one people admissible XML file getting a logic RIF dialect must become an enthusiastic admissible XML document getting specialized RIF-FLD (admissibility is defined lower than). In terms of the demonstration-to-XML syntax mappings, this means that for every mapping to have a reasoning RIF dialect must become a restriction of one’s involved mapping to own RIF-FLD. For-instance, this new mapping on the speech syntax of RIF-BLD in order to XML in [RIF-BLD] are a regulation of your own presentation-syntax-to-XML mapping to have RIF-FLD. Along these lines, RIF-FLD brings a construction to possess extensibility and https://datingranking.net/amor-en-linea-review/ you will shared compatibility anywhere between XML syntaxes out of RIF dialects.
Keep in mind that the syntax off RIF-FLD is not context-free and thus cannot be completely seized of the EBNF otherwise XML Schema. Still, authenticity when it comes to XML Outline can be a good decide to try. So you can echo it state of affairs, i define a couple impression away from syntactic correctness. The fresh weakened insight checks correctness just with value so you’re able to XML Outline, since the more strict notion represents “true” syntactic correctness.
In the event that good dialect, D, specializes RIF-FLD after that their XML outline need to be a specialization of the XML schema of RIF-FLD. This consists of elimination of certain issues and you will characteristics, restrict of your XML kind of others, and you will substitute for of your extension affairs with suitable tangible areas of the required (maybe limited) models. ?
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 out-of RIF-FLD schema to help you a good dialect outline)
If a beneficial dialect, D, focuses RIF-FLD next a valid XML file for the dialect D is but one that is legitimate according to formal XML schema regarding 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.