The Semantic Web is build around a semi-structured data model RDF and an explicit conceptualization for such data so-called ontologies. A standardized language for the specification of the latter has recently be proposed by the W3C. This paper explores the strategies for the implementation of this language in logic programming environments such as Prolog and relational databases. Along these li...

This paper proposes the use of the Unified Modelling Language (UML) as a formalism for defining an abstract syntax for Agent Communication Languages (ACLs) and their associated content languages. It describes an approach supporting a formal automatic mapping from high-level abstract specifications of language structures to specific computer language bindings and in-memory structures that can be...

While much support is found for embodied language processing in a first language (L1), evidence for embodiment in second language (L2) processing is rather sparse. In a recent study, we found support for L2 embodiment, but also an influence of L1 on L2 processing in adult learners. In the present study, we compared bilingual schoolchildren who speak German as one of their languages with monolin...

Keynote is a programming language for manipulating and generating music with MIDI-compatible equipment. It was designed for and in the style of the UNIX software system, as an application-specifrc "little language" and interactive shell. Most obviously used for algorithmic music composition, Keynote also serves as a more general utility for non-realtime and realtime MIDI data manipulation. By a...

recently, zhang and song [q. zhang, y. song, fixed point theory forgeneralized $varphi$-weak contractions,appl. math. lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. in this paper, we prove a common fixed point theorem fora family of compatible maps. in fact, a new generalization of zhangand song's theorem is given.

The information intensive nature of construction projects requires project team members to have on-demand access to project information. However, existing mobile communication deployments in the construction industry rely on static modes of information delivery and do not take into account the worker’s changing context and dynamic project conditions. This often results in a mismatch between wha...

We consider the efficient implementation of matrix computations in interpreted Basic on a microcomputer. Linear equations routines SGEFA and SGESL from the LINPACK library of Fortran programs are translated into Basic and run on four microcomputers: the Commodore 64, the Amstrad CPC 464, the BBC Microcomputer, and the BBC with a Z-80 second processor. The computational cost of the routines is f...