Our position is founded on two assumptions. First, we assume that the SQL data definition language (SQL-DDL) is capable of encoding substantial domain semantics, albeit not in ways syntactically accessible to inference engines. Second, the layered architecture of the Semantic Web, a.k.a. the layer cake, transcends the Semantic Web. In other words, we assume that the hierarchy of increasingly ex...

As the foundation for MapReduce processing, Hadoop is one of the fundamental technologies in big data analytics. Hadoop breaks up large data into data blocks, replicates them, and stores them in a distributed storage system. Data blocks can be placed in a machine where the data will be processed (data local), in a machine in the same rack (rack-local), or in a machine in a different rack (off-r...

We study regular 1rst-order update logic (FUL), which is a variant of regular dynamic logic in which updates to function symbols as well as to predicate symbols are possible. We 1rst study FUL without making assumptions about atomic updates. Second, we look at relational algebra update logic (RAUL), which can be viewed as an extension of relational algebra with assignment. RAUL is an instantiat...

MOTIVATION Crystallographers were motivated 10 years ago to develop a simple and consistent data representation for the exchange and archiving of data associated with the crystallographic experiment and the final structure. As this process evolved (and the data grew at near exponential rates) came the recognition that this representation should also facilitate the automated management of the da...

With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need for a common framework for comparing modular ontology language proposals on the basis of criteria such as their semantic soundness and expressive power. We introduce an Abstract Modular Ontology (AMO) language and offer...

Two prominent topics in Krister Segerberg’s works are, on the one hand, actions, and on the other hand, belief change. Both topics are connected in multiple ways; one of these connections is via KGM belief update, since, as we argue, belief update is a specific case of feedback-free action progression. We discuss the links between update and action, and, starting from Segerberg’s works, discuss...

In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set of instances of a source ontology into a semantically related target ontology. Our approach exploits mappings between ontologies, which are used to reconcile both conceptual and individual level heterogeneity, and furt...

In order to achieve automatic and more intelligent service composition, dynamic description logic (DDL) is proposed and utilized as one emerging logic-level solution. However, reasoning optimization and utilization in such DDL-related solutions is still an open problem. In this paper, we propose the context-aware reasoning-based service agent model (CARSA) which exploits the relationships among...

A systematic and combinatorial approach was adopted using human umbilical cord blood mononuclear cells (hUCB-MNCs) to screen for potential immuno-regulatory compounds. The hUCB-MNCs contain several types of immunogenic cells, which are a suitable material to mimic the in vivo immuno-response after drug treatment. hUCB-MNCs were treated with various natural products such as quercetin, astaxanthi...

Although deep learning (DL) has already become a state-of-the-art technology for various data processing tasks, security and computational overload problems often arise due to their high power dependency. To solve this problem, quantum (QDL) distributed (DDL) emerged complement existing DL methods. Furthermore, (QDDL) technique that combines maximizes these advantages is getting attention. This...