Download or read book Building Ontologies with Basic Formal Ontology written by Robert Arp and published by MIT Press. This book was released on 2015-08-28 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to the field of applied ontology with examples derived particularly from biomedicine, covering theoretical components, design practices, and practical applications. 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.
Download or read book Formal Ontology written by R. Poli and published by Springer Science & Business Media. This book was released on 2013-11-27 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics. These two traditions have converged in recent years and this is the first collection to encompass them as a whole in a single volume. It assembles essays from authors around the world already widely known for their work in formal ontology, and illustrates that through the application of formal methods the ancient discipline of ontology may be put on a firm methodological basis. The essays not only illuminate the nature of ontology and its relation to other areas, in language, logic and everyday life, but also demonstrate that common issues from the analytical and phenomenological traditions may be discussed without ideological barriers. Audience: advanced students of and specialists in philosophy, linguistics, cognitive science, computer science, database engineering.
Download or read book Applied Ontology written by Katherine Munn and published by Walter de Gruyter. This book was released on 2013-05-02 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called ‘ontologies,’ for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a non-technical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends.
Download or read book Formal Ontology in Information Systems written by S. Borgo and published by IOS Press. This book was released on 2018-09-28 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA). 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. This volume presents the proceedings of FOIS 2018, held in Cape Town, South Africa, from 19-21 September. It was the 10th edition and 20th anniversary of the conference series. The volume contains 19 papers grouped into 4 sections: Foundations (7 papers), Agents and Properties (4 papers), Methods and Tools (4 papers), and Applications (4 papers). Regarding the applications of ontologies, a broad spectrum of areas is covered, including in particular biology and medicine, IoT, engineering and linguistics. Formal Ontology in Information Systems - Proceedings of the 10th International Conference (FOIS 2018) will be of interest to researchers from all disciplines with an interest in formal ontology.
Download or read book Formal Ontology in Information Systems written by Antony Galton and published by IOS Press. This book was released on 2010 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. The conference series Formal Ontology in Information Systems (FOIS) provides a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. This volume contains the proceedings of the sixth FOIS conference, held in Toronto, Canada, during 11-14 May 2010, including invited talks by Francis Jeffry Pelletier, John Bateman, and Alan Rector and the 28 peer-reviewed submissions selected for presentation at the conference, ranging from foundational issues to more application-oriented topics. IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
Download or read book Universality in Set Theories written by Manuel Bremer and published by Walter de Gruyter. This book was released on 2013-05-02 with total page 125 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book discusses the fate of universality and a universal set in several set theories. The book aims at a philosophical study of ontological and conceptual questions around set theory. Set theories are ontologies. They posit sets and claim that these exhibit the essential properties laid down in the set theoretical axioms. Collecting these postulated entities quantified over poses the problem of universality. Is the collection of the set theoretical entities itself a set theoretical entity? What does it mean if it is, and what does it mean if it is not? To answer these questions involves developing a theory of the universal set. We have to ask: Are there different aspects to universality in set theory, which stand in conflict to each other? May inconsistency be the price to pay to circumvent ineffability? And most importantly: How far can axiomatic ontology take us out of the problems around universality?
Download or read book Robust Reality written by George Englebretsen and published by Walter de Gruyter. This book was released on 2013-05-02 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; a view of existence as something expressed by the existential quantifier; a metaphysics that doesn’t give the world as a whole its due. This book seeks to offer an alternative analytic theory, one that provides a unified account of what there is, how we speak about it, the underlying logic of our language, how the truth of what we say is determined, and the central role of the real world in all of this. The result is a robust account of reality. The inspiration for many of the ideas that constitute this overall theory comes from such sources as Aristotle, Leibniz, Ryle, and Sommers.
Download or read book Parts and Moments written by Wolfgang Künne and published by . This book was released on 1982 with total page 572 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Ontology written by Jani Hakkarainen and published by Cambridge University Press. This book was released on 2023-09-28 with total page 82 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which the Element illustrates by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. It discusses critically different accounts of ontological form in the literature. Of ontological form, the authors propose a character-neutral relational account. In this metatheory, ontological forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are 'formal ontological relations'. The Element concludes by showing that our metatheory is useful for understanding categorial fundamentality/non-fundamentality, different formal ontologies, and for unifying metaphysical questions. This title is also available as Open Access on Cambridge Core.
Download or read book Formal Ontology in Information Systems written by Nicola Guarino and published by IOS Press. This book was released on 1998 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: Research on ontology is becoming increasingly widespread in the computer science community. While this term has been rather confined to the philosophical sphere in the past, it is now gaining a specific role in areas such as Artificial Intelligence, Computational Linguistics, and Databases. Its importance has been recognized in fields as diverse as knowledge engineering, knowledge representation, qualitative modeling, language engineering, database design, information integration, object-oriented analysis, information retrieval and extraction, knowledge management and organization, agent-based systems design. Current applications areas are disparate, including enterprise integration, natural language translation, medicine, mechanical engineering, electronic commerce, geographic information systems, legal information systems, and biological information systems. Various workshops addressing the engineering aspects of ontology have been held in the recent years. However, ontology by 'its very nature' ought to be a unifying discipline. Insights in this field have potential impact on the whole area of information systems (taking this term in its broadest sense), as testified by the interest recently shown by international standards organizations. In order to provide a solid general foundation for this work, it is therefore important to focus on the common scientific principles and open problems arising from current tools, methodologies, and applications of ontology.
Download or read book Formal Ontology in Information Systems written by Brandon Bennett and published by IOS Press. This book was released on 2006 with total page 394 pages. Available in PDF, EPUB and Kindle. Book excerpt: Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realize 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 realization 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. 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.
Download or read book Scientific Ontology written by Anjan Chakravartty and published by Oxford University Press. This book was released on 2017 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: Though science and philosophy take different approaches to ontology, metaphysical inferences are relevant to interpreting scientific work, and empirical investigations are relevant to philosophy. This book argues that there is no uniquely rational way to determine which domains of ontology are appropriate for belief, making room for choice in a transformative account of scientific ontology.
Download or read book Formal Ontology and Conceptual Realism written by Nino B. Cocchiarella and published by Springer Science & Business Media. This book was released on 2007-09-05 with total page 347 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.
Download or read book Formal Ontology in Information Systems written by Carola Eschenbach and published by IOS Press. This book was released on 2008 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. As ontologies have been applied in new and exciting domains such as the World Wide Web, bioinformatics, and geographical information systems, it has become evident that there is a need for ontologies that have been developed with solid theoretical foundations based on philosophical, linguistic and logical analysis. Similarly, there is also a need for theoretical research that is driven by the issues that have been raised by recent work in the more applied domains. FOIS is intended to be a forum in which to explore this interplay between the theoretical insights of formal ontology and their application to information systems and emerging semantic technologies. Themes emerging from this volume give a snapshot of current issues within the fields of formal ontology and ontological engineering, as well providing a glimpse of future research directions."--BOOK JACKET.
Download or read book Formal Ontology in Information Systems written by Maureen Donnelly and published by IOS Press. This book was released on 2012 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: The complex information systems which have evolved in recent decades rely on robust and coherent representations in order to function. Such representations and associated reasoning techniques constitute the modern discipline of formal ontology, which is now applied to fields such as artificial intelligence, computational linguistics, bioinformatics, GIS, conceptual modeling, knowledge engineering, information retrieval, and the semantic web. Ontologies are increasingly employed in a number of complex real-world application domains. For instance, in biology and medicine, more and more principle-based ontologies are being developed for the description of biological and biomedical phenomena. To be effective, such ontologies must work well together, and as they become more widely used, achieving coordinated development presents a significant challenge. This book presents collected articles from the 7th International Conference on Formal Ontologies (FOIS), held in Graz, Austria, in July 2012.FOIS is a forum which brings together representatives of all major communities involved in the development and application of ontologies to explore both theoretical issues and concrete applications in the field. The book is organized in eight sections, each of which deals with the ontological aspects of: bioinformatics; physical entities; artifacts and human resources; ontology evaluation; language and social relations; time and events; representation and the methodological aspects of ontological engineering. Providing a current overview of developments in formal ontology, this book will be of interest to all those whose work involves the application of ontologies, and to anybody wishing to keep abreast of advances in the field.
Download or read book Ontological Semantics written by Sergei Nirenburg and published by MIT Press. This book was released on 2004 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive theory-based approach to the treatment of text meaning in natural language processing applications.
Download or read book Formal Ontology in Information Systems written by N. Aussenac-Gilles and published by IOS Press. This book was released on 2024-01-16 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
