We present a constraint-based syntax-semantics interface for the construction of RMRS (Robust Minimal Recursion Semantics) representations from shallow grammars. The architecture is designed to allow modular interfaces to existing shallow grammars of various depth – ranging from chunk grammars to context-free stochastic grammars. We define modular semantics construction principles in a typed fe...

This paper summarizes the research that is leading to ISO standard 24617-6, which describes the approach to semantic annotation that characterizes the ISO semantic annotation framework (SemAF). It investigates the consequences and the risks of the SemAF strategy of developing separate annotation schemes for certain classes of semantic phenomena, with the long-term aim to combine these schemes i...

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles are based on a proof theoretic notion of definition [26, 9, 13] Definitions are essentially stratified logic programs. The left and right rules for defined ...

In this paper we propose the use of a new kind of grammars which we call para metric context free grammars PCFG for the formal de nition of programming languages It combines the simplicity of ordinary context free grammars with expressive power and context sensitivity that is encountered in signi cantly more complex formal models As an example we consider a small programming language and presen...

Multi-level modeling tools provide inherent support for modeling domain scenarios with multiple classification levels. However, as the success of domain-specific modeling tools illustrates users increasingly expect to be able to visualize models using domain-specific languages. It is relatively straightforward to support this using traditional “two-level” modeling technologies, but many of the ...

With the aging world and improvement of people’s living standards, quality elderly life is gaining more attention. The nursing home an important carrier for elderly, reasonable layout its spaces can provide a better wayfinding experience residents. Based on survey 168 Japanese homes, we found that some spatial layouts are widely used in design homes than others. intention this paper to attempt ...

We have investigated space syntax of Venice by means of random walks. Random walks being defined on an undirected graph establish the Euclidean space in which distances and angles between nodes acquire the clear statistical interpretation. The properties of nodes with respect to random walks allow partitioning the city canal network into disjoint divisions which may be identified with the tradi...

The purpose of this paper is to outline various results regarding the computational complexity of non-monotonic entailment in diierent syntax-based approaches. Starting from a (non necessarily consistent) belief base E and a pre-ordering on E, we rst remind diierent mechanisms for selecting preferred consistent subsets in syntax-based approaches. Then we present diierent entailment principles i...