In the domain of information systems ontologies, the notion of completeness refers to ontological contents by demanding that they be exhaustive with respect to the domain that the ontology aims to represent. The purpose of this paper is to analyze such a notion, by distinguishing different varieties of completeness and by questioning its consistency with the open-world assumption, which formally assumes the incompleteness of conceptualizations on information systems ontologies.

The growing diffusion of perspectivism within the debate on information system ontologies [ISOs] does not correspond to a thorough analysis of what perspectivism specifically consists of. This paper aims to fill this void. First, I show what supporting perspectivism in information system ontologies [PISO] means in terms of (minimal) claims and implications; then I argue that the definitions of ISO implicitly assume PISO’s (minimal) claims or, in other words, that ISOs presuppose and maintain PISO. Section 2 presents the main definitions (...) of ISO. Section 3 specifies what claims are common to all perspectivists in ISO. Sects. 4–7 analyze the implications of those claims. Section 8 explores the chance of multiple perspectivisms within ISOs’ domain. Finally, Sects. 9–10 assume that, if PISO’s (minimal) claims and (their) implications can be inferred from ISO’s definitions, then ISOs are perspectivist, or PISO’s minimal claims are assumptions underlying ISOs. (shrink)

Although many information system ontologies (ISOs) claim to be parsimonious, the notion of parsimony seems to influence the debate on ISOs only at the level of vague and uncritical assumption. To challenge this trend, the paper aims to clarify what it means for ISOs to be parsimonious. Specifically, section 2 shows that parsimony in computer science generally concerns software design and, together with elegance, is one of the two aspects of the broader notion of simplicity. Section 3 transforms the main (...) claims of parsimony in software design into claims about the content of ISOs, the combination of which is hereafter called “parsimony of content”—where “content” refers only to the content of ISOs. Sections 4-7 discuss the application of this parsimony to the design of ISOs, and outline different kinds (and combinations) of parsimony of content. Finally, section 8 considers whether parsimony of content could provide some criteria both for selecting and/or classifying the contents of ISOs and for choosing between different and equally consistent ISOs. (shrink)

Insofar as disagreement may in principle regard most of (maybe all) facets of information system ontologies’ [ISOs] debate, it may also produce a plurality of views – sometimes inconsistent with each other – on ISOs’ development and design. This paper analyzes a view that makes the recognition of – and provides a theoretical foundation for – such a plurality of views a trademark: perspectivism (on ISOs). The aim is to show what exactly endorsing perspectivism consists of, and how perspectivism differs (...) from different, competing views. Section 2 introduces the main claims of perspectivism, and remarks that perspectivism mainly deals with ISOs’ development and design. As for ISOs’ development, Sect. 3 considers domain’s partition and systematization, by distinguishing perspectivism from realism and relativism. Section 3 also shows that perspectivism implies some sort of variantism on ISOs’ representational primitives, about which perspectivism may not differ from its rivals. As for the ISOs’ design, Sect. 4 points out that despite perspectivism grants the possibility to use any procedural approach, principle, and ontological language, it is not committed to uphold that all those approaches, principles, and languages are legitimate. Finally, Sect. 5 focuses on both perspectivism’s weaknesses and (theoretical) contribution to ISOs’ debate. (shrink)

Despite the fact that information systems ontologies [ISOs] support the mutual understanding between human beings and software applications, human beings and software applications do not understand ISOs' contents in the same way. The same applies to ontological integration. This paper attempts to account for such discrepancies by emphasizing that while human being can have access to entities represented in ISOs, software applications cannot.

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday (...) cognition, in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

The current (still limited) use of the notion of informativeness in the domain of information system ontologies seems to indicate that such ontologies are informative if and only if they are understandable for their final recipients. This paper aims at discussing some theoretical issues emerging from that use which, as we will see, connects the informativeness of information system ontologies to their representational primitives, domains of knowledge, and final recipients. Firstly, we maintain that informativeness interacts not only with the actual (...) representational primitives, but also with their variability over time. Secondly, we discuss the correspondence between representational primitives and domains of knowledge of those ontologies. Finally, we explore the possibility of an epistemological discrepancy between human beings and software systems on the understanding of ontological contents. (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)

In this article we present a possible way to make usual quantum mechanics fully compatible with physical realism, defined as the statement that the goal of physics is to study entities of the natural world, existing independently from any particular observer’s perception, and obeying universal and intelligible rules. Rather than elaborating on the quantum formalism itself, we propose a new quantum ontology, where physical properties are attributed jointly to the system, and to the context in which it is embedded. (...) In combination with a quantization principle, this non-classical definition of physical reality sheds new light on counter-intuitive features of quantum mechanics such as the origin of probabilities, non-locality, and the quantum-classical boundary. (shrink)

The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those (...) systems which can include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

