scholarly journals Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts

10.29007/f3hh ◽  
2018 ◽  
Author(s):  
Franz Baader ◽  
Andreas Ecke
Keyword(s):  
Boolean Algebra ◽  
Description Logic ◽  
Knowledge Bases ◽  
The Other ◽  
Cardinality Constraints ◽  
New Formalism ◽  
Statistical Knowledge ◽  
General Constraints ◽  
Consistency Problem ◽  
The One

We extend the terminological formalism of the well-known description logic ALC from concept inclusions (CIs) to more general constraints formulated in the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA). In QFBAPA one can formulate Boolean combinations of inclusion constraints and numerical constraints on the cardinalities of sets.Our new formalism extends, on the one hand, so-called cardinality restrictions on concepts, which have been introduced two decades ago, and on the other hand the recently introduced statistical knowledge bases. Though considerably more expressive, our formalism has the same complexity (NExpTime) as cardinality restrictions on concepts. We will also introduce a restricted version of our formalism for which the complexity is ExpTime. This yields the until now unknown exact complexity of the consistency problem for statistical knowledge bases.

scholarly journals Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard

2020 ◽  
Vol 34 (3) ◽  
pp. 291-301
Author(s):  
Franz Baader ◽  
Clément Théron
Keyword(s):  
Description Logic ◽  
Direct Proof ◽  
General Concept ◽  
The Other ◽  
Other Hand ◽  
The One ◽  
Minimal Description ◽  
The Impact

Abstract We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic $$\mathcal{FL}_0$$ FL 0 . On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in $$\mathcal{FL}_0$$ FL 0 . On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases

1997 ◽  
Vol 06 (01) ◽  
pp. 27-36 ◽  
Author(s):  
Bertrand Mazure ◽  
Lakhdar Saïs ◽  
Éric Grégoire
Keyword(s):  
Local Search ◽  
Fundamental Problem ◽  
Real Life ◽  
Knowledge Bases ◽  
The Other ◽  
Logical Consistency ◽  
Complete Problem ◽  
Np Complete ◽  
The One ◽  
Cooperative Knowledge

In this paper, we address a fundamental problem in the formalization and implementation of cooperative knowledge bases: the difficulty of preserving consistency while interacting or combining them. Indeed, knowledge bases that are individually consistent can exhibit global inconsistency. This stumbling-block problem is an even more serious drawback when knowledge and reasoning are expressed using logical terms. Indeed, on the one hand, two contradictory pieces of information lead to global inconsistency under complete standard rules of deduction: every assertion and its contrary can be deduced. On the other hand, checking the logical consistency of a propositional knowledge base is an NP-complete problem and is often out of reach for large real-life applications. In this paper, a new practical technique to locate inconsistent interacting pieces of information is presented in the context of cooperative logical knowledge bases. Based on a recently discovered heuristic about the work performed by local search techniques, it can be applied in the context of large interacting knowledge bases.

Ergativity and Differential Case Marking

2017 ◽  
Author(s):  
Andrej L. Malchukov
Keyword(s):  
The Other ◽  
Differential Object Marking ◽  
Case Marking ◽  
Other Hand ◽  
General Constraints ◽  
Different Types ◽  
Object Marking ◽  
The One

The present chapter discusses patterns of differential case marking in ergative languages, focusing on differential subject marking, which is more prominent in ergative languages (in contrast to accusative languages, where differential object marking is more prominent). It is argued that patterns of (differential) case marking can be accounted two general constraints related to (role)-indexing, on the one hand, and distinguishability (or markedness) on the other hand. This approach correctly predicts asymmetries between differential object marking (DOM) and differential subject marking (DSM) with regard to animacy, definiteness, as well as discourse features. I also show how this approach can be extended to capture a relation between case and voice alternation, as well as briefly outline diachronic scenarios leading to different types of differential case marking in ergative and split intransitive languages.

The Digital Humanities, Inc.: Literary Criticism and the Fate of a Profession

PMLA ◽  
2016 ◽  
Vol 131 (2) ◽  
pp. 324-339 ◽  
Author(s):  
Andrew Kopec
Keyword(s):  
Literary Criticism ◽  
Digital Humanities ◽  
First Century ◽  
The Other ◽  
Critical Practice ◽  
New Formalism ◽  
Other Hand ◽  
New Critics ◽  
The One ◽  
Data Reading

The popularization of the digital humanities and the return to formalism are overdetermined by the perceived crises in the humanities. On the one hand, the new formalism harks back to a professionalizing strategy begun by the New Critics with John Crowe Ransom's “Criticism, Inc.,” drawing strength from close reading's original polemic against industrialism. On the other hand, the digital humanities reimagine professional labor in ways that seemingly approximate postindustrial norms. These contradictory but inextricably related visions of professional futures restage a conflict between literature and data, reading and making, that has been misrecognized as a conflict between literature and history. Approaching these tensions by way of historicist critique can illuminate the extent to which the debate between literature and data will define critical practice in the twenty-first century.

