In order to achieve genuine web intelligence, building some kind of large general machine-readable conceptual scheme (i.e. ontology) seems inescapable. Yet the past 20 years have shown that manual ontology-building is not practicable. The recent explosion of free user-supplied knowledge on the Web has led to great strides in automatic ontology building, but quality-control is still a major issue. Ideally one should automatically build onto an already intelligent base. We suggest that the long-running Cyc (...) project is able to assist here. We describe methods used to add 35K new concepts mined from Wikipedia to collections in ResearchCyc entirely automatically. Evaluation with 22 human subjects shows high precision both for the new concepts’ categorization, and their assignment as individuals or collections. Most importantly we show how Cyc itself can be leveraged for ontological quality control by ‘feeding’ it assertions one by one, enabling it to reject those that contradict its other knowledge. (shrink)

To have an ontology is to interpret a world. In this paper we argue that the brain, viewed as a representational system aimed at interpreting our world, possesses an ontology too. It creates primitives and makes existence assumptions. It decomposes target space in a way that exhibits a certain invariance, which in turn is functionally significant. We will investigate which are the functional regularities guiding this decomposition process, by answering to the following questions: What are the explicit and (...) implicit assumptions about the structure of reality, which at the same time shape the causal profile of the brain's motor output and its representational deep structure, in particular of the conscious mind arising from it (its ''phenomenal output'')? How do they constrain high-level phenomena like conscious experience, the emergence of a first-person perspective, or social cognition? By reviewing a series of neuroscientific results and integrating them with a wider philosophical perspective, we will emphasize the contribution the motor system makes to this process. As it will be shown, the motor system constructs goals, actions, and intending selves as basic constituents of the world it interprets. It does so by assigning a single, unified causal role to them. Empirical evidence demonstrates that the brain models movements and action goals in terms of multimodal representations of organism-object-relations. Under a representationalist analysis, this process can be conceived of as an internal, dynamic representation of the intentionality-relation itself. We will show how such a complex form of representational content, once it is in place, can later function as a functional building block for social cognition and for a more complex, consciously experienced representation of the first-person perspective as well. (shrink)

The somewhat old-fashioned concept of philosophical categories is revived and put to work in automated ontology building. We describe a project harvesting knowledge from Wikipedia’s category network in which the principled ontological structure of Cyc was leveraged to furnish an extra layer of accuracy-checking over and above more usual corrections which draw on automated measures of semantic relatedness.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...) is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Brian Epstein has recently argued that a thoroughly microfoundationalist approach towards economics is unconvincing for metaphysical reasons. Generally, Epstein argues that for an improvement in the methodology of social science we must adopt social ontology as the foundation of social sciences; that is, the standing microfoundationalist debate could be solved by fixing economics’ ontology. However, as I show in this paper, fixing the social ontology prior to the process of model construction is optional instead of necessary and (...) that metaphysical-ontological commitments are often the outcome of model construction, not its starting point. By focusing on the practice of modeling in economics the paper provides a useful inroad into the debate about the role of metaphysics in the natural and social sciences more generally. (shrink)

Ontologies are the prime way of organizing data in the Semantic Web. Often, it is necessary to combine several, independently developed ontologies to obtain a complete representation of a domain of interest. The complementarity of existing ontologies can be leveraged by merging them. Existing approaches for ontology merging mostly implement a binary merge. However, with the growing number and size of relevant ontologies across domains, scalability becomes a central challenge. A multi-ontology merging technique offers a potential solution to (...) this problem. We present Co Merger, a scalable multiple ontologies merging method. It takes as input a set of source ontologies and existing mappings across them and generates a merged ontology. For efficient processing, rather than successively merging complete ontologies pairwise, we group related concepts across ontologies into partitions and merge first within and then across those partitions. In both steps, user-specified subsets of generic merge requirements (GMRs) are taken into account and used to optimize outputs. The experimental results on well-known datasets confirm the feasibility of our approach and demonstrate its superiority over binary strategies. A prototypical implementation is freely accessible through a live web portal. (shrink)

