New behavior out of regional icons shall be in comparison thereupon regarding

New behavior out of regional icons shall be in comparison thereupon regarding

Which general idea of entailment discusses each other basic-acquisition reason in addition to non-monotonic logics that underlie of several rule-based languages; they extends the very thought of entailment defined for the [Shoham87] with the case of multi-cherished 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 Build

  • an effective normative mapping on RIF-FLD presentation sentence structure to help you XML (Section Mapping in the RIF-FLD Presentation Syntax towards the XML Sentence structure), and you can
  • an excellent normative XML Outline towards XML sentence structure (Appendix XML Schema to own FLD).

Because the told me on analysis part, the style of RIF envisions your presentation syntaxes regarding upcoming logic RIF languages might possibly be specializations of your speech sentence structure of RIF-FLD. As a result the really-molded algorithm from the speech syntax regarding an elementary reasoning RIF dialect should also feel well-designed for the a specialization away from RIF-FLD, which has actualizing the brand new RIF-FLD expansion issues (look for assessment section). The objective of the new XML serialization build is always to provide a similar yardstick to the RIF XML sentence structure. This numbers for the criteria that people admissible XML file having a reason RIF dialect also needs to be an admissible XML file to possess a specialized RIF-FLD (admissibility is set below). With regards to the speech-to-XML syntax mappings, this is why for every single mapping to possess a logic RIF dialect need to end up being a constraint of your associated mapping for RIF-FLD. For-instance, new mapping about demonstration syntax out-of RIF-BLD so you can XML in [RIF-BLD] is a limitation of your own presentation-syntax-to-XML mapping getting RIF-FLD. Like this, RIF-FLD will bring a construction getting extensibility and you will shared being compatible ranging from XML syntaxes regarding RIF languages.

Bear in mind the sentence structure from RIF-FLD is not framework-totally free for example can’t be completely seized from the EBNF or XML Outline. However, authenticity regarding XML Outline will be a good shot. So you’re able to echo which state of affairs, i describe a few notions away from syntactic correctness. The latest weakened sense checks correctness only with respect in order to XML Outline, because the stricter notion is short for “true” syntactic correctness.

When the good dialect, D, specializes RIF-FLD up coming their XML outline must be a specialization of your XML outline off RIF-FLD. This consists of elimination of specific facets and you will qualities, restriction of the XML form of the others, and substitute for of your extension issues which have compatible tangible components of the specified (perhaps minimal) versions. ?

Definition (Valid XML document in RIF-FLD). A valid RIF-FLD document in the XML syntax the perfect match nasıl kullanılıyor 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 outline to help you an excellent dialect outline)

In the event the a great dialect, D, focuses RIF-FLD upcoming a legitimate XML document into the dialect D is but one that’s good with regards to the certified 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.

Be the first to comment

Leave a comment

Your email address will not be published.