Exploiting a perdurantist foundational ontology and graph database for semantic data integration

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University London.The view of reality that is inherent to perdurantist philosophical ontologies, often termed four dimensional (4D) ontologies, has not been widely adopted within the mainstream of information system design practice. However, as the closed world of enterprise systems is opened to Internet scale Semantic Web and Open Data information sources, there is a need to better understand the semantics of both internal and external data and how they can be integrated. Philosophical foundational ontologies can help establish this understanding and there is, therefore, an emerging need to research how they can be applied to the problem of semantic data integration. Therefore, a prime objective of this research was to develop a framework through which to apply a 4D foundational ontology and a graph database to the problem of semantic data integration, and to assess the effectiveness of the approach. The research employed design science, a methodology which is applicable to undertaking research within information systems as it encompasses methods through which the research can be undertaken and the resultant artefacts evaluated. This methodology has a number of discrete stages: problem awareness; a core design-build-evaluate iterative cycle through which the research is conducted; and a conclusion stage. The design science research was conducted through the development of a number of artefacts, the prime being the 4D-Semantic Extract Load (4D-SETL) framework. The effectiveness of the framework was assessed by applying it to semantically interpret and integrate a number of large scale datasets and to instantiate a prototype graph database warehouse to persist the resultant ontology. A series of technical experiments confirmed that directly reflecting the model patterns of 4D ontology within a prototype data warehouse proved an effective means of both structuring and semantically integrating complex datasets and that the artefacts produced by 4D-SETL could function at scale. Through illustrative scenario, the effectiveness of the approach is described in relation to the ability of the framework to address a number of weaknesses in current approaches. Furthermore the major advantages of the 4D-SETL are elaborated; which include ability of the framework is to combine foundational, domain and instance level ontological models in a single coherent system that dispensed with much of the translation normally undertaken between conceptual, logical and physical data models. Additionally, adopting a perdurantist realist foundational ontology provided a clear means of establishing and maintaining the identity of physical objects as their constituent temporal and spatial parts unfold over the course of tim

User-Environment Relations : A Postphenomenology of Virtual Reality

