We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing contexts and based on two-dimensional semantics, with one dimension representing a usual object domain and the other a domain of contexts. Additionally, it is equipped with a second DL language for describing the conte...

A square sheet of aluminum foil is considered 2-dimensional because its mass is proportional to its diameter to the power of 2. A solid aluminum sphere is considered 3-dimensional because its mass is proportional to its diameter to the power of 3. An aluminum wire is considered 1dimensional because its mass is proportional to its length. The mass is proportional to length to the power of 1. Fro...

Let k, and n be positive integers with n = k . Let a = {a1, a2, . . . , a } be a multiset of positive integers with a1 + a2 + · · ·+ a = n. Let Zn = [0, n− 1] be the cyclic group of order n. A partition of Zn into k parts T1, T2, . . . , Tk is called a well-dispersed partition with a gap sequence a , if (1) the cardinality of Ti∩[(j−1)k, jk− 1] is 1 for 1 ≤ i ≤ k, 1 ≤ j ≤ and (2) a set of dista...

The current state of analysis of e+e− annihilation below 2.0 GeV and of the vector component of τ -decay is reviewed. The evidence for and against the presence of hybrid vectors is discussed. It is concluded that the data strongly favour their inclusion, and the consequences of this are outlined.

In this paper we IS not a power of 2, then product sequence of the first prime 2. prove that if r> 1 and r the Smarandache r-power kind contains onlv one J

A fascinating inverse problem that has been receiving considerable attention is the construction of realizations of random two-phase heterogeneous media with a target two-point correlation function. However, not every hypothetical two-point correlation function corresponds to a realizable two-phase medium. Here we collect all of the known necessary conditions on the two-point correlation functi...

In this paper, we construct three binary linear codes C(SO(2, q)), C(O(2, q)), C(SO(4, q)), respectively associated with the orthogonal groups SO(2, q), O(2, q), SO(4, q), with q powers of two. Then we obtain recursive formulas for the power moments of Kloosterman and 2-dimensional Kloosterman sums in terms of the frequencies of weights in the codes. This is done via Pless power moment identity...