Achieving a comfortable thermal situation within buildings with an efficient use of energy remains still an open challenge for most buildings. In this regard, IoT (Internet of Things) and KDD (Knowledge Discovery in Databases) processes may be combined to address these problems, even though data analysts may feel overwhelmed by heterogeneity and volume of the data to be considered. Data analysts could benefit from an application assistant that supports them throughout the KDD process and aids them to discover which are (...) the relevant variables for the matter at hand, or informing about relationships among relevant data. In this article, the EEPSA (Energy Efficiency Prediction Semantic Assistant) ontology which supports such an assistant is presented. The ontology is developed on the basis that a proper axiomatization shapes the set of admitted models better, and therefore, establishes the ground for a better interoperability. On the contrary, underspecification facilitates the admission of non-isomorphic models to represent the same state which hampers interoperability. This ontology is developed on top of three ODPs (Ontology Design Patterns) which include proper axioms in order to improve precedent proposals to represent features of interest and their respective qualities, as well as observations and actuations, the sensors and actuators that generate them, and the procedures used. Moreover, the ontology introduces six domain ontology modules integrated with the ODPs in such a manner that a methodical customization is facilitated. (shrink)

Contemporary theories of consciousness are based on widely different concepts of its nature, most or all of which probably embody aspects of the truth about it. Starting with a concept of consciousness indicated by the phrase “the feeling of what happens” (the title of a book by Antonio Damásio), we attempt to build a framework capable of supporting and resolving divergent views. We picture consciousness in terms of Reality experiencing itself from the perspective of cognitive agents. Each conscious experience is (...) regarded as composed of momentary feeling events that are combined by recognition and evaluation into extended conscious episodes that bind cognitive contents with a wide range of apparent durations (0.1 secs to 2 or more secs, for us humans, depending on circumstances and context). Three necessary conditions for the existence of consciousness are identified: a) a ground of Reality, envisaged as an universal field of potentiality encompassing all possible manifestations, whether material or 'mental'; b) a transitional zone, leading to; c) a manifest world with its fundamental divisions into material, 'informational' and quale-endowed aspects. We explore ideas about the nature of these necessary conditions, how they may relate to one another and whether our suggestions have empirical implications. (shrink)

This article focuses on the problems of application of artificial intelligence to represent legal knowledge. The volume of legal knowledge used in practice is unusually large, and therefore the ontological knowledge representation is proposed to be used for semantic analysis, presentation and use of common vocabulary, and knowledge integration of problem domain. At the same time some features of legal knowledge representation in Ukraine have been taken into account. The software package has been developed to work with the ontology. (...) The main features of the program complex, which has a Web-based interface and supports multi-user filling of the knowledge base, have been described. The crowdsourcing method is due to be used for filling the knowledge base of legal information. The success of this method is explained by the self-organization principle of information. However, as a result of such collective work a number of errors are identified, which are distributed throughout the structure of the ontology. The results of application of this program complex are discussed in the end of the article and the ways of improvement of the considered technique are planned. (shrink)

Social ontology is the study of the nature and properties of the social world. It is concerned with analyzing the various entities in the world that arise from social interaction. -/- A prominent topic in social ontology is the analysis of social groups. Do social groups exist at all? If so, what sorts of entities are they, and how are they created? Is a social group distinct from the collection of people who are its members, and if so, (...) how is it different? What sorts of properties do social groups have? Can they have beliefs or intentions? Can they perform actions? And if so, what does it take for a group to believe, intend, or act? -/- Other entities investigated in social ontology include money, corporations, institutions, property, social classes, races, genders, artifacts, artworks, language, and law. It is difficult to delineate a precise scope for the field (see section 2.1). In general, though, the entities explored in social ontology largely overlap with those that social scientists work on. A good deal of the work in social ontology takes place within the social sciences (see sections 5.1–5.8). -/- Social ontology also addresses more basic questions about the nature of the social world. One set of questions pertains to the constituents, or building blocks, of social things in general. For instance, some theories argue that social entities are built out of the psychological states of individual people, while others argue that they are built out of actions, and yet others that they are built out of practices. Still other theories deny that a distinction can even be made between the social and the non-social. -/- A different set of questions pertains to how social categories are constructed or set up. Are social categories and kinds produced by our attitudes? By our language? Are they produced by causal patterns? And is there just one way social categories are set up, or are there many varieties of social construction? -/- The term ‘social ontology’ has only come into wide currency in recent years, but the nature of the social has been a topic of inquiry since ancient Greece. As a whole, the field can be understood as a branch of metaphysics, the general inquiry into the nature of entities. (shrink)

