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...

for any reduced commutative $f$-ring with identity and bounded inversion, we show that a condition which is obviously necessary for the socle of the ring to coincide with the socle of its bounded part, is actually also sufficient. the condition is that every minimal ideal of the ring consist entirely of bounded elements. it is not too stringent, and is satisfied, for instance, by rings of conti...

for a fixed positive integer , we say a ring with identity is n-generalized right principally quasi-baer, if for any principal right ideal of , the right annihilator of is generated by an idempotent. this class of rings includes the right principally quasi-baer rings and hence all prime rings. a certain n-generalized principally quasi-baer subring of the matrix ring are studied, and connections...

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 ...