Large-scale knowledge graphs (KGs) are widely used in industry and academia, and provide excellent use-cases for ontologies. We find, however, that popular ontology languages, such as OWL and Datalog, cannot express even the most basic relationships on the normalised data format of KGs. Existential rules are more powerful, but may make reasoning undecidable. Normalising them to suit KGs often a...

Spotlight abstractions in verification focus on one specific component in a parallel system while disregarding most information about the rest. Existing spotlight abstractions are either based on overor on underapproximations of the parallel system, thus either preserving existential or universal properties. In this paper we present three-valued spotlight abstractions for parallel systems which...

We present a variant of the explicitly-typed secondorder polymorphic λ-calculus with primitive open existential types, i.e. a collection of more atomic constructs for introduction and elimination of existential types. We equip the language with a call-by-value small-step reduction semantics that enjoys the subject reduction property. Traditional closed existential types can be defined as syntac...

BACKGROUND Cerebral glioma has a devastating impact on cognitive, physical, social, psychological and spiritual well-being. We sought to understand the multidimensional experience of patients with this form of cancer as they progressed from receiving a diagnosis to the terminal phase of the disease. METHODS We recruited patients with a suspected brain tumour from a tertiary referral centre in...

This paper proposes an analysis of a relatively under described existential construction in Tagalog. This construction at first glance appears to embed a relative clause under the existential predicate. However, it differs from this type of existential in two crucial respects. The complement of the existential verb allows extraction, demonstrating that it is not a DP. Additionally, rather asser...

Existential and humanistic approaches to the study of human behavior are often integrated into one, The Existential-Humanistic Approach, primarily because the two approaches are phenomenological in their orientations. However, despite the shared emphasis on subjectivity, authenticity, and freedom, a number of differences exist between the approaches. In this article, I articulate points of dive...