Agent-Based Models are useful to describe and understand social, economic and spatial systems' dynamics. But, beside the facilities which this methodology offers, evaluation and comparison of simulation models are sometimes problematic. A rigorous conceptual frame needs to be developed. This is in order to ensure the coherence in the chain linking at the one extreme the scientist's hypotheses about the modeled phenomenon and at the other the structure of rules in the computer program. This also systematizes the model design from (...) the thematician conceptual framework as well. The aim is to reflect upon the role that a well defined ontology, based on the crossing of the philosophical and the computer science insights, can play to solve such questions and help the model building. We analyze different conceptions of ontology, introduce the 'ontological test' and show its usefulness to compare models. Then we focus on the model building and show the place of a systematic ABM ontology. The latter process is situated within a larger framework called the 'knowledge framework' in which not only the ontologies but also the notions of theory, model and empirical data take place. At last the relation between emergence and ontology is discussed. (shrink)

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method (...) of modern formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

This paper describes the construction method of a legal application ontology. This method is based on the merging of micro-ontologies built from European community directives. The terminae construction method from texts enhanced by an alignment process with a core legal ontology is used for building micro-ontologies. A merging process allows constructing the legal ontology.

Ontology should be conceived as supervenient on scientific theories. They tell us what categories of things there really are. Thus, we would have a unique system of ontology if we would attain the unity of science through a reductionist program. For this, it should be clear how a relation of intertheoretical reduction (with ontological implications) is to be conceived. A formal proposal is laid out in this paper. This allows us also to define the notion of a fundamental (...) theory. Now, it appears that, considering the state of really existing science, the idea of reductionism as based on this explication is highly implausible. However, even if this is the case, the question whether it is possible to build up a unique ontological system remains open. Its resolution depends on the notion of compatibility between fundamental theories, and its application to existing theories and their empirical bases. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic (...) expressivity to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This important book provides detailed critiques of the method of transcendental argumentation and the transcendental realist account of the concept of causal power that are among the core tenets of the bhaskarian version of critical realism. Kaidesoja also assesses the notions of human agency, social structure and emergence that have been advanced by prominent critical realists, including Roy Bhaskar, Margaret Archer and Tony Lawson. The main line of argument in this context indicates that the uses of these concepts in critical (...) realism involve ambiguities and problematic anti-naturalist presuppositions. -/- As a whole, these arguments are intended to show that to avoid these ambiguities and problems, critical realist social ontology should be naturalized. This not only means that transcendental arguments for ontological doctrines are firmly rejected and the notion of causal power interpreted in a non-transcendental realist way. Naturalization of the critical realist social ontology also entails that many of the core concepts of this ontology should be modified so that attention is paid to the ontological presuppositions of various non-positivist explanatory methods and research practices in the current social sciences as well as to new approaches in recent cognitive and neurosciences. -/- In addition of providing a detailed critique of the original critical realism, the book develops a naturalized version of the critical realist social ontology that is relevant to current explanatory practices in the social sciences. In building this ontology, Kaidesoja selectively draws on Mario Bunge’s systemic and emergentist social ontology, William Wimsatt’s gradual notion of ontological emergence and some recent approaches in cognitive science (i.e. embodied, situated and distributed cognition). This naturalized social ontology rejects transcendental arguments in favor of naturalized arguments and restricts the uses of the notion of causal power to concrete systems, including social systems of various kinds. It is also compatible with a naturalized version of scientific realism as well as many successful explanatory practices in the current social sciences. By employing the conceptual resources of this ontology, Kaidesoja explicates many of the basic concepts of social ontology and social theory, including social system, social mechanism, social structure, social class and social status. (shrink)

This article outlines a program of ethnoontology that brings together empirical research in the ethnosciences with ontological debates in philosophy. First, we survey empirical evidence from heterogeneous cultural contexts and disciplines. Second, we propose a model of cross‐cultural relations between ontologies beyond a simple divide between universalist and relativist models. Third, we argue for an integrative model of ontology building that synthesizes insights from different fields such as biological taxonomy, cognitive science, cultural anthropology, and political ecology. We conclude (...) by arguing that a program of ethnoontology provides philosophers both with insights about traditional issues such as debates about natural kinds and with novel strategies for connecting philosophy with pressing global issues such as the conservation of local environments and the self‐determination of Indigenous communities. (shrink)