This volume collects the papers presented at the 9th edition of the Formal Ontology in Information Systems conference, FOIS 2016, held July 6–9, 2016, in Annecy, France. As in the previous editions, FOIS 2016 included keynote addresses, full paper presentations, an Ontology Competition, an Early Career Symposium in its scientific program and was preceded by the Interdisciplinary Summer School on Ontological Analysis, now at its third edition and held June 27–July 1 in Bolzano-Bozen, Italy.

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two (...) terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. The paper (...) provides a detailed overview of ontology services and concludes with a discussion of some implications of the product-service system approach for the understanding of the nature of applied ontology. Ontology developer communities are compared in this respect with developers of scientific theories and of standards (such as W3C). For each of these we can ask: what kinds of products do they develop and what kinds of services do they provide for the users of these products? (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

A longstanding philosophical premise perceives simplicity as a desirable attribute of scientific theories. One of several raised justifications for this notion is that simple theories are more likely to indicate the true makeup of natural systems. Qualitatively parsimonious hypotheses and theories keep to a minimum the number of different postulated entities within a system. Formulation of such ontologically simple working hypotheses proved to be useful in the experimental probing of narrowly defined bio systems. It is less certain, however, whether qualitatively (...) parsimonious theories are effective indicators of the true nature of complex biological systems. This paper assesses the success of ontologically simple theories in envisaging the makeup of three complex systems in bacteriology, immunology, and molecular biology. Evidence shows that parsimonious theories completely misconstrued the actual ontologically complex constitutions of the three examined systems. Since evolution and selective pressures typically produce ontologically intricate rather than simple bio systems, qualitatively parsimonious theories are mostly inapt indicators of the true nature of complex biological systems. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two (...) terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. (...) The current proceedings is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from (...) 18 to 20 September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (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)

This contribution presents the principal features of ontologies, drawing special attention to the comparison between ontologies and the different kinds of know­ledge organization systems (KOS). The focus is on the semantic richness exhibited by ontologies, which allows the creation of a great number of relationships between terms. That establishes ontologies as the most evolved type of KOS. The concepts of “conceptualization” and “formalization” and the key components of ontologies are described and discussed, along with upper and domain ontologies and special (...) typologies, such as bibliographical ontologies and biomedical ontologies. The use of ontologies in the digital libraries environment, where they have replaced thesauri for query expansion in searching, and the role they are playing in the Semantic Web, especially for semantic interoperability, are sketched. (shrink)

The goal of the paper is to analyse some specific features of a very central concept for top-level ontologies for information systems: i.e. the concept of artefact. Specifically, we analyse the relation to be a copy of that is strongly linked to the notion of artefact and—as we will demonstrate—could be useful to distinguish artefacts from objects of other kinds. Firstly, we outline some intuitive and commonsensical reasons for the need of a clarification of the notion of artefact in ontologies (...) for information systems, and we analyse some characterisations of the notion given by two top-level ontologies (Cyc and Wordnet). Secondly, we introduce and critically analyse Tzouvaras’ notion of copy. Thirdly, we try to complete an analysis of copy by distinguishing three kinds of copies: replicas (Tzouvaras’ notion of copy), rigid copies, and functional copies. With the help of these three notions we outline a first and preliminary distinction between artefacts, objects of art and natural objects. (shrink)

With the widespread infusion of online technology there has been an increase in various studies investigating the practices in online communities including also philosophical perspectives. What those debates have in common is that they call for more critical thinking about the theory of online communication. Drawing on Techno-Anthropological research perspectives, our interest is placed on exploring and identifying human interactions and technology in intersectional spaces. This article explores information systems that allow for interchanges of different users. We discuss ontological assumptions (...) that focus on understanding the kind of dialogue that can be captured between different expert groups when they utilize information systems. We present the notion of ‘dialogic’ by Mikhail Bakhtin and contextualize it through an analysis of online dialogue. Dialogic or ‘conversation and inquiry’ is discussed as being mediated through human relationships. Acknowledging the existence of at least two voices the underlying differences between dialogue partners are highlighted. (shrink)

Willard van Orman Quine once said that he had a preference for a desert ontology. This was in an earlier day when concerns with logical structure and ontological simplicity reigned supreme. Ontological genocide was practiced upon whole classes of upper-level or ‘derivative’ entities in the name of elegance, and we were secure in the belief that one strayed irremediably into the realm of conceptual confusion and possible error the further one got from ontic fundamentalism. In those days, one paid (...) more attention to generic worries about possible errors than to actual errors derived from distancing oneself too far from the nitty-gritty details of actual theory, actual inferences from actual data, the actual conditions under which we posited and detected entities, calibrated and ‘burned in’ instruments, identified and rejected artifacts, debugged programs and procedures, explained the mechanisms behind regularities, judged correlations to be spurious, and in general, to the real complexities and richness of actual scientific practice. (shrink)

Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for multiagent systems, which we dub spheres of commitment. We identify the key operations on commitments and multiagent systems. We distinguish between explicit and implicit commitments. Multiagent systems, viewed as spheres of commitment (SoComs), provide the context for the different operations on commitments. Armed with the above ideas, we can capture normative concepts such as obligations, (...) taboos, conventions, and pledges as different kinds of commitments. In this manner, we synthesize ideas from multiagent systems, particularly the idea of social context, with ideas from ethics and legal reasoning, specifically that of directed obligations in the Hohfeldian tradition. (shrink)

We will survey a range of ontologies relevant to space and ground system domains. The ontologies form part of the Common Core Ontology ecosystem (CCO) developed under the IARPA KDD initiative. We focus specifically on the Space Domain Ontologies, a suite of ontologies to support space situational awareness, including the Spacecraft Mission Ontology, Spacecraft Ontology, Space Event Ontology and Space Object Ontology.

In this paper we address the problem of defining social roles in multi-agent systems. Social roles provide the basic structure of social institutions and organizations. We start from the properties attributed to roles both in the multi-agent systems and the Object Oriented community, and we use them in an ontological analysis of the notion of social role. We identify three main properties of social roles. First, they are definitionally dependent on the institution they belong to, i.e. the definition of a (...) role is given inside the definition of the institution. Second, they attribute powers to the agents playing them, like creating commitments for the institutions and the other roles. Third, they allow roles to play roles, in the same way as agents do. Using Input/Output logics, we propose a formalization of roles in multi-agent systems satisfying the three properties we identified. (shrink)

The article proposes systematisation and development of the discourse of the East European methodological traditions regarding application of the systematic approach as a way of subject localisation in psychological research. In particular, the author’s version of systematic localisation of psychological research subjects by means of structural and ontological visualisations has been developed. The procedure proposed for systematic localisation of the researched subject includes four subsequent stages: 1) fixation of the borders and structure of the ontological field which is being studied; (...) 2) segment analysis of the obtained structure; 3) study of specifics and contents of structural and functional ties; 4) visual mapping of genesis of the core processes. The article describes specifics of application of systematic localisation of the subject of research at the example of such researched object as personal socialisation. (shrink)

