Ontologies are computational artifacts that model consensual aspects of reality. In distributed contexts, applications often need to utilize information from several distinct ontologies. In order to integrate multiple ontologies, entities modeled in each ontology must be matched through an ontology alignment. However, imperfect alignments may introduce inconsistencies. One kind of inconsistency, which is often introduced, is the violation of the conservativity principle, that states that the alignment should not introduce new subsumption relations between entities from the same source (...) ontology. We propose a two-step quadratic-time algorithm for automatically correcting such violations, and evaluate it against datasets from the Ontology Alignment Evaluation Initiative 2019, comparing the results to a state-of-the-art approach. The proposed algorithm was significantly faster and less aggressive; that is, it performed fewer modifications over the original alignment when compared to the state-of-the-art algorithm. (shrink)

Volume 52, Issue 6, June - July 2020, Page 593-601.

In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of (...) the DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of (...) the DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

The computational approach to psychiatric disorders, including delusions, promises explanation and treatment. Here, we argue that an information processing approach might be misleading to understand psychopathology and requires further refinement. We explore the claim of computational psychiatry being a bridge between phenomenology and physiology while focussing on the ontological commitments and corresponding methodology computational psychiatry is based on. Interconnecting ontological claims and methodological practices, the paper illustrates the structure of theory-building and testing in computational psychiatry.First, we will explain the ontological (...) commitments computational psychiatry is grounded in, theBayesian Brain hypothesis(BBH) of unconscious inference, paired with normative deontic approaches applied to gauge psychopathology. We then turn to the steps taken in empirical paradigms, from definitions, which are used as starting points, to the operationalisation and isolation of cognitive processes and hypothesis testing based on algorithmic models, to consecutive interpretations regarding the aetiology of psychiatric disorders. We outline how experimental paradigms in computational psychiatry are specifically designed to confirm aberrations in assumed inferential processes, which are thought of as being the underlyingcore invariant features.We will illustrate a gap between the ontological commitments of computational psychiatry and the operationalisation and testing of the cognition assumed to be relevant for psychopathology. This conceptual gap is of utmost importance when designing computational paradigms and may impede a crisp understanding of the approach. Lastly, in evaluating the conceptual gap, it becomes apparent that the information processing formalism used in computational psychiatry is still grounded in rational cognitive psychology. (shrink)

The algorithm, a building block of computer science, is defined from an intuitive and pragmatic point of view, through a methodological lens of philosophy rather than that of formal computation. The treatment extracts properties of abstraction, control, structure, finiteness, effective mechanism, and imperativity, and intentional aspects of goal and preconditions. The focus on the algorithm as a robust conceptual object obviates issues of correctness and minimality. Neither the articulation of an algorithm nor the dynamic process constitute the algorithm itself. Analysis (...) for implications in computer science and philosophy reveals unexpected results, new questions, and new perspectives on current questions, including the relationship between our informally construed algorithms and Turing machines. Exploration in terms of current computational and philosophical thinking invites further developments. (shrink)

This article is both a comment on Neyland’s ‘On organizing algorithms’ and a supplementary note to our ‘The concept of algorithm as an interpretative key of modern rationality’. In the first part we discuss the concepts of algorithm and recursive function from a different perspective from that of our previous article. Our cultural reference for these concepts is once again computability theory. We give additional arguments in support of the idea that a culture informed by an algorithmic logic has (...) promoted modern rationality both in science and in society. We stress again the importance of distinguishing between algorithms applied to quantifiable entities such as space, time and value and those applied to ontological entities such as human actions. In the second case, the algorithm is applied outside its domain of definition and leads to social disaggregation. (shrink)