Applied ontology is the attempt to put to use the rigorous tools of philosophical ontology in the development of category systems which can be of use in the formalization and systematization of knowledge of a given domain. In what follows we shall sketch some elements of the ontology of legal and socio-political institutions, paying attention especially to the normativity involved in such institutions. We shall see that there is more than one type of normativity, but that this (...) fact that has often been ignored in standard attempts by philosophers to build ontologies of legal and other socio-political entities. In order to provide a sound system of categories for legal and socio-political institutions and entities, however, the manifold of normativity needs to be addressed. The classical examples of normative statements have been moral propositions; they do not merely describe states of affairs; they tell us how states of affairs ought to be. The distinction between how things are and how they ought to be is the basis of the distinction between fact and value. Analytic philosophers for a long time shunned discussions of normativity and ethics. They considered ethical statements as pseudo-propositions, or as expressions of pro- or con-attitudes of no theoretical significance.1 Nowadays, in contrast, prominent analytic philosophers discuss normative problems and there are important books written by such philosophers on topics such as law and justice. Here we pay attention to three seminal thinkers in this development: H. L. A. Hart, John Rawls, and John R. Searle in concerning ourselves especially with the way in which they deal with the issue of normativity. Hart is, within the context of recent analytic philosophy, the most important philosopher of law, Rawls the most.. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute (...) of Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to plant (...) science, with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order (...) to facilitate representation of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information. (shrink)

'Correlations without correlata' is an influential way of thinking of quantum entanglement as a form primitive correlation which nonetheless maintains locality of quantum theory. A number of arguments have sought to suggest that such a view leads either to internal inconsistency or to conflict with the empirical predictions of quantum mechanics. Here wew explicate and provide a partial defence of the notion, arguing that these objections import unwarranted conceptions of correlation properties as hidden variables. A more plausible account sees the (...) properties in terms of Everettian relative states. The ontological robustness of entanglement is also defended from recent objections. (shrink)

"... an attempt to revive ontology —indeed philosophy itself—by means of a two-sided conception of being.... This is a remarkable idea which has produced a powerful book." —Leonard Lawlor "... a major philosophical study: rich, brilliant... a tour de force, a seminal study that will be a starting-point for future research in this area." —Robert Bernasconi In Truth and Genesis, Miguel de Beistegui considers the role and meaning of philosophy today. Calling for a new departure for philosophy, one that (...) brings together philosophy’s scattered identities, de Beistegui proposes a robust and unified philosophy that would find itself equally at home in artistic and scientific disciplines. To build this renewed philosophy, de Beistegui turns to Aristotle and the earliest foundations of thought. He traces philosophy’s development through the medieval and modern periods before comparing and investigating the work of two of the 20th century’s most influential thinkers, Martin Heidegger and Gilles Deleuze. In particular, de Beistegui focuses on Deleuze’s Difference and Repetition and Heidegger’s Contributions to Philosophy for their handling of the concept of difference. De Beistegui concludes that Deleuze and Heidegger are irreconcilable, but it is in their disagreements that he sees a way to liberate philosophy from its current crisis. (shrink)

BACKGROUND -/- Understanding, modelling and influencing the transition between different states of cells, be it reprogramming of somatic cells to pluripotency or trans-differentiation between cells, is a hot topic in current biomedical and cell-biological research. Nevertheless, the large body of published knowledge in this area is underused, as most results are only represented in natural language, impeding their finding, comparison, aggregation, and usage. Scientific understanding of the complex molecular mechanisms underlying cell transitions could be improved by making essential pieces of (...) knowledge available in a formal (and thus computable) manner. -/- RESULTS -/- We describe the outline of two ontologies for cell phenotypes and for cellular mechanisms which together enable the representation of data curated from the literature or obtained by bioinformatics analyses and thus for building a knowledge base on mechanisms involved in cellular reprogramming. In particular, we discuss how comprehensive ontologies of cell phenotypes and of changes in mechanisms can be designed using the entity-quality (EQ) model. -/- CONCLUSIONS -/- We show that the principles for building cellular ontologies published in this work allow deeper insights into the relations between the continuants (cell phenotypes) and the occurrents (cell mechanism changes) involved in cellular reprogramming, although implementation remains for future work. Further, our design principles lead to ontologies that allow the meaningful application of similarity searches in the spaces of cell phenotypes and of mechanisms, and, especially, of changes of mechanisms during cellular transitions. (shrink)

In “Ontologies Relevant to behaviour change interventions: A Method for their Development” Wright, et al. outline a step by step process for building ontologies of behaviour modification – what the authors call the Refined Ontology Developmental Method (RODM) – and demonstrate its use in the development of the Behaviour Change Intervention Ontology (BCIO). RODM is based on the principles of good ontology building used by the Open Biomedical Ontology (OBO) Foundry in addition to those (...) outlined in (Arp, Smith, and Spear 2015). BCIO uses as its top-level ontology Basic Formal Ontology (BFO). The methods outlined in Wright, et al. are a valuable contribution to the field, especially the use of formal mechanisms for literature annotation and expert stakeholder review, and the BCIO will certainly play an important role in the extension of OBO Foundry ontologies into the behavioural domain. (shrink)

