Web is evolving from a global information space of linked document to linked data, of which a critical source is from the structured data stored in RDB. More and more enterprises publish their RDB data into linked data and provide a simple browsing end point on it. However, this kind of browsers is usually lack of data organization and ranking, resulting in limited usability. In this paper, we ...

First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, definite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, ...

In general, Relational Database Migration (RDBM) has always complex, time-consuming, and magnified process due to heterogeneous structures and several data types of RDB. This paper discusses the categorized literature review of existing migration strategies, surveys the translation techniques, and also discusses the technical issues for making the migration process more effective. This review a...

A referring expression in linguistics is any noun phrase identifying an object in a way that will be useful to interlocutors. In the context of conjunctive queries over a description logic knowledge base (DL KB), typically constant symbols (usually treated as rigid designators) are used as referring expressions in a certain answer to the query. In this paper, we begin to explore how this can be...

We introduce an adaptive output-sensitive inference algorithm for MCMC and probabilistic programming, Adaptive Random Database. The algorithm is based on a single-site updating Metropolis-Hasting sampler, the Random Database (RDB) algorithm. Adaptive RDB (ARDB) differs from the original RDB in that the schedule of selecting variables proposed for modification is adapted based on the output of o...

This paper deals with an approach for an automated evaluation of the learners’ state of knowledge when learning by doing. This approach is called ODALA for “Ontology-Driven Auto-evaluation for e-Learning Approach”. It takes place in the context of Computer Based Human Learning Environment (CBHLE) in a self-learning by doing mode. ODALA is based on the teaching domain ontology and on errors clas...

We prove that certain volume preserving actions of Lie groups and their lattices do not preserve rigid geometric structures in the sense of Gromov. The actions considered are the ”exotic” examples obtained by Katok and Lewis and the first author, by blowing up closed orbits in the well known actions on homogeneous spaces. The actions on homogeneous spaces all preserve affine connections, wherea...

This paper is devoted to the construction of a probabilistic model of uncertain rigid bodies for multibody system dynamics. We first construct a stochastic model of an uncertain rigid body by replacing the mass, the center of mass and the tensor of inertia by random variables. The prior probability distributions of the stochastic model are constructed using the maximum entropy principle under t...

Reducing the setup time for a new production line is critical to the success of a manufacturer within the current competitive and cost-conscious market. To this end, being able to reuse already available machines, toolings and parts is paramount. However, matching a large warehouse of previously engineered parts to a new component to produce, is often more a matter of art and personal expertise...