scholarly journals Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

2021 ◽  
Author(s):  
Christoph Beierle ◽  
Jonas Haldimann
Keyword(s):  
Normal Form ◽  
Knowledge Base ◽  
Normal Forms ◽  
Nonmonotonic Reasoning ◽  
Knowledge Bases ◽  
The Other ◽  
Conditional Knowledge ◽  
System P ◽  
The One ◽  
Model Equivalence

AbstractConditionals are defeasible rules of the form If A then usually B, and they play a central role in many approaches to nonmonotonic reasoning. Normal forms of conditional knowledge bases consisting of a set of such conditionals are useful to create, process, and compare the knowledge represented by them. In this article, we propose several new normal forms for conditional knowledge bases. Compared to the previously introduced antecedent normal form, the reduced antecedent normal form (RANF) represents conditional knowledge with significantly fewer conditionals by taking nonmonotonic entailments licenced by system P into account. The renaming normal form(ρNF) addresses equivalences among conditional knowledge bases induced by renamings of the underlying signature. Combining the concept of renaming normal form with other normal forms yields the renaming antecedent normal form (ρ ANF) and the renaming reduced antecedent normal form (ρ RANF). For all newly introduced normal forms, we show their key properties regarding, existence, uniqueness, model equivalence, and inferential equivalence, and we develop algorithms transforming every conditional knowledge base into an equivalent knowledge base being in the respective normal form. For the most succinct normal form, the ρ RANF, we present an algorithm KBρra systematically generating knowledge bases over a given signature in ρ RANF. We show that the generated knowledge bases are consistent, pairwise not antecedentwise equivalent, and pairwise not equivalent under signature renaming. Furthermore, the algorithm is complete in the sense that, when taking signature renamings and model equivalence into account, every consistent knowledge base is generated. Observing that normalizing the set of all knowledge bases over a signature Σ to ρ RANF yields exactly the same result as KBρra (Σ), highlights the interrelationship between normal form transformations on the one hand and systematically generating knowledge bases in normal form on the other hand.

Et si le proto-bantu était aussi une langue … avec ses contraintes et ses déséquilibres

Diachronica ◽  
2008 ◽  
Vol 25 (1) ◽  
pp. 54-110 ◽  
Author(s):  
Gisèle Teil-Dautrey
Keyword(s):  
The Other ◽  
Present Evidence ◽  
Obligatory Contour Principle ◽  
Place Of Articulation ◽  
Phonological Structure ◽  
Other Hand ◽  
General Constraints ◽  
The One

This article aims to define the phonological structure of Proto-Bantu lexical units on the basis of frequencies of reconstructed consonant co-occurrences. Starting from the main reconstructions given in BLR3, I present evidence for the presence of unexpected frequencies indicating imbalances in two directions. Certain consonant co-occurrences have not been reconstructed, essentially consonants sharing the same place of articulation and differing by only one feature, either voicing or nasality. These “gaps” in the proto-lexicon turn out to correspond to more general constraints that tend, on the one hand, towards the differentiation of place of articulation and, on the other hand, on agreement in voicing and nasality. However, in cases where *C1 and *C2 share the same place of articulation, Proto-Bantu seems to prefer identity over similarity. In looking to establish a link between the phonotactic constraints of the mother language and those of daughter languages, the latter take different directions, either a direction identical to that of the mother language, or a divergent one. In the reconstructions, the constraints on the nasality feature show similarities to those present in contemporary languages: Ganda has extended the constraint reconstructed for alveolars to all co-occurrences between a voiced stop and a nasal with the same place of articulation. However, the constraints on voicing generated by the dissimilation rule known as Dahl’s Law go in a divergent direction. I bring support here for the view that Dahl’s Law is in fact a daughter-language innovation. Furthermore, I show that this innovation was probably induced by the imbalances of the mother language; the rule fills Proto-Bantu distributional gaps. Finally, I discuss the implications of this study for the Obligatory Contour Principle (OCP).

scholarly journals Coordinating questions: The scope puzzle

2020 ◽  
Vol 29 ◽  
pp. 562
Author(s):  
Morwenna Hoeks ◽  
Floris Roelofsen
Keyword(s):  
The Other ◽  
General Constraints ◽  
Interrogative Clauses ◽  
The One ◽  
Exhaustive Interpretation

This paper introduces a new puzzle concerning the interaction between questions on the one hand, and conjunction and disjunction on the other. It shows that a conjunction of two polar interrogative clauses is interpreted so that each conjunct involves a polar question operator and the conjunction takes scope over these, whereas a disjunction of two polar interrogative clauses can only be interpreted as involving a single polar question operator scoping over the disjunction. In other words, two full-fledged polar questions each including their own question operator can be conjoined, but cannot be disjoined. We argue that the source of this contrast is semantic (rather than syntactic, pragmatic, or other), and we formulate two general constraints on question meanings which can each account for it. The first, based on Fox (2018), requires that the resolutions of a question are related in a particular way to the cells of the partition that the question induces on the context set. The second requires that the exhaustive interpretation of a consistent resolution of the question is never inconsistent. We leave open which of these two constraints is to be preferred.