The Industrial Ontologies Foundry (IOF) was formed to create a suite of interoperable ontologies. Ontologies that would serve as a foundation for data and information interoperability in all areas of manufacturing. To ensure that each ontology is developed in a structured and mutually coherent manner, the IOF has committed to the tiered architecture of ontology building based on the Basic Formal Ontology (BFO) as top level. One of the critical elements of a successful tiered architecture build (...) is the domain mid-level ontologies. However, thus far there has been no mid-level manufacturing ontology that is based on BFO. The IOF has recently released the IOF Core version 1 beta to fill this gap. This paper documents the development process and gives an overview of the current content of the IOF Core. Finally, the paper describes how the IOF Core can be used as the basis for a more domain-specific Supply Chain Ontology. (shrink)

In Graham Harman’s realist philosophy, which I call “ontological liberalism,” all objects are considered equal, there being no unbridgeable gap between various modes of being. Every object is a unique individual, endowed with a positive being. Any privileging of a certain class of objects over other classes of objects is invalidated. An object is composed of its relations, summarized under the heading of what Harman calls “sensual qualities,” while objects also contain mutually inaccessible essences. Supposedly, every object may be characterized (...) by the duality of relationality and substantiality. According to ontological liberalism, all objects exist. In this essay, I propose an ontological nihilist critique of Harman’s liberal ontology. We cannot exclude the possibility of every object being equally nonexistent. Appearances could pertain all the way down, with no final substance at the end of the infinite chain of appearances. Building on insights gleaned from Jan Westerhoff’s defence of ontological nihilism, I propose a nihilist reconfiguration of Harman’s ontological liberalism. If objects and relations are empty and reality is made of appearances all the way down, no underlying objective essence can or should be posited. Because relations are without basis, lacking in substance, nothing exists, nothing happens, and no objects exist. (shrink)

The article introduces recursive ontology, a general ontology which aims to describe how being is organized and what are the processes that drive it. In order to answer those questions, I use a multidisciplinary approach that combines the theory of levels, philosophy and systems theory. The main claim of recursive ontology is that being is the product of a single recursive process of generation that builds up all of reality in a hierarchical fashion from fundamental physical particles (...) to human societies. To support this assumption, I provide the general laws and the basic principles of recursive ontology as well as a semi-formalised model of the theory based on a recursive generative grammar. Recursive ontology not only actively promotes a multidisciplinary investigation of reality, but also can be used as a general framework to develop future domain-specific theories. (shrink)

All social phenomena, all social interaction, anything that exists in society, is temporal. Anticipation of futures is a necessary part of all social actions, and particularly so in the world of modern organisations. If social sciences are to be relevant they should also be able to say something about possible and likely futures. My paper articulates an ontology for futures studies and then, on that ontological basis, specifies the methodology of futures studies. Critical realist ontology explains why there (...) are multiple possible futures. The actual is only a part of the real world, which also consists of non-actualised possibilities and unexercised powers of the already existing structures and mechanisms that are transfactually efficacious in open systems. Social sciences are also involved in envisaging better possible futures in terms of concrete utopias. However, building concrete utopias is not the only task of a futurologist. We are also interested in other possible and likely futures, and in determining the ways in which our actions and the actions of others contribute—sometimes via unintended effects and consequences—to making some of them real. Empirico-analytical models have a role to play, as do systematic modelling of geo-historical realities: embodied agency and actors; modes of action; rules and principles; resources, as competencies and facilities; practices; relational structures ; and self-organising social systems. However, scenario-construction should also be seen as self-reflective exercise in cultural studies, moral philosophy and creative ability. (shrink)

This case study aims to preserve and disseminate cultural heritage information about the North American community folk dance tradition of contra dance through development of a thesaurus of choreographic terms and a domain ontology. A survey of dance resources was conducted, reviewing historic and modern examples of contra dance choreography notation and instructions, records of dance events, and recordings of dance performances. Domain and content analysis were performed on the resources to collect and organize concepts and themes regarding choreographic (...) components and their relationships, the structure and function of cultural works, their creative expressions, and the evidence of those expressions in documents and recordings. Vocabulary used in the description of contra dance choreography was identified, classified, and notated to build a thesaurus, which was used as the basis of a domain ontology. Ontology building methodology and existing conceptual models for cultural heritage domains guided the ontology development and revision phases. The study also seeks to safeguard an intangible cultural heritage by applying knowledge organization and semantic approaches to folk dance in order to model such challenges as multiple, simultaneous modes of communication and forms of representation, modular conceptual components, descriptive sequences, differing levels of structured information, and complex cultural networks found at various levels of domain discourse. (shrink)

