RIGHETTI G.

Weighted Threshold Operators are n-ary operators that compute a weighted sum of their arguments and verify whether it reaches a certain threshold. They have been extensively studied in the area of circuit complexity theory, as well as in the neural network community under the name of perceptrons. In Knowledge Representation, they have been...

No description

sRs), Background: Sigma receptors ( initially classified as an additional class of opioid receptors, are now recognized as a unique entity with no homology to opioid receptors divided into two distinct s1R s2R. subtypes namely and .1R-targeting ligands have been conceived and explored for the s2R treatment of various neurodegenerative disorders...

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: The need for compositionality and the need to account for typicality effects. Building on our previous work on...

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overextension, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by...

We study a family of operators (called 'Tooth' operators) that combine Description Logic concepts via weighted sums. These operators are intended to capture the notion of instances satisfying "enough" of the concept descriptions given. We examine two variants of these operators: the "knowledge-independent" one, that evaluates the concepts with...

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs ontologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on previously introduced axiom weakening for ALC, and make it much...

When considering two concepts in terms of extensional logic, their combination will often be trivial, returning an empty extension. Consider e.g. "a Fish Vehicle", i.e. "a Vehicle which is also a Fish". Still, people use sophisticated strategies to produce new, non-empty concepts. All these strategies involve the human ability to mend the...

We summarise the definitions and some technical aspects of a familiy of description logics that introduce concept constructors (so-called tooth-operators) which, under various constraints, accumulate weights of concepts. We demonstrate how these operators can be fruitfully and elegantly applied to a number of cognitively motivated...

Cystic fibrosis (CF) is the autosomal recessive disorder most recurrent in Caucasian populations. To combat this disease, many life-prolonging therapies are required and deeply investigated, including the development of the so-called cystic fibrosis transmembrane conductance regulator (CFTR) modulators, such as correctors and potentiators....

Cystic fibrosis (CF) is the autosomal recessive disorder most recurrent in Caucasian populations. It is caused by different mutations in the cystic fibrosis transmembrane regulator protein (CFTR) gene, with F508del being the most common. During the last years, small-molecule therapy chosen to contrast CF relied on compounds that correct CFTR...