En philosophie, l'ontologie étudie ce qui pourrait exister : le type et la structure des objets, les propriétés, évènements, processus et relations. En ingénierie des connaissances, c'est la spécification de la conceptualisation d'un domaine de savoir. Ce domaine concerne ici la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société (SHS) en vue de la simulation par systèmes multi-agents (SMA). La modélisation SMA en SHS propose la formalisation d'une pluralité de points de vue dans un (...) cadre général qui permet de comparer et de combiner différents angles de réflexion. Agrémenté d'exemples issus de trois domaines (la géographie, l'économie et la sociologie), cet ouvrage utilise des formalismes principalement basés sur UML. L'exercice de description d'une ontologie est présenté comme un dialogue conceptuel interdisciplinaire et l'ontologie comme le médiateur de ce dialogue. (shrink)

After drawing attention to the basic importance of Goodman's workThe Structure of Appearance, this paper turns to a critical analysis of Goodman's claims concerning worldmaking. It stresses that Goodman's acceptance of a multiplicity of actual worlds doesnot involve the belief in an unknowable underlying reality; but that it is due to the non-mysterious fact that constructional systems allow for a multiplicity of disagreeing, right versions. However, from the point of view of truthmaker ontology, most worlds of constructional systems are (...) not genuine worlds; and so far it hasnot been shown that there are genuine truthmaker worlds that disagree.It is suggested that the construction of systems usually involves three conflicting aims: the logical, the ontological, and the psychological. Considering the current interest in cognitive psychology and phenomenology, the implications of the psychological aim, too, deserve to be reexamined. (shrink)

Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles (...) over ad hoc, case-based solutions. This volume collects the papers presented at the third international conference devoted to current research in this area, including invited papers by P. Gärdenfors and A. L. Thomasson. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to (...) move beyond the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, each (...) component being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (shrink)

In this article, I examine Luhmann’s, Bunge’s and others’ views on emergence, and argue that Luhmann’s epistemological construal of emergence in terms of Totalausschluss (total exclusion) is both ontologically flawed and detrimental to an appropriate understanding of the distinctive features of social emergence. By contrast, Bunge’s rational emergentism, his CESM model, and Wimsatt’s characterization of emergence as nonaggregativity provide a useful framework to investigate emergence. While researchers in the field of social theory and sociology tend to regard Luhmann as the (...) sole representative of systems theory, the latter has been characterized by its diversity, and the writings of such systems theorists as Mario Bunge deserve more (critical) attention from social researchers than they receive at present. Finally, this article suggests that the perennial debate over methodological individualism and holism in social science may make real progress if such ambiguous terms as reduction and reductionism are elucidated before they are employed. (shrink)