The aim of this paper is to stress some ontological and methodological issues for Agent-Based Model (ABM) building, exploration, and evaluation in the Social and Human Sciences. Two particular domain of interest are to compare ABM and simulations (Model To Model) within a given academic field or across different disciplines and to use ontology for to discuss about the epistemic and methodological consequences of modeling choices. The paper starts with some definitions of ontology in philosophy and computer (...) sciences. The implicit and different ontology which underlies the approach of a same object of interest are discussed in the case of spatial economists and geographers. Finally, using the case of Shelling’s model, we discuss the concept of “ontological test,” and raise the question of the ontological compatibility between the “model world” and the “real world.”. (shrink)

Philosophers of science have long been concerned with the question of what a given scientific theory tells us about the contents of the world, but relatively little attention has been paid to how we set out to build theories and to the relevance of pre-theoretical methodology on a theory’s interpretation. In the traditional view, the form and content of a mature theory can be separated from any tentative ontological assumptions that went into its development. For this reason, the target of (...) interpretation is taken to be the mature theory and nothing more. On this view, positions on ontology emerge only once a theory is to hand, not as part of the process of theory building. Serious attention to theory creation suggests this is too simple. In particular, data collection and experimentation are influenced both by theory and by assumptions about the entities thought to be the target of study. Initial reasoning about possible ontologies has an influence on the choice of theoretical variables as well as on the judgments of the methodology appropriate to investigate them. (shrink)

Human–Computer Interaction (HCI) is a multidisciplinary area that involves a diverse body of knowledge and a complex landscape of concepts, which can lead to semantic problems, hampering communication and knowledge transfer. Ontologies have been successfully used to solve semantics and knowledge-related problems in several domains. This paper presents a systematic literature review that investigated the use of ontologies in the HCI domain. The main goal was to find out how HCI ontologies have been used and developed. 35 ontologies were identified. (...) As a result, we noticed that they cover different HCI aspects, such as user interface, interaction phenomenon, pervasive computing, user modeling / profile, HCI design, interaction experience and adaptive interactive system. Although there are overlaps, we did not identify reuse among the 35 analyzed ontologies. The ontologies have been used mainly to support knowledge representation and reasoning. Although ontologies have been used in HCI for more than 25 years, their use became more frequent in the last decade, when ontologies address a higher number of HCI aspects and are represented as both conceptual and computational models. Concerning how ontologies have been developed, we noticed that some good practices of ontology engineering have not been followed. Considering that the quality of an ontology directly influences the quality of the solution built based on it, we believe that there is an opportunity for HCI and ontology engineering professionals to get closer to build better and more effective ontologies, as well as ontology-based solutions. (shrink)

One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building tools should be designed to help developers create good ontologies. However, few of them can deal with roles adequately. Needless to say, the world is full of roles (e.g., wife, teacher, president, fuel, food, product, output, height) although there has been extensive theoretical research on roles, we do not yet (...) have a comprehensive and usable theory yet. Our group has already constructed an ontology-development tool known as Hozo which has the ability to deal with roles. However, although Hozo allows users to represent roles better than other existing tools, the underlying theoretical foundations are still unclear and there is some room for improvement concerning the generality of how to deal with roles. In this paper, as an extension of the Hozo framework for roles, we present a framework for organizing role concepts according to their context dependencies. We also focus on the clarification of role properties and requirements on the model of roles and on the feedback obtained from Hozo-based ontology building experiences. Establishment of a computational model of roles contributes to building good ontologies because such a theory would provide useful guidelines for dealing with view-related and context-dependent distinctions related to roles. (shrink)

Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truth-making, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundational and core ontologies can be seen as ontology (...) engineering frameworks to systematically address the laborious task of building large (more specific) domain ontologies. However, both in research and industry, it is common that ontologies as computational artifacts are built without the aid of any framework of this kind, often yielding modeling mistakes and representation gaps. In this paper, we analyze a case in the domain of cybersecurity, namely, the case of D3FEND — an OWL knowledge graph of cybersecurity countermeasure techniques proposed by the MITRE Corporation. Based on the Reference Ontology for Security Engineering (ROSE), a core ontology of the security domain founded in the Unified Founda-tional Ontology (UFO), our investigation reveals a number of semantic issues and opportunities for improvement in D3FEND, including missing concepts, semantic overload of terms, and lacking constraints that cause an under-specification of the model. As a result of our ontological analysis, we propose several suggestions for the appropriate redesign of D3FEND to overcome those issues. (shrink)

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds (...) of situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

