Computing Cores for Existential Rules with the Standard Chase and ASP

2020 ◽  
Author(s):  
Markus Krötzsch
Keyword(s):  
Large Class ◽  
Data Exchange ◽  
Answer Set Programming ◽  
Query Answering ◽  
Universal Model ◽  
The Core ◽  
Universal Models ◽  
General Terms ◽  
Special Cases ◽  
The Many

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.

AFRICAN WOMEN AND FORBIDDEN GROUNDS: FEMALE SEXUALITY AND SELF-DETERMINATION IN AFRICAN LITERATURE

Imbizo ◽  
2017 ◽  
Vol 7 (1) ◽  
pp. 40-54
Author(s):  
Oyeh O. Otu
Keyword(s):  
Female Sexuality ◽  
Sense Of Self ◽  
African Literature ◽  
The Other ◽  
Self Determination ◽  
African Women ◽  
The Core ◽  
The Many ◽  
The One ◽  
Sexual Repression

This article examines how female conditioning and sexual repression affect the woman’s sense of self, womanhood, identity and her place in society. It argues that the woman’s body is at the core of the many sites of gender struggles/ politics. Accordingly, the woman’s body must be decolonised for her to attain true emancipation. On the one hand, this study identifies the grave consequences of sexual repression, how it robs women of their freedom to choose whom to love or marry, the freedom to seek legal redress against sexual abuse and terror, and how it hinders their quest for self-determination. On the other hand, it underscores the need to give women sexual freedom that must be respected and enforced by law for the overall good of society.

scholarly journals Stringy canonical forms and binary geometries from associahedra, cyclohedra and generalized permutohedra

2020 ◽  
Vol 2020 (10) ◽  
Author(s):  
Song He ◽  
Zhenjie Li ◽  
Prashanth Raman ◽  
Chi Zhang
Keyword(s):  
Large Class ◽  
Configuration Space ◽  
Moduli Space ◽  
Cluster Algebras ◽  
Configuration Spaces ◽  
Minkowski Sum ◽  
Canonical Forms ◽  
Infinite Class ◽  
Special Cases ◽  
Generalized Associahedra

Abstract Stringy canonical forms are a class of integrals that provide α′-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebras, there exist completely rigid stringy integrals, whose configuration spaces are the so-called binary geometries, and for classical types are associated with (generalized) scattering of particles and strings. In this paper, we propose a large class of rigid stringy canonical forms for another class of polytopes, generalized permutohedra, which also include associahedra and cyclohedra as special cases (type An and Bn generalized associahedra). Remarkably, we find that the configuration spaces of such integrals are also binary geometries, which were suspected to exist for generalized associahedra only. For any generalized permutohedron that can be written as Minkowski sum of coordinate simplices, we show that its rigid stringy integral factorizes into products of lower integrals for massless poles at finite α′, and the configuration space is binary although the u equations take a more general form than those “perfect” ones for cluster cases. Moreover, we provide an infinite class of examples obtained by degenerations of type An and Bn integrals, which have perfect u equations as well. Our results provide yet another family of generalizations of the usual string integral and moduli space, whose physical interpretations remain to be explored.

scholarly journals Terra Madre 2006: Political Theater and Ritual Rhetoric in the Slow Food Movement

2008 ◽  
Vol 8 (2) ◽  
pp. 31-39 ◽  
Author(s):  
adrian peace
Keyword(s):  
Political Theater ◽  
The Political ◽  
Slow Food ◽  
Political Spectacle ◽  
The Core ◽  
Global Character ◽  
Secular Rituals ◽  
The Many ◽  
Mega Event ◽  
Food Movement

The biannual mega-event of Terra Madre is now established as the political flagship of the Slow Food movement. It assembles in Turin the leading cosmopolitan figures of this neo-tribal, post modern organization, along with several thousand of its ordinary members, who were drawn in 2006 from the ranks of food producers, cooks and academics. The most significant secular rituals of Terra Madre involve the theatrical celebration of its global character, beginning with the assembly of representatives from some 1600 ““food communities”” distributed throughout the world. Equally important are the many smaller scale activities in which the details of the movement's politics are articulated and embellished, at times in strikingly rhetorical ways. In this paper, which is based on ethnographic research, the theatrical and rhetorical qualities of Terra Madre as a political spectacle are explored in some detail. It is argued, in conclusion, that what is inadvertently exposed are some of the political myths which lie at the core of the Slow Food movement's contemporary philosophy.