In the last two decades we have witnessed considerable efforts directed towards making electronic healthcare records comparable and interoperable through advances in record architectures and (bio)medical terminologies and coding systems. Deep semantic issues in general, and ontology in particular, have received some interest from the research communities. However, with the exception of work on so-called ‘controlled vocabularies’, ontology has thus far played little role in work on standardization. The prime focus has been rather the rapid population of terminologies (...) at the level of fine detail. In this paper, we argue that more efforts are needed on the side of both research and standardization to ensure that the coding systems used in electronic healthcare records enjoy a semantics that is coherent with the semantics of the record. We propose realist ontology as a method to bring about this coherence by means of a robust system of top-level ontological categories. (shrink)

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an operation (...) on the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks. (shrink)

Designed to be a high-level, approachable resource for engineers who need further insight into spatial temporal information systems from an ontological perspective, Spatial Temporal Information Systems: An Ontological Approach using STK® explains the dynamics of objects interaction from signal analysis to trajectory design, spatial modeling, and other spatial analytics by using STK®, which is a general-purpose modeling and analysis application for any type of space, defense, or intelligence system. Building a foundation to begin the study of spatial temporal information systems, (...) the book details a form of analysis that is a powerful tool for modeling, engineering, and operations of space, cyberspace, satellites, missile defense, and electronic systems. It discusses the many applications of space technologies by using a mission-proven software for timely and cost-effective development that serves public interests in civil, commercial, academic, national, and international space communities. Written for readers with a background in physics or engineering, the book is also designed for the beginning analyst sitting behind a desk who needs more information on STK. Upon reading this book, STK new users and power users will not only understand what the tools are, but also how the software can be used to make their job easier. In addition, satellite operators and analysts benefit from the ability to utilize a variety of propagators satellite applications. Analytics, semi-analytic and numerical integrators are discussed, including Keplerian orbital elements and full numerical integration of STK’s High Precision Orbit Propagation or simplified as a two-body analysis. This tool, as well as this book, will bring breadth and depth to the understanding of systems dynamics and the ontology of objects in relationship to other objects and vehicles including central bodies. (shrink)

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.

An application of Narrative Knowledge Representation Language (NKRL) techniques on (declassified) ‘terrorism in Southern Philippines’ documents has been carried out in the context of the IST Parmenides project. This paper describes some aspects of this work: it is our belief, in fact, that the Knowledge Representation techniques and the Intelligent Information Retrieval tools used in this experiment can be of some interest also in an ‘Ontological Modelling of Legal Events and Legal Reasoning’ context.

"Lesniewski defined ontology, one of his three foundational systems, as 'a certain kind of modernized 'traditional logic' [On the foundations of mathematics (FM), p. 176]. In this respect it is worth bearing in mind that in the 1937-38 academic year Lesniewski taught a course called "Traditional 'formal logic' and traditional 'set theory' on the ground of ontology"; cf. Srzednicki and Stachniak, S. Lesniewski's Systems. Protothetic, 1988, p. 180. On this see Kotarbinski Gnosiology. The scientific approach to the theory (...) of knowledge, 1966, pp. 253-54 [the Polish original was published in 1929], which Lesniewski praised in [FM]: see in particular pp. 373 ff. Kotarbinski noted that Lesniewski "calls his system 'ontology' in harmony with certain terms used earlier (as in.. (shrink)

FAR FROM BEING A PURELY ESOTERIC CONCERN of theoretical mathematicians, the examination of the ontological status of mathematical entities, I submit, has far-reaching implications for a very practical area of knowledge, namely, the method of science in general, and of physics in particular. Although physics and mathematics have since Newton's second derivative been inextricably wedded, modern physics has a particularly mathematical dependence. Physics has moved and continues to move further away from the possibility of direct empirical verification, primarily because of (...) the increasingly complex logistical problems of experimentation within the parameters of the very large and of the very small. As certain areas become more and more theoretical, with developments of this century in astrophysics, cosmology, and quantum mechanics, and more specifically, with the postulation of new hypothetical elementary particles based almost exclusively upon mathematical data, physics is forced to depend increasingly upon mathematics as a method for verifying physical possibility. Typically, a mathematical formulation descriptive of an empirically established phenomenon x is manipulated and made subject to derivation on the assumption that the new formulation will continue to correspond with physical reality, and may even yield new information about the phenomenon's behavior. Why, however, should a coherence between the empirically-defined world and mathematical processes be assumed? This coherence is, above all, dependent upon a hidden metaphysically strong presupposition about the ontological status of mathematical entities and their systems. (shrink)