Innen HCI blir interaksjon tradisjonelt forstått som noe som skjer mellom de forhåndsantatte enhetene «menneskelig bruker» og «teknologisk objekt». Særlig tvinger omsluttende VR-teknologi oss til å revurdere disse antagelsene, ettersom den menneskelige brukeren og det virtuelle miljøet former hverandre gjensidig i relasjonene som konstitueres mellom dem. Postfenomenologien ser ut til å være en lovende kandidat for det å redegjøre for kompleksiteten til VR-mediering ettersom den tilbyr et mer helhetlig syn, og tar hensyn til hvordan teknologier tar del i konstitueringen av menneskers livsverdener. Ettersom virtuelle miljøer ikke bare er verktøy vi samhandler med eller bruker, men miljøer hvor vi eksisterer og som vi blir formet gjennom, ser postfenomenologien ut til å tilby et lovende perspektiv for å fremme vår forståelse av hvordan VR tar del i å endre vår opplevelse av hvem vi er i forhold til våre verdener. Denne doktorgradsavhandlingen undersøker hvordan postfenomenologi kan tas i bruk konstruktivt for å få en kvalitativ forståelse av brukeropplevelse i omsluttende VR-teknologi. Avhandlingen presenterer teoretiske, metodiske og empiriske bidrag. Teoretisk sett introduseres menneske-teknologi-relasjonen som VR utgjør som bruker-miljø-relasjoner. Gjennom en analyse av menneske-teknologi-relasjonen som VR utgjør, demonstreres det hvordan forskere kan dra nytte av en postfenomenologisk forståelse av VR, samt hvordan VR-mediet selv krever en revurdering av tradisjonelle postfenomenologiske kategorier av menneske-teknologi-relasjoner. Metodisk sett, foreslås «VR Go-along»-metoden som en passende tilnærming for å gi kvalitative vurderinger av brukeropplevelsen som mediert i de konstituerte bruker-miljø-relasjonene. Empirisk sett, presenterer avhandlingen en kvalitativ og utforskende «in-the-wild»-studie av omsluttende VR-bruk over to måneder, hvor «VR Go-along»-metoden brukes til å undersøke deltakernes brukeropplevelse slik de er mediert i de konstituerte bruker-miljø-relasjonene. Denne avhandlingen fungerer som en refleksiv redegjørelse av forfatterens undersøkelse om bruken av postfenomenologi for å gi en forståelse av mediering i omsluttende VR-teknologi. Den demonstrerer det gjensidig fordelaktige forholdet mellom postfenomenologi og omsluttende VR og illustrerer hvordan postfenomenologiske undersøkelser av omsluttende VR-mediering kan gjennomføres. Gjennom avhandlingen argumenteres det for at forskere kan få en mer helhetlig forståelse av hvordan VR medierer brukeropplevelse ved å se på hvordan brukeropplevelsen i omsluttende VR medieres i de konstituerte bruker-miljø-relasjonene. Bidraget til denne avhandlingen fungerer som en foreløpig undersøkelse av hvordan postfenomenologi kan brukes fruktbart innen HCI for å forstå og spørre om brukeropplevelsen i omsluttende VR og relasjonene som omsluttende VR gir opphav til.In HCI, interaction is traditionally understood as something that occurs between the pre-given entities of a human user and a technological object. The technology of Immersive Virtual Reality (VR), in particular, forces us to reconsider these presuppositions, as the human user and the virtual environment mutually shape each other in the relations constituted between them. Postphenomenology seems to be a promising candidate to account for the complexities of VR mediation as it takes a more holistic view, attending to how technologies mediate human beings' lifeworlds. As virtual environments are not just tools we interact with or use, but environments in which we exist and through which we are shaped, postphenomenology seems to offer a promising perspective for furthering our understanding of how VR takes part in altering our experience of who we are in relation to our worlds. This doctoral dissertation presents an inquiry into how postphenomenology can be constructively used to gain a qualitative understanding of user experience in Immersive VR. The dissertation presents theoretical, methodical and empirical contributions. Theoretically, the human-technology relation that VR constitute is introduced as user-environment relations. Through an analysis of the human-technology relation that VR constitutes, it is demonstrated how researchers can benefit from a postphenomenological understanding of VR as well as how VR prompts a reconsideration of traditional postphenomenological categories of human-technology relations. Methodically, it proposes the VR Go-along method as an approach to qualitatively assessing the user experience as mediated in the constituted user-environment relations. Empirically, this dissertation presents a qualitative and explorative in-the-wild study of Immersive VR use over two months, where the VR Go-along is utilised to inquire into the participants' user experience as mediated in the constituted user-environment relations. This dissertation serves as a reflexive account of the author's inquiry into the use of postphenomenology to provide an understanding of Immersive VR mediation. It demonstrates the mutually beneficial relationship between postphenomenology and Immersive VR and illustrates how postphenomenological inquiries into Immersive VR mediation can be conducted. Throughout the dissertation, it is argued that researchers can gain a more holistic understanding of how VR mediates user experience by attending to how the user experience in Immersive VR is mediated in the constituted user-environment relations. The contribution of this dissertation serves as a preliminary inquiry into how postphenomenology can be fruitfully employed in HCI to understand and inquire into the user experience in Immersive VR and the relations to which it gives rise.Doktorgradsavhandlin

A study of the role of GIS in constructing relational place knowledge through school geography education

This thesis addresses a specific aspect of geography in school education, the role of geographic information systems (GIS) in supporting relational understanding of place. It does this by combining a literature-based conceptual analysis with schools-based empirical enquiry. The main research question that steers the thesis is: What role does GIS play in constructing relational knowledge about place through school geography education?\ud \ud The research offers new insights on the ways in which teachers can use GIS in geography education to construct relational knowledge about place. Following a discussion of place, relational knowledge and GIS in both academic and school geography, a methodology for the research is fully explained and justified. A qualitative enquiry approach is adopted via a multi-staged design consisting of case study and practitioner research. Analysis of interviews with teachers and pupils, lesson observations and document analyses yields ‘thick description’ of constructing place knowledge through GIS.\ud \ud A synthesis of the conceptual and empirical analyses provides the basis for a discussion of findings. Findings identify GIS as a powerful medium for relational spatial analysis in school geography but also reveal its limitations on relational constructions and interpretations of place. A model of geographical knowledge construction in GIS is presented as a device for developing teachers’ critical engagement with GIS in school geography. The thesis concludes with a critical evaluation and recommendations for future study

ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