Polycomb genes role in cancer pathophysiology is offering targets for therapeutics including gene therapy

2021 ◽  
Author(s):  
Moataz Dowaidar
Keyword(s):  
Catalytic Activity ◽  
Detailed Understanding ◽  
The Core ◽  
Chromatin Regulators ◽  
Genetic Modifications ◽  
Anti Cancer ◽  
The Many ◽  
The One ◽  
Context Specific ◽  
Study Context

Several phenotypes can come from transcription regulation. Sequence-specific transcription factors are needed to effectively execute transcriptional programs, however they are often not operating alone. Polycomb PcG proteins are a well-known class of chromatin regulators found in Drosophila melanogaster and other species, including humans. As time passed, the concept of a PCG gene or protein shifted from the original phenotypic meaning of mutant flies to the contemporary biochemical description. PCG genes and proteins are under investigation for their critical contributions to physiology and their cancer treatment potential. Adding additional PcG members, with substantial responsibilities in PRC modulation, has opened new routes of inquiry in the issue. It is still needed to discover the many PRC variations' roles and how their catalytic activity is controlled. This review covers mutually exclusive PRC2 variants and employs a technique like the one used for PRC1 variants. Based on current biochemical findings, these classifications are valid. More auxiliary PcG subunit research is needed for now. Moreover, it is unknown how many PRC cell variations occur (hypothetically, there could be more than 100 different PRC variants).In order to fully elucidate the new PcG proteins and complexes, it is necessary to perform comprehensive research. We must study context-specific genetic modifications to better provide remedies. Current anti-cancer drugs target mainly the core subunits and catalytic activity of PRC2 and PRC1, and understanding these functions is critical. Targeting each particular activity that has been deregulated might be rather beneficial. PCG proteins are involved in oncogenesis, tumor suppression, and development/congenital illness as well. PcG involvement in cancer, once revealed, would be intriguing. Successful and effective therapeutic therapies will be helped by a detailed understanding of the pathways that contain PcG proteins.

ON TWO THEOREMS OF QUINZII AND RENT CONTROLLED HOUSING ALLOCATION IN SWEDEN

2007 ◽  
Vol 09 (03) ◽  
pp. 515-525
Author(s):  
KIMMO ERIKSSON ◽  
JONAS SJÖSTRAND
Keyword(s):  
Control System ◽  
Empirical Data ◽  
General Theorem ◽  
Black Market ◽  
Utility Functions ◽  
Rent Control ◽  
Black And White ◽  
The Core ◽  
Special Cases ◽  
Housing Allocation

The Swedish rent control system creates a white market for swapping rental contracts and a black market for selling rental contracts. Empirical data suggests that in this black-and-white market some people act according to utility functions that are both discontinuous and locally decreasing in money. We discuss Quinzii's theorem for the nonemptiness of the core of generalized house-swapping games, and show how it can be extended to cover the Swedish game. In a second part, we show how this theorem of Quinzii and her second theorem on nonemptiness of the core in two-sided models are both special cases of a more general theorem.

scholarly journals Data exchange: semantics and query answering

2005 ◽  
Vol 336 (1) ◽  
pp. 89-124 ◽  
Author(s):  
Ronald Fagin ◽  
Phokion G. Kolaitis ◽  
Renée J. Miller ◽  
Lucian Popa
Keyword(s):  
Data Exchange ◽  
Query Answering

scholarly journals Probability of infectious disease in humans during epidemic

2021 ◽  
Author(s):  
AM Karmishin ◽  
IV Borisevich ◽  
VI Skvortsova ◽  
AA Goryaev ◽  
SM Yudin
Keyword(s):  
Infectious Disease ◽  
Biological Object ◽  
Epidemiological Modeling ◽  
Pathogen Virulence ◽  
The Core ◽  
Special Cases ◽  
Quantitative Characteristics ◽  
Infective Dose ◽  
The Law ◽  
Generalized Time

