Viewing the Web as a Distributed Knowledge Base

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

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

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

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