We consider the deduction problem in the fragment of first-order logic (FOL) composed of existentially closed conjunctions of literals (without functions), denoted FOL{∃,∧,¬a}. This problem can be recast as several fundamental problems in artificial intelligence and databases, namely query containment for conjunctive queries with negation, clause entailment for clauses without functions and que...

We consider the entailment problem in the fragment of first-order logic (FOL) composed of existentially closed conjunctions of literals (without functions), denoted FOL(∃,∧,¬a). This problem can be recast as several fundamental problems in artificial intelligence and databases, namely query containment for conjunctive queries with negation, clause entailment for clauses without functions and qu...

Fifty fungal isolates were sampled from diseased tomato plants as result of a survey conducted in seven tomato crop areas in Algeria from 2012 to 2015. Morphological criteria and PCR-based identification, using the primers PF02 and PF03, assigned 29 out of 50 isolates to Fusarium oxysporum (Fo). The banding patterns amplified for genes SIX1, SIX3 and SIX4 served to identify races 2 and 3 of Fo ...

Glucose–carbon hybrids were synthetized with different carbon materials, namely nanotubes, reduced graphene oxide, black and activated by a hydrothermal treatment. These used as Pt-supports (1 wt.%) for the furfural (FUR) hydroconversion in gas phase at mild operating conditions (i.e., P = 1 atm T 200 °C). The physicochemical properties (porosity, surface chemistry, Pt-dispersion, etc.) analyze...

Providing reasoning in GIS domains is a demanding task due to the size of the data that are stored in secondary memory. This is also the case for query answering over spatio-thematic ontologies which act as an interface to the GIS data and filter unintended models. Solving this problem by compiling the ontology into an SQL query works only in those cases in which such a compilation, first-order...

First-Order Logic (FOL) is widely regarded as one of the most important foundations for knowledge representation. Nevertheless, in this paper, we argue that FOL has several critical issues for this purpose. Instead, we propose an alternative called assertional logic, in which all syntactic objects are categorized as set theoretic constructs including individuals, concepts and operators, and all...

An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly containing first-order formulas. The formalism stems from recent approaches to tight integrations of ASP with description logics. In this paper, we define a well-founded semantics for FOL-programs based on a new notion of unfounded sets on consistent as well as inconsis...

In this paper we study the problem of obtaining meaningful answers to queries posed over inconsistent DL-Lite ontologies. We consider different variants of inconsistency-tolerant semantics and show that for some of such variants answering unions of conjunctive queries (UCQs) is first-order (FOL) rewritable, i.e., it can be reduced to standard evaluation of a FOL/SQL query over a database. Since...

Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. To realize this vision, a series of techniques has been proposed. Semantic Web Ontology Langauge (OWL) and its extension Semantic Web rule Language (SWRL) and Semantic Web Logic Language (SWRL-FOL) are some of the most important ...

We describe a novel fragment library termed fragments of life (FOL) for structure-based drug discovery. The FOL library includes natural small molecules of life, derivatives thereof, and biaryl protein architecture mimetics. The choice of fragments facilitates the interrogation of protein active sites, allosteric binding sites, and protein-protein interaction surfaces for fragment binding. We s...