Instance-driven TBox revision in DL-Lite

The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and revision have attracted intensive research interest. In data-centric applications where ontologies are designed or automatically learnt from the data, when new data instances are added that contradict to the ontology, it is often desirable to incrementally revise the ontology according to the added data. This problem can be intuitively formulated as the problem of revising a TBox by an ABox. In this paper we introduce a model-theoretic approach to such an ontology revision problem by using a novel alternative semantic characterisation of DL-Lite ontologies. We show some desired properties for our ontology revision. We have also developed an algorithm for reasoning with the ontology revision without computing the revision result. The algorithm is efficient as its computational complexity is in coNP in the worst case and in PTIME when the size of the new data is bounded.

Theorizing why in digital learning: Opening frontiers for inquiry and innovation with technology

Asking why is an important foundation of inquiry and fundamental to the development of reasoning skills and learning. Despite this, and despite the relentless and often disruptive nature of innovations in information and communications technology (ICT), sophisticated tools that directly support this basic act of learning appear to be undeveloped, not yet recognized, or in the very early stages of development. Why is this so? To this question, there is no single factual answer. In response, however, plausible explanations and further questions arise, and such responses are shown to be typical consequences of why-questioning. A range of contemporary scenarios are presented to highlight the problem. Consideration of the various inputs into the evolution of digital learning is introduced to provide historical context and this serves to situate further discussion regarding innovation that supports inquiry-based learning. This theme is further contextualized by narratives on openness in education, in which openness is also shown to be an evolving construct. Explanatory and descriptive contents are differentiated in order to scope out the kinds of digital tools that might support inquiry instigated by why-questioning and which move beyond the search paradigm. Probing why from a linguistic perspective reveals versatile and ambiguous semantics. The why dimension—asking, learning, knowing, understanding, and explaining why—is introduced as a construct that highlights challenges and opportunities for ICT innovation. By linking reflective practice and dialogue with cognitive engagement, this chapter points to specific frontiers for the design and development of digital learning tools, frontiers in which inquiry may find new openings for support.

Moral vitalism: Seeing good and evil as real, agentic forces

Moral vitalism refers to a tendency to view good and evil as actual forces that can influence people and events. We introduce a scale designed to assess the belief in moral vitalism. High scorers on the scale endorse items such as “There are underlying forces of good and evil in this world”. After establishing the reliability and criterion validity of the scale (Studies 1, 2a, 2b), we examined the predictive validity of the moral vitalism scale, showing that “moral vitalists” worry about being possessed by evil (Study 3), being contaminated through contact with evil people (Study 4), and forfeiting their own mental purity (Study 5). We discuss the nature of moral vitalism and the implications of the construct for understanding the role of metaphysical lay theories about the nature of good and evil in moral reasoning.

Using the TARL Model in Psychology: Supporting First and Final Year Students to Compose Reflections

Reflective thinking is an important skill in psychology, both as a tool in the therapeutic process and in professional development. The adapted 4Rs Model provides reflective writing structure and highlights the importance of Reporting & Responding, Relating, Reasoning and Reconstructing to students who are new to writing reflections. This chapter presents a case in which the 4Rs model (modified from the 5Rs model in Chap. 2 of this edition) was adopted to support reflective writing skills of undergraduate psychology students in a first year unit and in a final year unit. Although all students reflected on their learning within the units, the support activities leading up to the reflective tasks were adjusted to account for differences in the abilities of the cohorts and the focus of the units. In an evaluation survey, both groups of students endorsed statements about the importance of reflections and the utility of using the model. First year students also reported some difficulties understanding the 4Rs. This chapter will explore how first and final year students can be supported to develop reflection skills through scaffolding and modification of the same approaches and model.

U v U [2002] HCA 36: Commentary

This commentary offers a feminist analysis of relocation cases through the lens of U v U [2002] HCA 36, and with reference to the re-written judgment for the Australian Feminist Judgments project. First, the commentary considers the gendered nature of relocation cases, and analyses aspects of the reasoning and outcome of U v U that are of concern from a feminist perspective. Second, the commentary discusses how the re-written judgment addresses these concerns, thereby offering a feminist judgment on the issue of relocation in family law.

Fuzzy-DL perception for multi-robot systems

