Download or read book Axiomatic Formal Ontology written by Uwe Meixner and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.
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 Universality in Set Theories written by Manuel Bremer and published by . This book was released on 2010 with total page 125 pages. Available in PDF, EPUB and Kindle. Book excerpt: Main description: 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 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 Formal Ontology in Information Systems written by B. Brodaric and published by IOS Press. This book was released on 2020-11-13 with total page 282 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, 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 17 papers accepted for the 11th Formal Ontology in Information Systems conference (FOIS 2020). These papers cover a broad range of topics and are organized into 5 groups. Foundations is dedicated to the general ontological decisions providing a foundation for any ontology, both from a philosophical perspective and with an emphasis on applications. Social Entities is dedicated to the ontological analysis and formalization of various social entities, including secrets, legal theories, decisions, kinship, and cultural heritage. The papers in Intentionality and Embodiment analyze aspects of an agent's intentions, beliefs and desires, as well as the embodiment of functional relations. The section on Parts and Wholes is dedicated to mereology as well as the mereological analysis of certain types of entities (e.g., pluralities, information entities, and computer programs). Lastly, the papers in Methods are about ontology evaluation and use. Altogether, the papers reflect traditional FOIS themes with perhaps a greater emphasis on social and agent aspects, and will be of interest to all those whose work involves ontology and its applications.
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 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 M. Donnelly and published by IOS Press. This book was released on 2012-07-13 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 Abstract Objects written by E. Zalta and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, I attempt to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. The ideas upon which the theory is based are not essentially new. They can be traced back to Alexius Meinong and his student, Ernst Mally, the two most influential members of a school of philosophers and psychologists working in Graz in the early part of the twentieth century. They investigated psychological, abstract and non-existent objects - a realm of objects which weren't being taken seriously by Anglo-American philoso phers in the Russell tradition. I first took the views of Meinong and Mally seriously in a course on metaphysics taught by Terence Parsons at the University of Massachusetts/Amherst in the Fall of 1978. Parsons had developed an axiomatic version of Meinong's naive theory of objects.
Download or read book Ontology Representation written by Rinke Hoekstra and published by IOS Press. This book was released on 2009 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: Based on author's thesis from the Dutch Research School for Information and Knowledge Systems.
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 R. Ferrario and published by IOS Press. This book was released on 2016-07-06 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. The advent of complex information systems which rely on robust and coherent formal representations of their subject matter has led to a renewed focus on ontological enquiry, and the systematic study of such representations are at the center of the modern discipline of formal ontology. This is now a research focus in domains as diverse as conceptual modeling, database design, software engineering, artificial intelligence, computational linguistics, the life sciences, bioinformatics, geographic information science, knowledge engineering, information retrieval and the semantic web. This book presents the proceedings of the 9th edition of the Formal Ontology in Information Systems conference (FOIS 2016) held in Annecy, France, in July 2016. It contains the 25 full papers delivered at the conference (an acceptance rate of 30.9% for the main track), as well as the abstracts of the 3 keynotes by Gilberto Câmara, Stephen Mumford and Friederike Moltmann. The remainder of the book is divided into the sections: Foundations; Space, Time and Change; Cognition, Language and Semantics; Empiricism and Measurement; Ontology for Engineering; Biomedical Ontologies; and Ontology of Social Reality. The domains addressed by the papers include geography, biomedicine, economics, social reality and engineering, and the book will be of interest to all those working in these fields, as well as to anybody with an interest in formal ontology.
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.
Download or read book Formal Ontology in Information Systems written by P. Garbacz and published by IOS Press. This book was released on 2014-09-05 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal Ontology in Information Systems (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. 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.
Download or read book Fundamentals of Ontological Commitment written by Paolo Valore and published by Walter de Gruyter GmbH & Co KG. This book was released on 2016-01-15 with total page 257 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scientific literature on particular themes in ontology is extremely abundant, but it is often very hard for freshmen or sophomores to find a red thread between the various proposals. This text is an opinionated introduction, a preliminary text to research in ontology from the so called standard approach to ontological commitment, that is from the particular point of view that connects ontological questions to quantificational questions. It offers a survey of this viewpoint in ontology together with their possible applications through a broad array of examples and open problems and, at the same time, essential references to the classics of philosophy, so as to allow non-specialists to understand the terms and analysis procedures characterizing the discipline. Its result is a wide-ranging overview of the issued tackled by ontology, with a particular focus on the most relevant problems of contemporary debate (categorial taxonomies, nonexistent objects, case studies of ontological debates in specific fields of knowledge).
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 Formal Ontology in Information Systems written by F. Neuhaus and published by IOS Press. This book was released on 2022-01-19 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization promoting interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the 11 papers accepted for the 12th edition of FOIS. The conference was held from 13-17 September 2021 in Bozen-Bolzano, Italy, as a hybrid event with some participants attending on-site in Bolzano and others attending virtually online. The papers are divided into 3 sections and cover a wide range of topics: (1) Foundations, addressing fundamental issues; (2) Applications and Methods, presenting novel uses, systems, tools, and approaches; and (3) Domain Ontology, describing well-formed ontologies in particular subject areas.
