We identify a general property of concrete domains that is sufficient for proving decidability of DLs equipped with them and GCIs. We show that some useful concrete domains, such as a temporal one based on the Allen relations and a spatial one based on the RCC-8 relations, have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with such concrete domains.

In many questions of signal processing, it is important to use the concepts of instantaneous amplitude or phase of signals. This is especially the case in communication systems with amplitude or frequency modulation. These concepts are often introduced empirically. However, it is well known that the correct approach for this purpose is to use the concept of analytic signal. Starting from this p...

Based on the relevant statistical data of 2008,taking regional technological innovation ability of Changzhutan “3+5” urban agglomeration as a study object , constructing the objective and comprehensive index system of regional technological innovation ability, combining Analytic Hierarchy Process(AHP) and fuzzy, this paper conducts a comprehensive evaluation of the technological innovation abil...

The paper presents a family of cycloidal cyclical surfaces, which are created by a movement of a circle alongside the special spatial cycloidal curve, where the circle is located in the curve normal plane and its centre is on this curve. The spatial cycloidal curve can be created by simultaneous revolution of a point about three different axes 3o,2 o and 1o in the space. The form of the cycloid...

We consider the Diophantine problem of Frobenius for semigroup S ( d ) where d denotes the tuple (d1, d2, d3), gcd(d1, d2, d3) = 1. Based on the Hadamard product of analytic functions [17] we have found the analytic representation for the diagonal elements akk ( d ) of the Johnson’s matrix of minimal relations [12] in terms of d1, d2, d3. Bearing in mind the results of the recent paper [10] thi...

This paper introduces MetTeL2, a tableau prover generator producing Java code from the specification of a tableau calculus for a logical language. MetTeL2 is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated