This Demo presents a framework for the live synchronization of an RDF view defined on top of relational database. In the proposed framework, rules are responsible for computing and publishing the changeset required for the RDB-RDF view to stay synchronized with the relational database. The computed changesets are then used for the incremental maintenance of the RDB_RDF views as well as applicat...

Shigella flexneri is of great concern in the prevalence of shigellosis and resistance to many antibiotics in developing countries. Here, we report the draft genome sequence of a new S. flexneri subserotype, 4S BJ10610, isolated from the stool specimens of a patient in Beijing, China.

RDF has gained great interest in both academia and industry as an important language to describe graph data. Several approaches have been proposed for storing and querying RDF data efficiently; each works best under certain circumstances, e.g. certain types of data and/or queries. However, there was lack of a thorough understanding of exactly what these circumstances are, as different data-sets...

We introduce the notion of L2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L2-rigidity passes to normalizers and is satisfied by nonamenable II1 factors which are non-prime, have property Γ , or are weakly rigid. As a consequence we obtain tha...

This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the author’s ‘local’ restriction strategy involving Cartesian propositions, set out in The Taming of the True. Williamson’s purported Fitchian reductio, involving the unknown number of books on his table, is analyzed in detail and shown...

This paper focuses on three research questions which are connected with combinations of modal logics: (i) Under which conditions can (frame-)completeness (and related properties) be transferred from a propositional modal logic (PML) to its quantificational counterpart (QML)? (ii) Does (frame-) completeness generally transfer from monomodal QMLs to their multimodal combination? (iii) Can complet...

We introduce the notion of L2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L2rigidity passes to normalizers and is satisfied by nonamenable II1 factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that ...

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form 'the individual named so-and-so'. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, a...