For future planetary robot missions, multi-robot-systems can be considered as a suitable platform to perform space mission faster and more reliable. In heterogeneous robot teams, each robot can have different abilities and sensor equipment. In this paper we describe a lunar demonstration scenario where a team of mobile robots explores an unknown area and identifies a set of objects belonging to a lunar infrastructure. Our robot team consists of two exploring scout robots and a mobile manipulator. The mission goal is to locate the objects within a certain area, to identify the objects, and to transport the objects to a base station. The robots have a different sensor setup and different capabilities. In order to classify parts of the lunar infrastructure, the robots have to share the knowledge about the objects. Based on the different sensing capabilities, several information modalities have to be shared and combined by the robots. In this work we propose an approach using spatial features and a fuzzy logic based reasoning for distributed object classification.

An application of fuzzy DL-Based semantic perception to soil container classification

Semantic perception and object labeling are key requirements for robots interacting with objects on a higher level. Symbolic annotation of objects allows the usage of planning algorithms for object interaction, for instance in a typical fetchand-carry scenario. In current research, perception is usually based on 3D scene reconstruction and geometric model matching, where trained features are matched with a 3D sample point cloud. In this work we propose a semantic perception method which is based on spatio-semantic features. These features are defined in a natural, symbolic way, such as geometry and spatial relation. In contrast to point-based model matching methods, a spatial ontology is used where objects are rather described how they "look like", similar to how a human would described unknown objects to another person. A fuzzy based reasoning approach matches perceivable features with a spatial ontology of the objects. The approach provides a method which is able to deal with senor noise and occlusions. Another advantage is that no training phase is needed in order to learn object features. The use-case of the proposed method is the detection of soil sample containers in an outdoor environment which have to be collected by a mobile robot. The approach is verified using real world experiments.

Butterfly: the dark fluidity of suburban life

The American Association of Australasian Literary Studies (AAALS) Annual Conference, Forth Worth, Texas, 9–11 April 2015. The dark fluidity of Melbourne suburbia in Sonya Hartnett’s Butterfly Sonya Hartnett’s Butterfly (2009) is a fictional account of the suburban family life of the Coyles in 1980’s outer suburban Melbourne written from the perspective of teenager Plum Coyle. The Coyle family at first glance appear to be living a textbook example of the suburban lifestyle developed from the 19th century and sustained well into the twentieth century, in which housing design and gender roles were clearly defined and “connected with a normative heterosexuality” (Johnson 2000: 94). The Australian suburban space is also well documented as a place where people often have to contend with oppressive rigid social and cultural ideals (ie Rowse 1978, Johnson 1993, Turnbull 2008, and Flew 2011). There is a tendency to group “suburb” as one monolithic space but this paper will argue that Hartnett exposes the dark fluidity and the complexity of the term, just as she reveals that despite or perhaps because of the planned nature of suburbia, the lives that people live are often just as complex.

Exploiting inference from semantic annotations for information retrieval

The increasing amount of information that is annotated against standardised semantic resources offers opportunities to incorporate sophisticated levels of reasoning, or inference, into the retrieval process. In this position paper, we reflect on the need to incorporate semantic inference into retrieval (in particular for medical information retrieval) as well as previous attempts that have been made so far with mixed success. Medical information retrieval is a fertile ground for testing inference mechanisms to augment retrieval. The medical domain offers a plethora of carefully curated, structured, semantic resources, along with well established entity extraction and linking tools, and search topics that intuitively require a number of different inferential processes (e.g., conceptual similarity, conceptual implication, etc.). We argue that integrating semantic inference in information retrieval has the potential to uncover a large amount of information that otherwise would be inaccessible; but inference is also risky and, if not used cautiously, can harm retrieval.

Quantum cognition: A new theoretical approach to psychology

What type of probability theory best describes the way humans make judgments under uncertainty and decisions under conflict? Although rational models of cognition have become prominent and have achieved much success, they adhere to the laws of classical probability theory despite the fact that human reasoning does not always conform to these laws. For this reason we have seen the recent emergence of models based on an alternative probabilistic framework drawn from quantum theory. These quantum models show promise in addressing cognitive phenomena that have proven recalcitrant to modeling by means of classical probability theory. This review compares and contrasts probabilistic models based on Bayesian or classical versus quantum principles, and highlights the advantages and disadvantages of each approach.