This contribution reflects on the current role of ontologies in terminology research and practice and their future role, especially with a view to the creation of fully digital terminographic resources. The very notion of (domain) ontology, its concept and term, is discussed, highlighting metaterminological differences and substantial ambiguities arising from the interdisciplinary contact between Ontology Engineering and Terminology. Major challenges in ontology building, e.g. subjectivity, are mentioned, also with respect to the distinction between realist and non-realist (...) ontologies and their relevance in Terminology. In addition, this contribution presents some examples of terminology resources with a distinct ontological component, showing a diversity of approaches depending on the purpose of the resource and its scope. In this context, more specific topics are addressed, such as the acquisition of ontological data and suitable formats and models for representing domain knowledge. The contribution ends with a vision of the integration of complex concept systems such as ontologies in future terminology work: here, the development of models based on terminology-specific requirements and typical users will be fundamental. (shrink)

I will offer a defence of Anselm's Ontological Argument, building on some suggestions made by Prior. The defence offered avoids one of the objections commonly levelled against the Ontological Argument. I will not consider whether the use of this objection involves a misinterpretation of the argument as put forward by Anselm. It might, for example, be held that the argument of Proslogion 2 is programmatic, and points forward to Prosiogion 3, and arguments given by Anselm in his Reply to (...) Gaunilo. In particular it might be denied that Anselm holds that what is greater about what exists in reality is just that it exists in reality. While what I have to say will start from points made by Prior, I do not intend to suggest that Prior holds that there is a defence possible for Anselm's argument such as I will offer. What I have to say involves emphasizing modal notions, and treating Anselm's argument as a modal argument. Thus it comes down to defending Anselm's argument in Proslogion 3 in preference to the Proslogion 2 argument. (shrink)

Building on the insights of the late Roy Bhaskar and the late Roger Matthews, as well as some recent developments in ultra-realist criminology, this article introduces and delineates some core inte...

Despite an attempt to break with the hierarchical picture in traditional emergentist thought, non-standard accounts of emergence are often still committed to a premise that ontology is prior to epistemology. This paper aims to topple this last remnant of the traditional hierarchy by explicating a pragmatic view of emergence based on John Dewey’s work. Dewey argued that the traditional notion of ontology is premised on a view of existence as complete. Through a discussion of Dewey’s work it is (...) argued that this premise results in a process of reification that unduly excludes from ontology many precarious and indeterminate aspects involved both in everyday life and in philosophic and scientific inquiry. Building on a recent explication of transformational emergence the paper proposes a diachronic and non-hierarchical account of emergence, called pragmatic emergence. According to that account the relation between ontology and epistemology is a temporally reciprocal one. This means that ontological and epistemological features co-determine each other over time. Determinacy and continuity become historical features of a multitude of unfinished processes that we view from within. (shrink)

Different approaches to causation often diverge very significantly on ontological issues, in the case of both causal laws, and causal relations between states of affairs. This article sets out the main alternatives with regard to each. Causal concepts have surely been present from the time that language began, since the vast majority of action verbs involve the idea of causally affecting something. Thus, in the case of transitive verbs describing physical actions, there is the idea of causally affecting something external (...) to one — one finds food, builds a shelter, sows seed, catches fish, and so on — while in the case of intransitive verbs describing physical actions, it is very plausible that they involve the idea of causally affecting one's own body — as one walks, runs, jumps, hunts, and so on. (shrink)

The Solvay conference of marked the birth of quantum the ory This theory constitutes a radical break with prior tradition in physics because it avers if taken seriously that nature is built not out of matter but out of knowings However the founders of the theory stipulated cautiously that the theory was not to be taken seriously in this sense as a description of nature herself but was to be construed as merely a way of computing expectations about future knowings (...) on the basis of information provided by past knowings There have been many e orts over the intervening seventy years to rid physics of this contamination of matter by mind But I use the reports at this Sym posium to support the claim that these decontamination e orts have failed and that because of recent developments pertaining to causal ity the time has come to take quantum theory seriously to take it as the basis for a conception of the universe built on knowings and other things of the same kind Quantum theory ensures that this con ception will yield all the empirical regularities that had formerly been thought to arise from the properties of matter together with all of those more recently discovered regularities that cannot be understood in that mechanical way Thus I propose to break away from the cau tious stance of the founders of quantum theory and build a theory of.. (shrink)