The following paper offers a political and philosophical reading of ethically informed technological design practices to critically tackle the implicit regulative ideal in the design of social media as a means to digitally represent the liberal public sphere. The paper proposes that, when it comes to the case of social media platforms, understood along with the machine learning algorithms embedded in them as algorithmic technologies, ethically informed design has an implicit conception of democracy that parallels that of Jürgen Habermas’ (...) procedural democracy (Habermas, J. (1994). THREE NORMATIVE MODELS OF DEMOCRACY. Jurgen Habermas, 1(1).). That is, that democratic practices are encodable as procedures that produce valid discussion forums. Opposed to this, this paper suggests a turn to philosopher Jacques Rancière’s conception of politics as a guiding attitude towards technological design. This is done by, on the one side, using Rancière’s notions of “disagreement” and “distribution of the sensible” as the political starting point for the practice of design of algorithmic technologies. And, on the other, inspired by Karen Barad’s theories on agential realism (Barad, K. (2003). Posthumanist Performativity: Toward an Understanding of How Matter Comes to Matter. Signs: Journal of Women in Culture and Society, 28(3), 801–831. https://doi.org/10.1086/345321), by putting forward a political ontology of algorithmic technologies that reconceptualizes them in terms of how they assemble open-ended practices between human bodies and technological devices. (shrink)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think (...) the simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find (...) self-evident) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. Ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But the ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, ontologies such as the GO are in different respects comparable to scientific theories, to scientific databases, and to scientific journal publications. Such a view implies a new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

Exemplifying with sculptures the author created, the article shows that ontological algorithms can yield aesthetic content, while epistemological algorithms can capture it. Bridging the gap between art and logic creates new and exciting aesthetic opportunities, allaying Henry Moore’s fears of ‘paralysis by analysis.’ On the flip side, appreciating all that algorithmic art has to offer poses intellectual challenges that run counter to subjectivist approaches to art and its education.

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science (...) has always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

Ontologies play a vital role in organizing and constructing knowledge across various domains, enabling effective knowledge management and sharing. The development of domain-specific ontologies, such as the ONTO-TDM ontology for teaching domain modeling, is essential for providing a comprehensive and standardized representation of knowledge within a given discipline. However, to maximize the usefulness and relevance of such ontologies, it is crucial to automate their population with domain-specific information, reducing manual work and ensuring scalability. This paper presents a novel method (...) for ontology population by extracting and integrating relevant information from diverse sources. The method combines the TextRank algorithm with Word2Vec to enhance keyword extraction, capturing both semantic meaning and textual importance. Keywords are then annotated and used to train a machine learning classifier, which aids in integrating new instances into the ontology. Experiments show that the proposed method achieves a precision of 63.33%, a recall of 61.29% and an F1-score of 62.28%, significantly improving keyword extraction and ontology population accuracy compared to existing methods. This validates the method’s effectiveness in semi-automatically extracting relevant instances from diverse data sources, enhancing the efficiency and accuracy of ontology population, and advancing automated knowledge management in domain-specific contexts. (shrink)

In this paper, we build upon Bruno Latour’s political writings to address the current impasse regarding algorithms in public life. We assert that the increasing difficulties at governing algorithms—be they qualified as “machine learning,” “big data,” or “artificial intelligence”—can be related to their current ontological thinness: deriving from constricted views on theoretical practices, algorithms’ standard definition as problem-solving computerized methods provides poor grips for affective dissensions. We then emphasize on the role historical and ethnographic studies of algorithms can potentially play (...) in the politicization of algorithms. By both digging into the genealogy of algorithms’ constricted definition and by making their contemporary constitutive relationships more visible, both historical and ethnographic studies can contribute to vascularizing algorithms and making them objects of enlarged disputes. We conclude by giving a flavor of the political potential of the vascularization efforts we call for, using materials from an ethnographic study conducted in a computer science laboratory. (shrink)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them (...) less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

Representing the kinetic state of a patient (posture, motion, and activity) during vital sign measurement is an important part of continuous monitoring applications, especially remote monitoring applications. In contextualized vital sign representation, the measurement result is presented in conjunction with salient measurement context metadata. We present an automated annotation system for vital sign measurements that uses ontologies from the Open Biomedical Ontology Foundry (OBO Foundry) to represent the patient’s kinetic state at the time of measurement. The annotation system is (...) applied to data generated by a wearable personal status monitoring (PSM) device. We demonstrate how annotated PSM data can be queried for contextualized vital signs as well as sensor algorithm configuration parameters. (shrink)

Language understanding is one of the most important characteristics for human beings. As a pervasive phenomenon in natural language, metaphor is not only an essential thinking approach, but also an ingredient in human conceptual system. Many of our ways of thinking and experiences are virtually represented metaphorically. With the development of the cognitive research on metaphor, it is urgent to formulate a computational model for metaphor understanding based on the cognitive mechanism, especially with the view to promoting natural language understanding. (...) Many works have been done in pragmatics and cognitive linguistics, especially the discussions on metaphor understanding process in pragmatics and metaphor mapping representation in cognitive linguistics. In this paper, a theoretical framework for metaphor understanding based on the embodied mechanism of concept inquiry is proposed. Based on this framework, ontology is introduced as the knowledge representation method in metaphor understanding, and metaphor mapping is formulated as ontology mapping. In line with the conceptual blending theory, a revised conceptual blending framework is presented by adding a lexical ontology and context as the fifth mental space, and a metaphor mapping algorithm is proposed. (shrink)

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical (...) data analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (shrink)

Algorithmic vision, the computational process of making meaning from digital images or visual information, has changed the relationship between the image and the human subject. In this paper, I explicate on the role of algorithmic vision as a technique of algorithmic governance, the organization of a population by algorithmic means. With its roots in the United States post-war cybernetic sciences, the ontological status of the computational image undergoes a shift, giving way to the hegemonic use of (...) automated facial recognition technologies towards predatory policing and profiling practices. By way of example, I argue that algorithmic vision reconfigures the philosophical links between vision, image, and truth, paradigmatically changing the way a human subject is represented through imagistic data. With algorithmic vision, the relationship between subject and representation challenges the humanistic discourse around images, calling for a critical displacement of the human subject from the center of an analysis of how computational images make meaning. I will explore the relationship between the operative image, the image that acts but is not seen by human eyes, and what Louise Amoore calls an “emergent subject,” a subject that is made visible through algorithmic techniques. Algorithmic vision reveals subjects to power in a mode that requires a new approach towards analyzing the entanglement and invisiblization of the human in automated decision-making systems. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality (...) through both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

What are the identity and persistence conditions of videogames? This paper surveys the contemporary philosophical literature on this topic. Specifically, I discuss various views which attempt to ground the identity of videogame works in their rules, in their algorithmic structure, in their source code, or in contextual parameters surrounding gameplay. While these proposals all have merits of their own, I argue that none of them are satisfactory. My conclusion is therefore negative: we still lack an adequate theoretical model to (...) account for the identity and persistence conditions of videogames. (shrink)

Purpose: Development of conceptual approaches to the understanding of ethical aspects of digital technologies, based on the ontological turn in the understanding of technological normativity.Design / Method / Approach: The research is based on an interdisciplinary approach combining philosophy of technology, ethics, social philosophy, science and technology research, computer science and cognitive psychology. Methods of conceptual analysis, phenomenological description, critical discourse analysis and comparative analysis are used.Findings: The ontological status of digital objects and their role in the formation of ethical (...) experience is analyzed. The forms of normativity of digital technologies are revealed: interface, algorithmic and infrastructural.Theoretical implications: The research contributes to the development of conceptual approaches to the ethical aspects of digital technologies, creating a basis for the integration of various philosophical traditions and expanding the possibilities of ethical analysis in the digital era.Practical implications: The proposed approach can be used to develop strategies for ethical design and management of digital technologies, including creating ethical guidelines, conducting ethical audits, designing interfaces, and developing educational programs on digital ethics.Originality / Value: A comprehensive approach to the consideration of the ethics of digital technologies is proposed, taking into account the ontological turn in the understanding of technological normativity. The novelty lies in the integration of the ideas of postphenomenology, object-oriented ontology and philosophy of information for the analysis of the ontology of digital objects and their normative force.Research limitations / Future research: Prospects include empirical studies of various forms of technological normativity, in-depth study of the ontological status of specific types of digital objects, and analysis of the relationship between the ontology of digital objects and their normative force in various contexts. The limitations are related to the theoretical nature of the study, which requires further empirical verification.Paper type: Theoretical. (shrink)

The increasing pervasiveness of datafication across social life is significantly challenging the scope and meanings of visibility. How do new modes of data capture compel us to rethink the notion of visibility, no longer understood as an ocular-based perceptual field, but as a multifaceted site of power? Focusing in particular on technologies of algorithmic recognition, the article argues that in order to understand the broad stakes of visibility under algorithmic life, the intersection between algorithmic recognition and the (...) notion of social recognizability needs to be further theorized. In dialogue with the work of Sondra Perry, and drawing on contributions from feminist and critical race theories, the article revisits theoretical debates on racialized visibility within photography and film to show how racializing processes are inscribed in digital and algorithmic technologies. In reading through these debates, the article suggests that visibility, as a racial formation, is always already subjected to an algorithmic logic. Through the analysis of Sondra Perry’s work, the article sketches out a political ontology of the image premised on the intersection between computation and the markings of the flesh as a possible way to think through the stakes of visibility under algorithmic life. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

In this contribution I reply to Heather Wiltse and Róisín Lally’s commentaries. Both stress the importance of not only looking at gaps, but also accounting for relation and connection—an endeavor which was less visible in my original piece but which I wholly support, and on which I elaborate more here, making use of the example of ‘algorithmic mediation.’ In the process, I attempt to clear up some possible misunderstandings with regard to my initial formulations, as concerns object-oriented ontology’s (...) stance on relation, the question of whether postphenomenology already has a ‘transcendental’ account, the variety of possible connotations associated with the term ‘transcendental,’ and my proposals for looking specifically at what happens in between ‘small’ (‘technology with a small “t”’) and ‘big’ (‘Technology with a capital “T”’) perspectives. It turns out that my commentators and I are pretty much on a similar track—though we may differ in the first instance as to the conceptual instruments we would choose to deploy in that, nonetheless shared, project. (shrink)

This essay asks how we might articulate a political theory of algorithms. To do so, I propose a political ontology of the algorithm dispositif that elaborates how algorithms arrange the movement of energies in space and time, and how they do so automatically. This force of arrangement is what I refer to as the dispositional power of algorithms that I identify as a political physics of vital processes. The essay is divided into three sections. The first provides readers of (...) Political Theory with a discussion of three notable works in the field of critical algorithm studies relevant to a political theory of algorithms. The subsequent sections of the essay elaborate an understanding of the political ontology of the algorithm dispositif by focusing (first) on the difference that a virtual ontology introduces to our political reflections and (second) on the cybernetic operation of negative feedback that I identify as foundational to understanding an algorithm’s political physics of vital processes. I conclude that any political theory engagement with technical media can’t simply rest on an epistemic analysis of the normative effects of media but must also pursue an investigation into a medium’s modes of existence in the world. (shrink)

Deepfakes, as hyperrealistic digital fabrications, reveal gaps and uncertainties in existing ontological frameworks. Neither simply images nor realities, deepfakes occupy an ambiguous metaphysical position between concepts such as representation/simulation, human/machine, and real/artificial. Their emergent generation via AI and experiential traction as credible synthetic media underscores limitations in prevailing paradigms reliant on purified binaries and anthropocentric assumptions. Rather than anomalies, deepfakes epitomize the imperative for new ontological cartographies and conceptual vocabularies attuned to increasingly unbounded algorithmic creation. The paper surveys debates (...) about digital objects and theories of representation to contextualize this argument. Deepfakes’ ontological novelty stems from their ambiguous origins, autonomous proliferation, and infiltration of perceivable situations with credible fictions. This destabilizes ontological foundations such as creative intentionality and indexical truth. I conclude deepfakes signal the insufficiency of existing ontology for navigating realities transformed by generative technologies. New paradigms are needed that grapple with their radical metaphysical challenges. (shrink)

Increasingly, the high throughput technologies used by biomedical researchers are bringing about a situation in which large bodies of data are being described using controlled structured vocabularies—also known as ontologies—in order to support the integration and analysis of this data. Annotation of data by means of ontologies is already contributing in significant ways to the cumulation of scientific knowledge and, prospectively, to the applicability of cross-domain algorithmic reasoning in support of scientific advance. This very success, however, has led to (...) a proliferation of ontologies of varying scope and quality. We define one strategy for achieving quality assurance of ontologies—a plan of action already adopted by a large community of collaborating ontologists—which consists in subjecting ontologies to a process of peer review analogous to that which is applied to scientific journal articles. (shrink)

Cogitation described as calculation, the living being described as a machine, cognitive functions considered as algorithmic sequences and the ‘mechanization’ of the subjective were the theoretical elements that late heideggerian anti–humanism, especially in France was able to utilize[1], even more so, after the second cybernetics or post-cybernetics movement of the late ‘60s introduced the concepts of the autopoietic and the allopoietic automata[2]. Recently, neurologists pose claims on the traditional epistemological field of philosophy, proceeding from this ontological decision, the equation (...) of human cognition to cybernetic systems. -/- The emergence of the world-wide-web in the 1990s and the global expansion of the internet during the first decades of the 21st century indicate the fallacies of the cybernetics programme to mechanize the mind. We stand witnesses to a semantic colonization of the cybernetic system, a social imaginary creation and expansion within the digital ensemblistic – identitarian organization that cannot be described by mechanical or cybernetic terms. Paradoxically, cyberspace, as a new being, a form of alterity, seems to both exacerbate and capsize the polarization between the operational and the symbolic. The creation of the internet might be more than an epistemological revolution, to use the terminology of Thomas Kuhn. It might be an ontological revolution. -/- I will try to demonstrate that the emergence of the Internet refutes any such claims, since its context and utility can only be described by means of a social epistemology based on the understanding of social significances as continuous creations of an anonymous social imaginary proposed by Cornelius Castoriadis (1922-1997). I will try to explore some social-semantic aspects of the cyberspace as a nexus of social representations of the individual identity that forms a new sphere of being, where the subjective and the objective merge in a virtual subjective objectivity with unique epistemological attributes and possibilities. (shrink)

In light of the structural role of computational technology in the expansion of modern global finance, this essay investigates the ontology of contemporary markets starting from a reformulation of liquidity—one of the tenets of financial trading. Focusing on the nexus between financial and algorithmic flows, the paper complements contemporary philosophies of the market with insights into recent theories of computation, emphasizing the functional role of contingency, both for market trading and algorithmic processes. Considering the increasing adoption of (...) advanced computational methods in automated trading strategies, this article argues that the event of price is the direct manifestation of the incomputability at the heart of market exchange. In doing so, it questions the ontological assumptions of “flow” and “fluidity” underpinning traditional conceptions of liquidity and challenges the notion of rationality in market behavior. Ultimately, the paper gestures toward some of the social and political consequences of this reformulation. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

This paper discusses how to refine a given initial legal ontology using an existing MRD (Machine-Readable Dictionary). There are two hard issues in the refinement process. One is to find out those MRD concepts most related to given legal concepts. The other is to correct bugs in a given legal ontology, using the concepts extracted from an MRD. In order to resolve the issues, we present a method to find out the best MRD correspondences to given legal concepts, (...) using two match algorithms. Moreover, another method called a static analysis is given to refine a given legal ontology, based on the comparison between the initial legal ontology and the best MRD correspondences to given legal concepts. We have implemented a software environment to help a user refine a given legal ontology based on these methods. The empirical results have shown that the environment works well in the field of Contracts for the International Sale of Goods. (shrink)

This article is devoted to examining the ontological foundations of computer-generated music scores. Specifically, we focus on the categorial question, i.e., the inquiry that aims to determine the kind of ontological category that musical works belong to. This task involves considerations concerning the existence and persistence conditions for musical works, and it has consequences for the determination of what it is to compose a musical work. Our contention is that not all the possible answers to the categorial question in the (...) ontology of music are equally compatible with the hypothesis that creative music systems compose musical works. The thesis defended here is that musical Platonism is the proposal that best accommodates this hypothesis. We claim that musical Platonism is the answer to the categorial question that offers the most straightforward explanation for the possibility of considering creative music systems as genuinely composing musical works. Moreover, we uphold that the notion of creative-evaluative discovery as the characterization of what it is to compose a musical work entailed by Platonism is the simplest explanation of the process developed by a computer in producing musical works. For this purpose, we will take as empirical data the features of the Iamus computer, a system that produces musical works autonomously using evolutionary algorithms and following an evo-devo strategy. The works generated by this computer have been recorded by the London Symphony Orchestra and other renowned international soloists, and its impact has been notable in the literature (Ball, 2012; Coghlan, 2012; Berger, 2013). (shrink)

Data heterogeneity is the obstacle for the resource sharing on Semantic Web, and ontology is regarded as a solution to this problem. However, since different ontologies are constructed and maintained independently, there also exists the heterogeneity problem between ontologies. Ontology matching is able to identify the semantic correspondences of entities in different ontologies, which is an effective method to address the ontology heterogeneity problem. Due to huge memory consumption and long runtime, the performance of the existing (...) class='Hi'>ontology matching techniques requires further improvement. In this work, an extended compact genetic algorithm-based ontology entity matching technique is proposed, which uses both the compact encoding mechanism and linkage learning approach to match the ontologies efficiently. Compact encoding mechanism does not need to store and maintain the whole population in the memory during the evolving process, and the utilization of linkage learning protects the chromosome’s building blocks, which is able to reduce the algorithm’s running time and ensure the alignment’s quality. In the experiment, ECGA-OEM is compared with the participants of ontology alignment evaluation initiative and the state-of-the-art ontology matching techniques, and the experimental results show that ECGA-OEM is both effective and efficient. (shrink)

Russian Abstract: Данный документ является сборником «заметок на полях», раскрывающих состав и содержание метода структурно-онтологического анализа. Указанный метод разработан для системного описания предметной области изучаемых явлений. Он включает специальную процедуру по построению структурно-онтологических матриц и алгоритм их описания. Междисциплинарная направленность метода продемонстрирована на примере анализа процесса социализации личности. English Abstract: This document is a collection of `marginal notes` revealing the composition and content of the structural ontological analysis method. The specified method is developed for a systemic description of the subject (...) matter area of the studied phenomena. It includes a special procedure for constructing structural-ontological matrices and an algorithm for their description. The interdisciplinary focus of the method is demonstrated by the example of an analysis of the personality socialization process. (shrink)

After a recent breakthrough in the early 90's, text analysis is acknowledged as one of the promising ways to rapidly build better grounded semantic resources such as terminologies and ontologies. This domain has recently undergone significant evolutions with a massive reference to machine learning algorithms and information extraction techniques together with linguistic- and statistic-based natural language processing. This position paper promotes three main ideas: (i) that highly domain-specific or task-specific, even idiosyncratic ontologies, are very useful, especially when they are linked (...) to broader consensual schemes and they can be built with reasonable effort; (ii) that corpus-based ontologies can capture the perspective of a domain; and (iii) that supervised ontology learning from text makes feasible the development of specialized ontologies adapted for specific uses. We propose the establishment of an inventory of tools for building ontologies from text, give a first classification of such tools, and present an initial review of some recent methods and tools. (shrink)

This paper sets out to adduce visual evidence for Kroneckerian finitism by making perspicuous some of the insights that buttress Kronecker’s conception of arithmetization as a process aiming at disclosing the arithmetical essence enshrined in analytical formulas, by spotting discrete patterns through algorithmic fine-tuning. In the light of a fairly tractable case study, it is argued that Kronecker’s main tenet in philosophy of mathematics is not so much an ontological as a methodological one, inasmuch as highly demanding requirements regarding (...) mathematical understanding prevail over mere preemptive reductionism to whole numbers. (shrink)

We present in this article a compression system that uses STEP compliant standards for the compression and design review visualization of large CAD data sets. Our approach is orthogonal to the traditional techniques applied in the field, as we complement previous works by introducing semantic criteria along with algorithms for the categorization, simplification and user-oriented adaptation of the engineering components described by domain-specific standards. As an example, we have implemented two test cases in two specific domains – ISO-STEP 13013-AP227 in (...) the case of industrial Plant Design, and CIS/2 in the case of Steel Detailing Design (Structures Design). (shrink)

ABSTRACT Gilles Deleuze’s monograph on Michel Foucault has often been construed as a “metaphysical fiction,” to use Frédéric Gros’s sympathetic phrase. This article takes a different approach, arguing that Foucault’s microphysics of power and Deleuze’s metaphysics of the virtual in fact share a common ontology of forces. In addition to enriching understanding of the two thinkers’ philosophical relation, the article argues that this virtual force ontology clarifies the continuity between Foucault’s earlier and later formulations of power, from microphysics (...) to governmentality. Reading Foucault in this way not only challenges the dominant view in Foucault studies but also suggests the continued relevance of his work for grasping the contemporary exercise of power. By acting on the conditions of possible action, power performs an anticipatory function, intervening, as Foucault puts it, “at the point when the virtual is becoming real.” This is precisely how techniques like algorithmic policing function today. (shrink)

Artificial intelligence is the new technological buzzword. Everything from camera apps on your mobile phone to medical diagnosis algorithms to expert systems are now claiming to be ‘AI’, and many more facets of our lives are being colonized by the application of AI/ML systems (henceforth, ‘AI’). But what does this entail to designers, users and to society at large? Most of the philosophical discourse in this context has focused on the analysis and clarification of the epistemological claims of intelligence within (...) AI and on the moral implications of AI. Philosophical critiques of the plausibility of artificial intelligence do not have much to say about the real-world repercussions of introducing AI systems into every possible domain in the name of automation and efficiency; similarly, most of the moral misgivings about AI have to do with conceiving them as autonomous agents beyond the control of human actors. These discussions have clarified the debate surrounding AI to a great extent; however, certain crucial questions remain outside the ambit of these debates. Arguments in support of AI often take advantage of this void by emphasizing that AI systems are no different than previously existing ‘unintelligent’ technologies, thereby implying that the economic, existential, and ethical threats posed by these systems are either similar in kind as those posed by any other technology or grossly misplaced and exaggerated. In this chapter, we shall think through this assumption by investigating into the ontology of AI systems vis-à-vis ordinary (non-AI) technical artefacts to see wherein lies the distinction between the two. I shall examine how contemporary ontologies of technical artefacts (e.g., intentionalist and non-intentionalist theories of function) apply to AI. Hence, clarifying the ontology of AI is crucial to understand their normative and moral significance and the implications therefrom. (shrink)

A variety of legal documents are increasingly being made available in electronic format. Automatic Information Search and Retrieval algorithms play a key role in enabling efficient access to such digitized documents. Although keyword-based search is the traditional method used for text retrieval, they perform poorly when literal term matching is done for query processing, due to synonymy and ambivalence of words. To overcome these drawbacks, an ontological framework to enhance the user’s query for retrieval of truly relevant legal judgments has (...) been proposed in this paper. Ontologies ensure efficient retrieval by enabling inferences based on domain knowledge, which is gathered during the construction of the knowledge base. Empirical results demonstrate that ontology-based searches generate significantly better results than traditional search methods. (shrink)

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships (...) among existing concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies. (shrink)

The scale of know­ledge is growing rapidly in the big data environment, and traditional know­ledge organization and services have faced the dilemma of semantic inaccuracy and untimeliness. From a know­ledge fusion perspective-combining the precise semantic superiority of traditional ontology with the large-scale graph processing power and the predicate attribute expression ability of property graph-this paper presents an ontology and property graph fusion framework (OPGFF). The fusion process is divided into content layer fusion and constraint layer fusion. The result (...) of the fusion, that is, the know­ledge representation model is called know­ledge big graph. In addition, this paper applies the know­ledge big graph model to the ownership network in the China’s financial field and builds a financial ownership know­ledge big graph. Furthermore, this paper designs and implements six consistency inference algorithms for finding contradictory data and filling in missing data in the financial ownership know­ledge big graph, five of which are completely domain agnostic. The correctness and validity of the algorithms have been experimentally verified with actual data. The fusion OPGFF framework and the implementation method of the know­ledge big graph could provide technical reference for big data know­ledge organization and services. (shrink)

Neurological Positivism’s single- and two-neuro-algorithmic referent conceptions of subjective and objective experience respectively are discussed. NP’s account of Bohr and Heisenberg’s Copenhagen interpretation of quantum reality is then described in terms of nonlinear constructions of two-neuro-algorithmic referents that are proposed also to undergird William James’s pragmatic conception of truth. In turn, qualia are depicted as nonlinear single-neuro-algorithmic referents in relation to the two-neuro-algorithmic quantum measurement procedure. Experientially, qualia are described as nonlinear "black twinkling" neuro-flux patterns which (...) in the context of overall brain organization in both phylogeny and ontogeny increase the brain’s probability of survival. It is concluded that ontological questions are really about the relationships between the two-neuro-algorithmic referent systems in the brain, and the quantum theoretical measurement procedure is the best "test" of NP’s two-neuro-algorithmic hypothesis and, as a test, greatly alters the traditional interpretation of Bell’s theorem. (shrink)

As scientists start to adopt machine learning (ML) as one research tool, the security of ML and the knowledge generated become a concern. In this paper, I explain how supervised ML can be improved with better data ontology, or the way we make categories and turn information into data. More specifically, we should design data ontology in such a way that is consistent with the knowledge that we have about the target phenomenon so that such ontology can (...) help us make the inductive leap. I do so by thinking through a thought experiment, Goodman’s New Riddle of Induction (Fact, fiction, and forecast, Harvard University Press, 1955). Goodman’s riddle helps flesh out three problems of induction: (1) the problem of equal goodies, that there are often too many equally good inductive results given the same data; (2) the problem of diverging performance, that these equally good results can give opposite predictions in the future; and (3) the problem of mediocrity, that when averaged across all equally possible datasets and tasks, no inductive algorithm outperforms any other. I show that all these three problems are manifested as real obstacles in ML practice, namely, the Rashomon effect (Breiman in Stat Sci 16(3):199–231, 2001), the problem of underspecification (D’Amour et al. in J Mach Learn Res, 2020, https://doi.org/10.48550/arXiv.2011.03395 ), and the No Free Lunch theorem (Wolpert in Neural Comput 8(7):1341–90, 1996, https://doi.org/10.1162/neco.1996.8.7.1341 ). Lastly, I argue that proper data ontology can help mitigate these problems and I demonstrate how using concrete examples from climate science. This research highlights the links between philosophers’ discussions of induction and implications in ML practice. (shrink)

Driven by the use cases of PubChemRDF and SCAIView, we have developed a first community-based clinical trial ontology (CTO) by following the OBO Foundry principles. CTO uses the Basic Formal Ontology (BFO) as the top level ontology and reuses many terms from existing ontologies. CTO has also defined many clinical trial-specific terms. The general CTO design pattern is based on the PICO framework together with two applications. First, the PubChemRDF use case demonstrates how a drug Gleevec is (...) linked to multiple clinical trials investigating Gleevec’s related chemical compounds. Second, the SCAIView text mining engine shows how the use of CTO terms in its search algorithm can identify publications referring to COVID-19-related clinical trials. Future opportunities and challenges are discussed. (shrink)

In order to tackle the question posed by the title – notoriously answered in the positive, among others, by Heisenberg, Margenau, Popper and Redhead – I first discuss some attempts at distinguishing dispositional from non-dispositional properties, and then relate the distinction to the formalism of quantum mechanics. Since any answer to the question titling the paper must be interpretation-dependent, I review some of the main interpretations of quantum mechanics in order to argue that the ontology of theories regarding “wave (...) collapse” as a genuine physical process could be interpreted as being irreducibly dispositional. In non-collapse interpretations, on the contrary, the appeal to dispositions is simply a way to reformulate the predictive content of the algorithm of the theory in a fancier metaphysical language. (shrink)

This research explores how stakeholder scholarship can evolve into a puzzle-solving tool, akin to more advanced scientific fields. Only a unified stakeholder management science can address issues like firms that, despite the looming threat of climate disaster, prioritize profits over environmental concerns. Such unification, however, depends on a computational turn of mind outlined herein. Stakeholder scholarship has failed to progress toward this end, because stakeholder theory has fallen short of shedding light on the inner workings of the firm in search (...) of the mechanisms that govern its relations with stakeholders, instead lingering over the outermost parts of the social phenomena where stakeholder macro dynamics are obvious. This lays open several hurdles that must be overcome for stakeholder scholarship to become a puzzle-solving tool at the service of the environment and society. Thus, a computational fix may be within reach in the next few decades if the following five steps, elaborated upon herein, guide the transition: 1) probe firm-level mechanisms, 2) focus on qualitative institutional data, 3) adopt computational language to reduce ambiguities, 4) develop algorithms for how activities discharge powers or capacities to fulfill functions, and 5) break with peer-review silos that have made stakeholder theory self-referential. (shrink)