The fresh group of all icon spaces you to partition

  • このエントリーをはてなブックマークに追加

The fresh group of all icon spaces you to partition

  • The fresh lexical area from a symbol space are a low-empty set of Unicode reputation strings.
  • The brand new identifier out of a symbol space is a sequence regarding Unicode letters one form an outright IRI [RFC-3987].
  • More symbol room you should never display an identical identifier.

To simplify the language, we will often use symbol space identifiers to refer to the actual symbol spaces (for instance, we may use “symbol space xs:string” instead of “symbol space identified by xs:sequence“).

where exact is called the lexical part of the symbol, and symspace is the identifier of the symbol space. Here literal is a sequence of Unicode characters that must be an element in the lexical space of the symbol space symspace. For instance, "step step one.2"^^xs:decimal and "1"^^xs:quantitative are syntactically valid constants because 1.2 and 1 are members of the lexical space of the XML Schema datatype xs:decimal. On the other hand, "a+dos"^^xs:quantitative is not a syntactically valid symbol, since a+2 is not part of the lexical space of xs:decimal.

Even

RIF requires that http://datingranking.net/tr/sweet-pea-inceleme/ all dialects include the symbol spaces listed and described in Section Constants and Symbol Spaces of [RIF-DTB] as part of their language. These symbol spaces include constants that belong to several important XML Schema datatypes, certain RDF datatypes, and constant symbols specific to RIF. The latter include the symbol spaces rif:iri and rif:regional, which are used to represent internationalized resource identifiers (IRIs [RFC-3987]) and constant symbols that are not visible outside of the RIF document in which they occur, respectively. Documents that are exchanged through RIF can use additional symbol spaces (for instance, a symbol space to represent Skolem constants and functions).

We will often refer to constant symbols that come from a particular symbol space, X, as X constants. For instance, the constants in the symbol space rif:iri will be referred to as IRI constants or rif:iri constants and the constants found in the symbol space rif:regional as local constants or rif:local constants.

2.cuatro Terms

The simplest make off a logic language try a phrase. RIF-FLD supports many different types away from conditions: constants, variables, the typical positional conditions, and additionally terms and conditions which have titled arguments, equivalence, group words, frames, and much more. The phrase “term” could well be always consider whichever term.

  1. Constants and variables. If t ? Const or t ? Var then t is a simple term.
  2. Positional terms. If t and t1, . tn are terms then t(t1 . tn) is a positional term.

Positional terms in RIF-FLD generalize the regular notion of a term used in first-order logic. For instance, the above definition allows variables everywhere, as in ?X(?Y ?Z(?V "12"^^xs:integer)), where ?X, ?Y, ?Z, and ?V are variables. ?X("abc"^^xs:sequence ?W)(?Y ?Z(?V "33"^^xs:integer)) is a positional term (as in HiLog [CKW93]).

The term t here represents a predicate or a function; s1, . sn represent argument names; and v1, . vn represent argument values. Terms with named arguments are like regular positional terms except that the arguments are named and their order is immaterial. Note that a term with no arguments, like f(), is, trivially, both a positional term and a term with named arguments.

For instance, "person"^^xs:string(""^^rif:iri->?Y ""^^rif:iri->?Z), ?X("123"^^xs:integer ?W)(arg->?Y arg2->?Z(?V)), and "Closure"^^rif:local(""^^rif:iri->""^^rif:iri)("from"^^rif:local->?X "to"^^rif:local->?Y) are terms with named arguments. The second of these named-argument terms uses a positional term, ?X("123"^^xs:integer ?W), in the role of the function, and the third term’s function is itself represented by a named-argument term.

  • A closed list has the form List(t1 . tm), where m?0 and t1, . tm are terms.
  • An open list (or a list with a tail) has the form OpenList(t1 . tm t), where m>0 and t1, . tm, t are terms. Open lists are written in the presentation syntax as follows: List(t1 . tm | t).
  • このエントリーをはてなブックマークに追加

無料査定依頼・売買・運用・賃貸相談のご相談はこちらから

  • 	売りたい方のメール無料査定
  • 貸したい方のメール無料査定
0120-41-2327 受付時間10:00〜19:00 定休日:毎週水曜日・第一・第二火曜日・年末年始