Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this paper we propose the import-by-query framework, which makes the content of Kh accessible through a limited query interface. If Kv reuses the symbols from Kh in a certain restricted way, one can reason over Kv U Kh by accessing only Kv and the query interface. We map out the landscape of the import-by-query problem. In particular, we outline the limitations of our framework and prove that certain restrictions on the expressivity of Kh and the way in which Kv reuses symbols from Kh are strictly necessary to enable reasoning in our setting. We also identify cases in which reasoning is possible and we present suitable import-by-query reasoning algorithms

FOR WORKSHOP: THE INCOMPUTABLE,

of virtual machinery with “physically indefinable ” functions What’s Meta-Morphogenesis? A partial answer: Evolution, individual development, learning, and cultural change producing new mechanisms of evolution, individual development, learning, and cultural chang

On perception and ontology in the context of subjectivity and modern physics

I argue that our direct experience and some physical facts do not go well with an understanding of perception as a mechanism producing a representation of a ''truly'' outer world. Instead, it is much more coherent to treat what is traditionally considered an image in this context as a closed structure equipped in its own ontology, replacing the ''truly'' outer one from the point of view of an agent possessing it. In such a framework, the notion of existence is taken to be defined by consciousness in a way similar to qualia, making it subjective on the one hand, and reducing it to a tool on the other. This implies, in turn, that we need a form of mind-brain dualism; the best we can do in such circumstances about explaining consciousness as an epistemic device - a role intuitively imposing itself in a variety of situations - is to embed it in an abstract ontology merely serving the purpose of a ''true'' reality with the help of the mind-brain link. Obviously, the approach favors subjectivity as a foundation in the ontological sense. Objectivity is considered here only as a suitably understood product from an ''observer's'' point of view, although a functional and useful one. The paper is addressed to readers with interest in both the mind-body problem and ontological foundations of present-day physics, specifically quantum theory. The main conclusion can be absorbed without the quantum part, although it is a bit less convincing then

Naturalism and Process Ontology for Rhetorical Theory and Methodology: Reconsidering the Ideological Tautology

Rhetorical Theory and Criticism primarily features modes of close reading that reconstructs the meaning of a text by constructing meaning through contingent textual moments within a theoretical perspective, typically ideological criticism. The dominant mode of ideological critique projects ideology as an anterior and universal cause; this projection strips individual and group agency from within various systems by totalizing them under one system. I strive to answer how we can preserve descriptive acuity while opening and exploiting contingent gaps to make scholarship more efficacious for social justice. Chapter one explores the inevitability of infinite regress in response to problems of vagueness endemic to the philosophical enterprise. Chapter two explores Bergson’s Retrospective Illusion: strict modes of ontological necessity in a transcendental reasoning pattern produce tautological ontologies in which an effect becomes projected backwards as universal but, ultimately, illusory cause. Chapter three maps out Bergson’s solution to the “Retrospective Illusion” and names it the “Prospective Illusion.” In short, chains of sufficient reasoning are projected out towards tendencies in becoming such that universals are always in construction and never fully actual. Ontologies founded upon spatial necessity are replaced by a process ontology closely attuned to scientific process that folds space and time topologically into tendential becoming. Chapter four applies both illusions to rhetorical theory in its ideological and new materialist modes to argue for the usefulness of both models in breaking rhetorical theory out of its tacit methodological reliance upon reconstructive close reading and by re-evaluating some of rhetorical theory’s ontological assumptions. The project concludes with prospective directions in methodology

SkiROS2: A skill-based Robot Control Platform for ROS

The need for autonomous robot systems in both the service and the industrial domain is larger than ever. In the latter, the transition to small batches or even "batch size 1" in production created a need for robot control system architectures that can provide the required flexibility. Such architectures must not only have a sufficient knowledge integration framework. It must also support autonomous mission execution and allow for interchangeability and interoperability between different tasks and robot systems. We introduce SkiROS2, a skill-based robot control platform on top of ROS. SkiROS2 proposes a layered, hybrid control structure for automated task planning, and reactive execution, supported by a knowledge base for reasoning about the world state and entities. The scheduling formulation builds on the extended behavior tree model that merges task-level planning and execution. This allows for a high degree of modularity and a fast reaction to changes in the environment. The skill formulation based on pre-, hold- and post-conditions allows to organize robot programs and to compose diverse skills reaching from perception to low-level control and the incorporation of external tools. We relate SkiROS2 to the field and outline three example use cases that cover task planning, reasoning, multisensory input, integration in a manufacturing execution system and reinforcement learning.Comment: 8 pages, 3 figures. Accepted at 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS

A survey of large-scale reasoning on the Web of data

As more and more data is being generated by sensor networks, social media and organizations, the Webinterlinking this wealth of information becomes more complex. This is particularly true for the so-calledWeb of Data, in which data is semantically enriched and interlinked using ontologies. In this large anduncoordinated environment, reasoning can be used to check the consistency of the data and of asso-ciated ontologies, or to infer logical consequences which, in turn, can be used to obtain new insightsfrom the data. However, reasoning approaches need to be scalable in order to enable reasoning over theentire Web of Data. To address this problem, several high-performance reasoning systems, whichmainly implement distributed or parallel algorithms, have been proposed in the last few years. Thesesystems differ significantly; for instance in terms of reasoning expressivity, computational propertiessuch as completeness, or reasoning objectives. In order to provide afirst complete overview of thefield,this paper reports a systematic review of such scalable reasoning approaches over various ontologicallanguages, reporting details about the methods and over the conducted experiments. We highlight theshortcomings of these approaches and discuss some of the open problems related to performing scalablereasoning

Ontological and Methodological Limitations of Certain Cultural Evolution Approaches

Recently there has been a rise in the application of concepts and methods from biological evolutionary theory to human cultures and societies where the aim is to explain these by describing them as population-level phenomena reducible to individual-level processes. I argue against this type of view by using Mesoudi's Cultural Evolution as a case study. I claim that Mesoudi’s ontological assumptions about cultures and societies are dubious and his methodological assumptions inadequate when it comes to addressing cultural and social phenomena. A consequence is that this approach to studying culture is, at the very least, incomplete and of limited application

Scholarly publishing and argument in hyperspace

The World Wide Web is opening up access to documents and data for scholars. However it has not yet impacted on one of the primary activities in research: assessing new findings in the light of current knowledge and debating it with colleagues. The ClaiMaker system uses a directed graph model with similarities to hypertext, in which new ideas are published as nodes, which other contributors can build on or challenge in a variety of ways by linking to them. Nodes and links have semantic structure to facilitate the provision of specialist services for interrogating and visualizing the emerging network. By way of example, this paper is grounded in a ClaiMaker model to illustrate how new claims can be described in this structured way