In 2005, IOS Press published the first issue of applied Ontology. At the time, we argued that, at the core of the journal, there was “a desire to understand the nature of reality and how people construe their world”. We declared that ontology was both “fundamental to human thought” and “to translating our thoughts into computational artifacts” (Guarino & Musen,2005). With an editorial board of distinguished scholars representing the fields of computer science, informatics, information science, philosophy, linguistics, psychology, (...) and social science, we had the firm belief that applied Ontologywould fulfill an important academic niche, becoming an essential forum for discussion on topics such as ontological analysis, conceptual modeling, and the role of domain models in building and managing information systems. The facts now show that we were correct. (shrink)

Social ontology studies the nature and properties of social reality while social metaontology examines the relationship between ontology and the social sciences, which is often treated as a normative question. However, social sciences themselves contain ontological theses, raising the descriptive question of how these internal ontologies relate to the rest of the social sciences. This paper argues that important parts of sociology have an anti-foundationalist metaontology. This descriptive claim is used to build a normative argument against foundationalism and (...) is supported by examining the works of Durkheim and Weber and how their metaontological beliefs continue to influence many sociologists. (shrink)

The article analyzes ontological possibilities of the meaning of information setting. For this, a modern approach of information technologies is considered in relation to setting the meaning of textual information. At the same time, the problem of setting the meaning of number and the meaning of word is formulated, which is discussed from the perspective of an ontological approach based on the solution of the problem of being, where the ontology of semantics is the result of such a solution. (...) As the ontology itself, a relational ontology is chosen, the initial position of which is the thesis: “to be” means “to be distinctive”. Based on this, information is defined as the result of ontological distinction, which allows mathematical formalization through the operation of subtraction, which expresses the essence of ontological distinction. This in turn allows to build constantly a numerical order of the meanings of any information, including textual, while the meaning of the information is its place in such a numerical range. Such a method, called Relational method, leads to an exact numerical specification of the meaning of any information, and by dignity of this numerical form, the meanings of any information can be easily input into a computer with subsequent processing and operation of these senses. (shrink)

Current debates in social ontology are dominated by approaches that view institutions either as rules or as equilibria of strategic games. We argue that these two approaches can be unified within an encompassing theory based on the notion of correlated equilibrium. We show that in a correlated equilibrium each player follows a regulative rule of the form ‘if X then do Y’. We then criticize Searle's claim that constitutive rules of the form ‘X counts as Y in C’ are (...) fundamental building blocks for institutions, showing that such rules can be derived from regulative rules by introducing new institutional terms. Institutional terms are introduced for economy of thought, but are not necessary for the creation of social reality. (shrink)

An outstanding philosopher-logician, Gottlob Frege's work has received much attention in recent years. In the pursuit of Frege's main goal to solidify the foundations of mathematics and scientific work, Frege conceived a comprehensive philosophy of language and developed the main thesis of logicism, that mathematics is reducible to logic. This book contains essays covering a large range of issues related to Frege that will be of great interest to philosophers working on these issues. This volume represents an important addition to (...) the study of Frege. This book contains essays from some of the most important contemporary philosophers investigating Frege's ideas. Treating issues of contemporary interest, this book discusses topics either in a Fregean spirit or in dialogue with Frege's original views. The wide implications of Frege's views are evident in the variety of topics presented in this volume, from the Frege fundamentals to innovative interpretations that break new ground in the study of Frege. Key papers concern the ontological status of propositions and concepts, recent attempts to improve on the semantics of singular terms, the question of how to construe the content of concept-expressions, and other themes within the common grounds in which ontology and philosophical semantics intersect. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used (...) to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

First published in 1997, Alain Badiou's _Deleuze: The Clamor of Being_ cast Gilles Deleuze as a secret philosopher of the One. In this work, Clayton Crockett rehabilitates Deleuze's position within contemporary political and philosophical thought, advancing an original reading of the thinker's major works and a constructive conception of his philosophical ontology. Through close readings of Deleuze's _Difference and Repetition_, _Capitalism and Schizophrenia_ (with Felix Guattari), and _Cinema 2_, Crockett argues that Deleuze is anything but the austere, quietistic, and (...) aristocratic intellectual Badiou had portrayed. Instead, Crockett underscores Deleuze's radical aesthetics and innovative scientific, political, and mathematical forms of thought. He also refutes the notion Deleuze retreated from politics toward the end of his life. Using Badiou's critique as a foil, Crockett maintains the profound continuity of Deleuze's work and builds a general interpretation of his more obscure formulations. (shrink)