RuleOMS: A rule-based online management system

We propose an architecture for a rule-based online management systems (RuleOMS). Typically, many domain areas face the problem that stakeholders maintain databases of their business core information and they have to take decisions or create reports according to guidelines, policies or regulations. To address this issue we propose the integration of databases, in particular relational databases, with a logic reasoner and rule engine. We argue that defeasible logic is an appropriate formalism to model rules, in particular when the rules are meant to model regulations. The resulting RuleOMS provides an efficient and flexible solution to the problem at hand using defeasible inference. A case study of an online child care management system is used to illustrate the proposed architecture.

Stroke: A brain attack!

Brain cells control everything we do - from speaking to walking to breathing. The brain needs a steady supply of blood and oxygen to function properly. Without this vital steady supply of blood, brain cells don't get enough nutrients and oxygen to do their job, and a stroke or 'brain attack' occurs. The human brain is divided into regions that control various motor (movement) and sensory (the senses) functions. Damage from stroke to a specific region may affect the functions it controls. This causes symptoms such as paralysis (loss of movement), difficulty speaking, or loss of coordination. The left side of the brain controls motor and sensory functions on the right side of the body. The left side is also responsible for scientific functions, understanding written and spoken language, number skills and reasoning. The right side of the brain controls motor and sensory functions on the left side of the body. It also controls artistic functions, such as music, art awareness, and insight. If an artery inside the brain or leading to the brain becomes temporarily blocked, the flow of blood to an area of the brain slows or stops. The lack of blood can cause temporary symptoms such as weakness, numbness, problems with speech, dizziness, or loss of vision.

Cognitive neuroimaging: Cognitive science out of the armchair

Cognitive scientists were not quick to embrace the functional neuroimaging technologies that emerged during the late 20th century. In this new century, cognitive scientists continue to question, not unreasonably, the relevance of functional neuroimaging investigations that fail to address questions of interest to cognitive science. However, some ultra-cognitive scientists assert that these experiments can never be of relevance to the study of cognition. Their reasoning reflects an adherence to a functionalist philosophy that arbitrarily and purposefully distinguishes mental information-processing systems from brain or brain-like operations. This article addresses whether data from properly conducted functional neuroimaging studies can inform and subsequently constrain the assumptions of theoretical cognitive models. The article commences with a focus upon the functionalist philosophy espoused by the ultra-cognitive scientists, contrasting it with the materialist philosophy that motivates both cognitive neuroimaging investigations and connectionist modelling of cognitive systems. Connectionism and cognitive neuroimaging share many features, including an emphasis on unified cognitive and neural models of systems that combine localist and distributed representations. The utility of designing cognitive neuroimaging studies to test (primarily) connectionist models of cognitive phenomena is illustrated using data from functional magnetic resonance imaging (fMRI) investigations of language production and episodic memory.

Reconnecting theory and practice in pluralistic contexts: Issues and Aristotelian considerations

The purpose of this article is to contribute, from a research practitioner perspective, to the theory–practice gap debate in organization studies, focusing on pluralistic contexts such as project organizing. The current debate is introduced; then the features of the two main philosophical traditions (i.e., modernism and postmodernism) are critically summarized. Then, propositions to reconnect theory and practice according to the Aristotelian premodern ethical and practical philosophy are discussed. Some key implications in the following areas are outlined: roles played by practitioners and scholars; emancipatory praxeological style of reasoning; closing the “phronetic gap”; and the development of “good practice,” ethics, and politics.

Swings and round-abouts: Student connectedness in secondary schools

Connectedness is a complex idea that seems to mean different things for each individual. For the purposes of this dissertation, connectedness can best be understood as the ways that an individual feels an affiliation with the community of the institution that he/she experiences. This dissertation seeks to uncover the discourses that various stakeholder groups have within the site of a single school concerning connectedness. One of the precepts that this dissertation holds is that connectedness to school has benefits for the individual as learner, the school as a community and potentially the wider community in years to come. This is a theoretical position in the lineage of such theorists as Plato, Rousseau, and Dewey who have argued that education is a transformative practice that could be a tool for solving some of the issues that contemporary societies face. This work uses the theories of Foucault to extend the analysis to argue that connectedness is not a monolithic constant, but rather a complex set of converging and diverging discourses that students must contend with.