Active integrity constraints (AICs) are a useful formalism to express and policies restore consistency in databases violating them. However, AICs do not allow users different kinds of commonly arising practice, such as foreign keys. In this paper, we propose existential active (EAICs), powerful extension that allows us wide range used ontological systems. We investigate properties EAICs. Specif...

This paper presents a series of three studies describing how reading literature promotes empathy and moral outcomes. We add contrasts to this field empirical study: (a) an explanatory interpretative form narrative engagement (Integrative Comprehension) is contrasted with expressive explicative aesthetic (Expressive Enactment); (b) interpretive cognitive perspective-taking (a component Integrati...

In this paper we delineate the conditions and features of what call an existential philosophy history in relation to customary trends field history. We do by circumscribing a transgenerational temporality our entanglement ethical relations with temporal others ask us as responsive selves explicating attitude need have when trying responsibly respond other vulnerable beings historical world life.

Matching of concepts against patterns is a new inference task in Description Logics, which was originally motivated by applications of the Classic system. Consequently, the work on this problem was until now mostly concerned with sublanguages of the Classic language, which does not allow for existential restrictions. Motivated by an application in chemical process engineering, which requires a ...