Popular SIR models and their modifications used to generate predictions about epidemics and, specifically, the COVID-19 pandemic, are inadequate. The aim of this study was to find the laws describing the probability of infection in a biological object. Using theoretical methods of research based on the probability theory, we constructed the laws describing the probability of infection in a human depending on the infective dose and considering the temporal characteristics of a given infection. The so-called generalized time-factor law, which factors in the time of onset and the duration of an infectious disease, was found to be the most general. Among its special cases are the law describing the probability of infection developing by some point in time t, depending on the infective dose, and the law that does not factor in the time of onset. The study produced a full list of quantitative characteristics of pathogen virulence. The laws described in the study help to solve practical tasks and should lie at the core of mathematical epidemiological modeling.

scholarly journals Query Answering with Guarded Existential Rules under Stable Model Semantics

2020 ◽  
Vol 34 (03) ◽  
pp. 3017-3024
Author(s):  
Hai Wan ◽  
Guohui Xiao ◽  
Chenglin Wang ◽  
Xianqiao Liu ◽  
Junhong Chen ◽  
...  
Keyword(s):  
Answer Set Programming ◽  
Query Answering ◽  
Prototype System ◽  
Stable Model ◽  
Logic Programs ◽  
Termination Problem ◽  
Answer Set

In this paper, we study the problem of query answering with guarded existential rules (also called GNTGDs) under stable model semantics. Our goal is to use existing answer set programming (ASP) solvers. However, ASP solvers handle only finitely-ground logic programs while the program translated from GNTGDs by Skolemization is not in general. To address this challenge, we introduce two novel notions of (1) guarded instantiation forest to describe the instantiation of GNTGDs and (2) prime block to characterize the repeated infinitely-ground program translated from GNTGDs. Using these notions, we prove that the ground termination problem for GNTGDs is decidable. We also devise an algorithm for query answering with GNTGDs using ASP solvers. We have implemented our approach in a prototype system. The evaluation over a set of benchmarks shows encouraging results.

The Oxford Handbook of Virginia Woolf

2021 ◽  
Keyword(s):  
Secondary Students ◽  
Virginia Woolf ◽  
Magical Realism ◽  
Natural World ◽  
The Novel ◽  
Post Secondary ◽  
The Core ◽  
The Times ◽  
The Many ◽  
Hogarth Press

With thirty-nine original chapters from internationally prominent scholars, The Oxford Handbook of Virginia Woolf is designed for post-secondary students, scholars, and common readers. Feminist to the core, each chapter offers an overview that is at once fresh and thoroughly grounded in prior scholarship. Six parts focus on Woolf’s life, her texts, her experiments, her as a professional, her contexts, and her afterlife. Opening chapters on Woolf’s life address the powerful influences of family, friends, and home. Part II on her works moves chronologically, emphasizing Woolf’s practice of writing essays and reviews alongside her fiction. Chapters on Woolf’s experimentalism pay special attention to the literariness of Woolf’s writing, with opportunity to trace its distinctive watermark while ‘Professions of Writing’, invites readers to consider how Woolf worked in cultural fields including and extending beyond the Hogarth Press and the Times Literary Supplement. Part V on ‘Contexts’ moves beyond writing to depict her engagement with the natural world as well as the political, artistic, and popular culture of her time. The final part, ‘Afterlives’, demonstrates the many ways Woolf’s reputation continues to grow. Of particular note, chapters explore three distinct Woolfian traditions in fiction: the novel of manners, magical realism, and the feminist novel.

Future Directions of Course Management Systems

2011 ◽  
pp. 307-330
Author(s):  
David Mills
Keyword(s):  
Higher Education ◽  
Teaching And Learning ◽  
Data Exchange ◽  
Evolutionary Process ◽  
Management Systems ◽  
Course Management Systems ◽  
Course Management ◽  
Future Directions ◽  
The Core ◽  
Core Mission

Course management systems will unquestionably become one of the most critical enterprise systems in higher education. This is because these systems are more closely aligned with the core mission of teaching and learning than any others. Although these systems have already undergone extraordinary transformation in just a few short years, we are at only the very beginning of the evolutionary process. It is critical that CMS vendors look to the students, educators, and administrators that interact with these systems to identify what new tools and features they need. Consequently, the next stage of innovation in course management systems should therefore focus more on features specifically related to promoting better and more efficient processes for teaching and learning online. More flexible administration options should make these systems easier to maintain. Emerging standards will continue to simplify communications and data exchange with other systems. Finally, the infusion of sound principles of instructional design and learning theory into the tools themselves promises to transform today’s course management systems into tomorrow’s expert systems for teaching and learning.

Sign in / Sign up

Export Citation Format

Share Document