Viewing the Web as a Distributed Knowledge Base

This knowledge base working through the Internet integrates a large amount of digitized experimental data on the properties of nuclei and nuclear reaction cross sections with a wide

We are developing a pipeline for processing publicly available biomedical text, abstracts, full text articles, conference proceedings, eventually books and electronic health

The foundational proof certificates framework [21, 33] uses logic program- ming techniques to check a range of proof systems in classical and intuitionistic logics by allowing for

After a CLIB action is selected for modeling some biological process described by a sentence, the next step is to identify the semantic relationships between the action class and

Instead, we are concerned with the management of Web data in place in a distributed manner, with a possibly large number of autonomous, heterogeneous systems collaborating to

In this paper, we focus on the latter, as a novel and rich source for enriching the PIM with presence-related knowl- edge. Thus, the main motivation for this work is the extrac- tion

These languages extend Datalog with features such as existential quantifiers, equalities, and the falsum in rule heads and negation in rule bodies, and, at the same time,

The Datalog+/– languages are derived from Datalog by allowing existentially quantified variables, equality, and the falsum in rule heads, and, at the same time, by enforcing