Cognitive semantics has established close ties between semantics and spatial cognition. Yet, applications of cognitive semantics to the design of spatio-temporal ontologies remain difficult and rare. Ideas such as image schemas, prototypes and radial categories, basic level categories, mental spaces, and conceptual blendings are still largely unexplored in their potential for ontology engineeri...

Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture Adaptive Control of Thought – Rational (ACT-R) is popular to develop such models. Although ACT-R has a well-defined psychological theory and has been used to explain many cognitive processes, there are two problems that make it hard to reason formally about ...

The acquisition of deep textual semantics is a key issue which significantly improves the performances of elearning, web search and web knowledge services, etc. Though many models have been developed to acquire textual semantics, the acquisition of deep textual semantics is still a challenge issue. Herein, an acquisition model of deep textual semantics is developed to enhance the capability of ...

In the paper will be presented new achievements of the authors obtained in the field of development some new cognitive information systems, performed the tasks of automatic understanding of medical image semantics. Such systems are dedicated to implementation of the machine semantics understanding paradigm for selected image types, with special regards to various medical visualization. The prac...

Introduction This paper is concerned with reconciling the views of two prominent schools of meaning ascription: Logical compositional semantics in the Montague tradition, characterized by a reduction to set-theoretic constructs, and the cognitive semantics tradition as embodied in Gärdenfors’ conceptual spaces. This is achieved by adapting model-theoretic, Fregean compositional semantics to an ...

Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol’s participants. Protocol narrations have also been informally “turned into” a number of formal protocol descriptions, e.g., using the spi-calculus. In this paper, we propose a direct formal ...

Almost all successful machine learning algorithms and cognitive models require powerful representations capturing the features that are relevant to a particular problem. We draw on recent work in nonparametric Bayesian statistics to define a rational model of human feature learning that forms a featural representation from raw sensory data without pre-specifying the number of features. By compa...

Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environments, like assisted living and cognitive robotics, it can likewise be used to incorporate facts, rules, or queries provided by a user. As a result, we present the design and imple...

We propose a language to define data update during schema versioning in a temporal object-oriented database. With this language, a user can express multi-schema modifications involving extensional data from different schema versions at the same time, improving the database environment with temporal and versioning features concerning database modification. We also provide the first steps towards...