Kaplan et al. (1989) present a framework for translation based on the description and correspondence concepts of LexicalFunctional Grammar (Kaplan and Bresnan, 1982). Certain phenomena, in particular the head-switching of adverbs and verbs, seem to be problematic for that approach. In this paper we suggest that these difficulties are more properly considered as the result of defective monolingu...

Recent papers address the issue of updating the instance level of knowledge bases expressed in Description Logic following a modelbased approach. One of the outcomes of these papers is that the result of updating a knowledge base K is generally not expressible in the Description Logic used to express K. In this paper we introduce a formula-based approach to this problem, by revisiting some rese...

Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches were proposed to deal with this problem based on existing techniques for inconsistency management. In this paper, we first define two revision operators in description logics, one is called the weakening-based revision operator and the other is its refinement. The logical prop...

The paper describes a lightweight general purpose RDF framework for Android. It allows to deal uniformly with RDF, whether it comes from the web or from applications inside the device. It extends the Android content provider framework and introduces a transparent URI dereferencing scheme allowing for exposing device content as linked data.

Some applications are displayed: these include a Galois cohomological descent spectral sequence for the étale K–theory of a scheme (where the Galois group is the Grothendieck fundamental group), and the Morel–Voevodsky description of Thomason–Trobaugh K–theory as Nisnevich K–theory in nonnegative degrees. The is also a spectrum-level description of Voevodsky’s periodicity operator for Nisnevich...

Green’s formulas for elliptic cone differential operators are established. This is done by an accurate description of the maximal domain of an elliptic cone differential operator and its formal adjoint, thereby utilizing the concept of a discrete asymptotic type. From this description, the singular coefficients replacing the boundary traces in classical Green’s formulas are deduced. CONTENTS

In the context of a symmetric diffusion process X admitting a carré du champs operator, we give a precise description of the Dirichlet form of the process obtained by subjecting X to a drift transformation of gradient type. This description relies on boundary-type conditions restricting an associated reflecting Dirichlet form.

Lower subsets of an ordered semigroup form in a natural way an ordered semigroup. This lower set operator gives an analogue of the power operator already studied in semigroup theory. We present a complete description of the lower set operator applied to varieties of ordered semigroups. We also obtain large families of fixed points for this operator applied to pseudovarieties of ordered semigrou...