Note on Selection of Coordinate Systems for Geodynamics

1975 ◽  
Vol 26 ◽  
pp. 395-407
Author(s):  
S. Henriksen
Keyword(s):  
Sea Level ◽  
The Other ◽  
Coordinate Systems ◽  
Mean Sea Level ◽  
The Earth ◽  
The One ◽  
Static Systems ◽  
Selection Of

The first question to be answered, in seeking coordinate systems for geodynamics, is: what is geodynamics? The answer is, of course, that geodynamics is that part of geophysics which is concerned with movements of the Earth, as opposed to geostatics which is the physics of the stationary Earth. But as far as we know, there is no stationary Earth – epur sic monere. So geodynamics is actually coextensive with geophysics, and coordinate systems suitable for the one should be suitable for the other. At the present time, there are not many coordinate systems, if any, that can be identified with a static Earth. Certainly the only coordinate of aeronomic (atmospheric) interest is the height, and this is usually either as geodynamic height or as pressure. In oceanology, the most important coordinate is depth, and this, like heights in the atmosphere, is expressed as metric depth from mean sea level, as geodynamic depth, or as pressure. Only for the earth do we find “static” systems in use, ana even here there is real question as to whether the systems are dynamic or static. So it would seem that our answer to the question, of what kind, of coordinate systems are we seeking, must be that we are looking for the same systems as are used in geophysics, and these systems are dynamic in nature already – that is, their definition involvestime.

Stories and the Self

2020 ◽  
Vol 32 (2) ◽  
pp. 47-58 ◽  
Author(s):  
Stefan Krause ◽  
Markus Appel
Keyword(s):  
Meta Analysis ◽  
The Self ◽  
The Other ◽  
Lower Degree ◽  
Contrast Effects ◽  
Self Perception ◽  
Self Perceptions ◽  
Other Hand ◽  
The One ◽  
Implicit And Explicit

Abstract. Two experiments examined the influence of stories on recipients’ self-perceptions. Extending prior theory and research, our focus was on assimilation effects (i.e., changes in self-perception in line with a protagonist’s traits) as well as on contrast effects (i.e., changes in self-perception in contrast to a protagonist’s traits). In Experiment 1 ( N = 113), implicit and explicit conscientiousness were assessed after participants read a story about either a diligent or a negligent student. Moderation analyses showed that highly transported participants and participants with lower counterarguing scores assimilate the depicted traits of a story protagonist, as indicated by explicit, self-reported conscientiousness ratings. Participants, who were more critical toward a story (i.e., higher counterarguing) and with a lower degree of transportation, showed contrast effects. In Experiment 2 ( N = 103), we manipulated transportation and counterarguing, but we could not identify an effect on participants’ self-ascribed level of conscientiousness. A mini meta-analysis across both experiments revealed significant positive overall associations between transportation and counterarguing on the one hand and story-consistent self-reported conscientiousness on the other hand.

Radioimmunotherapy for treatment of acute myeloid leukaemia and myelodysplastic syndrome

2005 ◽  
Vol 44 (03) ◽  
pp. 107-117
Author(s):  
R. G. Meyer ◽  
W. Herr ◽  
A. Helisch ◽  
P. Bartenstein ◽  
I. Buchmann
Keyword(s):  
Acute Myeloid Leukaemia ◽  
Myeloid Leukaemia ◽  
Primary Tumour ◽  
The Other ◽  
Haematopoietic Stem Cell ◽  
Other Hand ◽  
Primary Reduction ◽  
The One ◽  
Acute Myeloid

SummaryThe prognosis of patients with acute myeloid leukaemia (AML) has improved considerably by introduction of aggressive consolidation chemotherapy and haematopoietic stem cell transplantation (SCT). Nevertheless, only 20-30% of patients with AML achieve long-term diseasefree survival after SCT. The most common cause of treatment failure is relapse. Additionally, mortality rates are significantly increased by therapy-related causes such as toxicity of chemotherapy and complications of SCT. Including radioimmunotherapies in the treatment of AML and myelodyplastic syndrome (MDS) allows for the achievement of a pronounced antileukaemic effect for the reduction of relapse rates on the one hand. On the other hand, no increase of acute toxicity and later complications should be induced. These effects are important for the primary reduction of tumour cells as well as for the myeloablative conditioning before SCT.This paper provides a systematic and critical review of the currently used radionuclides and immunoconjugates for the treatment of AML and MDS and summarizes the literature on primary tumour cell reductive radioimmunotherapies on the one hand and conditioning radioimmunotherapies before SCT on the other hand.

Sign in / Sign up

Export Citation Format

Share Document