It has been a long history of Information Technology innovations within the Cultural Heritage areas. The Performing arts has also been enforced with a number of new innovations which unveil a range of synergies and possibilities. Most of the technologies and innovations produced for digital libraries, media entertainment and education can be exploited in the field of performing arts, with adaptation and repurposing. Performing arts offer many interesting challenges and opportunities for research and innovations and exploitation of cutting edge research results from interdisciplinary areas. For these reasons, the ECLAP 2012 can be regarded as a continuation of past conferences such as AXMEDIS and WEDELMUSIC (both pressed by IEEE and FUP). ECLAP is an European Commission project to create a social network and media access service for performing arts institutions in Europe, to create the e-library of performing arts, exploiting innovative solutions coming from the ICT

Jewish Studies in the Digital Age

The digitisation boom of the last two decades, and the rapid advancement of digital tools to analyse data in myriad ways, have opened up new avenues for humanities research. This volume discusses how the so-called digital turn has affected the field of Jewish Studies, explores the current state of the art and probes how digital developments can be harnessed to address the specific questions, challenges and problems in the field

Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms

As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. We propose to view such systems as socio-technical systems, in which organisational and institutional concepts, such as norms, can be applied to improve not only control on the components but also their autonomy by the definition of soft rather than hard constraints. Norms can be described as rules that guide the behavior of individual agents pertaining to groups that abide to them, either by explicit or implicit support. The study of norms, and regulatory systems in general, in their many forms -e.g. social norms, conventions, laws, regulations- has been of interest since the beginning of philosophy, but has seen a lot of evolution during the 20th century due to the progress in the philosophy of language, especially concerning speech acts and deontic logic. Although there is a myriad of definitions and related terminologies about the concept of norm, and as such there are many perspectives on how to analyse their impact, a common denominator is that norms constrain the behaviour of groups of agents in a way that each individual agent can build, with a fair degree of confidence, expectations on how each of their counterparts will behave in the situations that the norms are meant to cover. For example, on a road each driver expects everybody else to drive on only one side of the road (right or left, depending on the country). Therefore, normative contexts, usually wrapped in the form of institutions, are effective mechanisms to ensure the stability of a complex system such as an organisation, a society, or even of electronic systems. The latter has been an object of interest in the field of Artificial Intelligence, and it has been seen as a paradigm of coordination among electronic agents either in multi-agent systems or in service-oriented architectures. In order to apply norms to electronic systems, research has come up with abstractions of normative systems. In some cases these abstractions are based on regimented systems with flexible definitions of the notion of norm, in order to include meanings of the concept with a coarse-grained level of logic formality such as conventions. Other approaches, on the other hand, propose the use of deontic logic for describing, from a more theoretical perspective, norm-governed interaction environments. In both cases, the purpose is to enable the monitoring and enforcement of norms on systems that include -although not limited to- electronic agents. In the present dissertation we will focus on the latter type, focusing on preserving the deontic aspect of norms. Monitoring in norm-governed systems requires making agents aware of: 1) what their normative context is, i.e. which obligations, permissions and prohibitions are applicable to each of them and how they are updated and triggered; and 2) what their current normative status is, i.e. which norms are active, and in what instances they are being fullfilled or violated, in order words, what their social -institutional- reality is. The current challenge is on designing systems that allow computational components to infer both the normative context and social reality in real-time, based on a theoretical formalism that makes such inferences sound and correct from a philosophical perspective. In the scope of multi-agent systems, many are the approaches proposed and implemented that full these requirements up to this date. However, the literature is still lacking a proposal that is suited to the current state-of-the-art in service-oriented architectures, more focused nowadays on automatically scalable, polyglot amalgams of lightweight services with extremely simple communication and coordination mechanisms- a trend that is being called “microservices”. This dissertation tackles this issue, by 1) studying what properties we can infer from distributed systems that allow us to treat them as part of a socio-technical system, and 2) analysing which mechanisms we can provide to distributed systems so that they can properly act as socio-technical systems. The main product of the thesis is therefore a collection of computational elements required for formally grounded and real-time e¬fficient understanding and monitoring of normative contexts, more specially: 1. An ontology of events to properly model the inputs from the external world and convert them into brute facts or institutional events; 2. A lightweight language for norms, suitable for its use in distributed systems; 3. An especially tailored formalism for the detection of social reality, based on and reducible to deontic logic with support for constitutive norms; 4. A reduction of such formalism to production rule systems; and 5. One or more implementations of this reduction, proven to e¬fficiently work on several scenarios. This document presents the related work, the rationale and the design/implementation of each one of these elements. By combining them, we are able to present novel, relevant work that enables the application of normative reasoning mechanisms in realworld systems in the form of a practical reasoner. Of special relevance is the fact that the work presented in this dissertation simplifies, while preserving formal soundness, theoretically complex forms of reasoning. Nonetheless, the use of production systems as the implementation-level materialisation of normative monitoring allows our work to be applied in any language and/or platform available, either in the form of rule engines, ECA rules or even if-then-else patterns. The work presented has been tested and successfully used in a wide range of domains and actual applications. The thesis also describes how our mechanisms have been applied to practical use cases based on their integration into distributed eldercare management and to commercial games.Con el incremento en la complejidad de los sistemas distribuidos, las interacciones entre los individuos (agentes, servicios) de dichos sistemas se vuelven más y más complejas y, por ello, más difíciles de restringir y monitorizar. Proponemos ver a estos sistemas como sistemas socio-técnicos, en los que conceptos organizacionales e institucionales (como las normas) pueden aplicarse para mejorar no solo el control sobre los componentes sino también su autonomía mediante la definición de restricciones débiles (en vez de fuertes). Las Normas se pueden describir como reglas que guían el comportamiento de agentes individuales que pertenecen a grupos que las siguen, ya sea con un apoyo explícito o implícito. El estudio de las normas y de los sistemas regulatorios en general y en sus formas diversas -normas sociales, convenciones, leyes, reglamentos- ha sido de interés para los eruditos desde los inicios de la filosofía, pero ha sufrido una evolución mayor durante el siglo 20 debido a los avances en filosofía del lenguaje, en especial los relacionados con los actos del habla -speech acts en inglés- y formas deónticas de la lógica modal. Aunque hay una gran variedad de definiciones y terminología asociadas al concepto de norma, y por ello existen varios puntos de vista sobre como analizar su impacto, el denominador común es que las normas restringen el comportamiento de grupos de agentes de forma que cada agente individual puede construir, con un buen nivel de confianza, expectativas sobre cómo cada uno de los otros actores se comportará en las situaciones que las normas han de cubrir. Por ejemplo, en una carretera cada conductor espera que los demás conduzcan solo en un lado de la carretera (derecha o izquierda, dependiendo del país). Por lo tanto, los contextos normativos, normalmente envueltos en la forma de instituciones, constituyen mecanismos efectivos para asegurar la estabilidad de un sistema complejo como una organización, una sociedad o incluso un sistema electrónico. Lo último ha sido objeto de estudio en el campo de la Inteligencia Artificial, y se ha visto como paradigma de coordinación entre agentes electrónicos, tanto en sistemas multiagentes como en arquitecturas orientadas a servicios. Para aplicar normas en sistemas electrónicos, los investigadores han creado abstracciones de sistemas normativos. En algunos casos estas abstracciones se basan en sistemas regimentados con definiciones flexibles del concepto de norma para poder influir algunos significados del concepto con un menor nivel de granularidad formal como es el caso de las convenciones. Otras aproximaciones proponen el uso de lógica deóntica para describir, desde un punto de vista más teórico, entornos de interacción gobernados por normas. En ambos casos el propósito es el permitir la monitorización y la aplicación de las normas en sistemas que incluyen -aunque no están limitados a- agentes electrónicos. En el presente documento nos centraremos en el segundo tipo, teniendo cuidado en mantener el aspecto deóntico de las normas. La monitorización en sistemas gobernados por normas requiere el hacer a los agentes conscientes de: 1) cual es su contexto normativo, es decir, que obligaciones permisos y prohibiciones se aplican a cada uno de ellos y cómo se actualizan y activan; y 2) cual es su estado normativo actual, esto es, que normas están activas, y que instancias están siendo cumplidas o violadas, en definitiva, cual es su realidad social -o institucional-. En la actualidad el reto consiste en diseñar sistemas que permiten inferir a componentes computacionales tanto el contexto normativo como la realidad social en tiempo real, basándose en un formalismo teórico que haga que dichas inferencias sean correctas y bien fundamentadas desde el punto de vista filosófico. En el ámbito de los sistemas multiagente existen muchas aproximaciones propuestas e implementadas que cubren estos requisitos. Sin embargo, esta literatura aun carece de una propuesta que sea adecuada para la tecnología de las arquitecturas orientadas a servicios, que están más centradas en amalgamas políglotas y escalables de servicios ligeros con mecanismos de coordinación y comunicación extremadamente simples, una tendencia moderna que lleva el nombre de microservicios. Esta tesis aborda esta problemática 1) estudiando que propiedades podemos inferir de los sistemas distribuidos que nos permitan tratarlos como parte de un sistema sociotécnico, y 2) analizando que mecanismos podemos proporcionar a los sistemas distribuidos de forma que puedan actuar de forma correcta como sistemas socio-técnicos. El producto principal de la tesis es, por tanto, una colección de elementos computacionales requeridos para la monitorización e interpretación e_cientes en tiempo real y con clara base formal. En concreto: 1. Una ontología de eventos para modelar adecuadamente las entradas del mundo exterior y convertirlas en hechos básicos o en eventos institucionales; 2. Un lenguaje de normas ligero y sencillo, adecuado para su uso en arquitecturas orientadas a servicios; 3. Un formalismo especialmente adaptado para la detección de la realidad social, basado en y reducible a lógica deóntica con soporte para normas constitutivas; 4. Una reducción de ese formalismo a sistemas de reglas de producción; y 5. Una o más implementaciones de esta reducción, de las que se ha probado que funcionan eficientemente en distintos escenarios. Este documento presenta el estado del arte relacionado, la justificación y el diseño/implementación para cada uno de esos elementos. Al combinarlos, somos capaces de presentar trabajo novedoso y relevante que permite la aplicación de mecanismos de razonamiento normativo en sistemas del mundo real bajo la forma de un razonador práctico. De especial relevancia es el hecho de que el trabajo presentado en este documento simplifica formas complejas y teóricas de razonamiento preservando la correctitud formal. El uso de sistemas de reglas de producción como la materialización a nivel de implementación del monitoreo normativo permite que nuestro trabajo se pueda aplicar a cualquier lenguaje o plataforma disponible, ya sea en la forma de motores de reglas, reglas ECA o incluso patrones si-entonces. El trabajo presentado ha sido probado y usado con éxito en un amplio rango de dominios y aplicaciones prácticas. La tesis describe como nuestros mecanismos se han aplicado a casos prácticos de uso basados en su integración en la gestión distribuida de pacientes de edad avanzada o en el sector de los videojuegos comerciales.Postprint (published version

Workshop, Long and Short Paper, and Poster Proceedings from the Fourth Immersive Learning Research Network Conference (iLRN 2018 Montana), 2018.

ILRN 2018 - Conferência internacional realizada em Montana de 24-29 de june de 2018.Workshop, short paper, and long paper proceedingsinfo:eu-repo/semantics/publishedVersio

Models and Modelling between Digital and Humanities: A Multidisciplinary Perspective

This Supplement of Historical Social Research stems from the contributions on the topic of modelling presented at the workshop “Thinking in Practice”, held at Wahn Manor House in Cologne on January 19-20, 2017. With Digital Humanities as starting point, practical examples of model building from different disciplines are considered, with the aim of contributing to the dialogue on modelling from several perspectives. Combined with theoretical considerations, this collection illustrates how the process of modelling is one of coming to know, in which the purpose of each modelling activity and the form in which models are expressed has to be taken into consideration in tandem. The modelling processes presented in this volume belong to specific traditions of scholarly and practical thinking as well as to specific contexts of production and use of models. The claim that supported the project workshop was indeed that establishing connections between different traditions of and approaches toward modelling is vital, whether these connections are complementary or intersectional. The workshop proceedings address an underpinning goal of the research project itself, namely that of examining the nature of the epistemological questions in the different traditions and how they relate to the nature of the modelled objects and the models being created. This collection is an attempt to move beyond simple representational views on modelling in order to understand modelling processes as scholarly and cultural phenomena as such