Problems with traditional GRC information systems (IS) in the financial industry has led to a growing interest in solutions provided by regulatory and GRC ontology-based semantic technologies. However, the process by which ontologies are designed is, we argue, problematic. This is due, in the main, to the ‘translation problem’, which typically arises between business subject matter experts (SME...

Abstract One particularly intense critical debate over interpretation in international law concerns the role of moral factors – specifically, degree to which such influence legal interpretation, and how should deal with them. A formalist approach argues that considerations be excluded as non-legal; a studies suggests they are an inevitable part functioning must therefore acknowledged; inclusivi...

To understand any aspect of being-in-the-world in general or cinematic experience in particular, both reductionist and holistic approaches are needed. Psychological accounts can give us only functional explanations of human behaviour or responses to signifying artifacts such as art. To understand the significance of these experiences the psychological must be complemented by a study on a level ...

Background and Importance: Abscess of the hypophysis or pituitary adenoma is a very rare entity, and its preoperative diagnosis could be challenging. The clinical presentation is less specific, and despite the recent advancement in imaging, diagnosis before surgery is still difficult. Case Presentation: We reported two cases of pituitary abscesses in patients aged 38 and 42 years. The first ...

Basic Assumptions and Purpose On a theoretical level, this presentation – which is based on my 2004 monograph Selfish Sounds and Linguistic Evolution – sketches and defends an approach to human linguistic competence that views it as a system of neural link patterns embodying schematic instructions for communicative behavior that are transmitted faithfully enough to qualify as mental or cultural...

Abstract The social services generally operate in the very centre of welfare systems marked by organisational specialisation. However, a downside to high levels specialisation is risk service fragmentation, which may particularly affect clients with complex needs. In this context, work over boundaries—boundary spanning—is crucial challenge for staff when performing their duties benefit both org...

This paper presents Automath encodings (which also are valid in LF/λP ) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest. The systems analyzed in this way are two kinds of set theory (ZFC and NF), two systems based on Church’s higher order logic (Isabelle/Pure and HOL), three kinds of type theo...