Computing the least common subsumer (lcs) is one of the most prominent non-standard inference in description logics. Baader, Küsters, and Molitor have shown that the lcs of concept descriptions in the description logic EL always exists and can be computed in polynomial time. In the present paper, we try to extend this result from concept descriptions to concepts defined in a (possibly cyclic) E...

We care not only about the value of the minimum element, but also about the index k of the minimum element between A[i] and A[j]; given the index, it is easy to look up the actual value of the minimum element, so it is a more interesting problem to find the index of the minimum element between A[i] and A[j]. The range minimum query problem is not a tree problem, but it closely related to a tree...

For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descriptions. This paper investigates whether the possibly exponentially large concept description representing the lcs can always be represented in a more compact way when using an appropriate (acyclic) TBox for deening this d...

Ideally, one would design a manipulator to be as rigid as possible. However there may be some occasions when the manipulator will be flexible. This will occur when the manipulator is very long and lightweight. Traditional flexible manipulators are difficult to control. This is because the manipulator has a nonlinear position variant behavior. Unfortunately using a large gear reduction does not ...

It has recently been suggested that gravitomagnetic precession of the inner part of the accretion disk, possibly driven by radiation torques, may be responsible for some of the quasi-periodic X-ray brightness oscillations (QPOs) and other spectral features with frequencies between 20 and 300 Hz observed in the power spectra of some low-mass binary systems containing accreting neutron stars and ...

Many teachers allow students to drop the lowest score from a sequence of quizzes, tests, or homework assignments. When the number of grades is large, some teachers will even allow students to drop several of their lowest scores. A computer gradebook program would need to implement an algorithm to provide this feature (see one of many examples of computer gradebook software, for example, [4]). A...

OBJECTIVE The objective was to assess the degradation of speech sound quality produced by frequency compression for listeners with extensive high-frequency dead regions (DRs). DESIGN Quality ratings were obtained using values of the starting frequency (Sf) of the frequency compression both below and above the estimated edge frequency, fe, of each DR. Thus, the value of Sf often fell below the...