Formal ontology in information systems / edited by Maureen Donnelly and Giancarlo Guizzardi.

Format:

Book

Conference/Event

Author/Creator:

FOIS (Conference), Corporate Author.

Contributor:

Donnelly, Maureen.

Guizzardi, Giancarlo.

Conference Name:

FOIS (Conference) (7th : 2012 : Graz, Austria)

FOIS (Conference)

Series:

Frontiers in artificial intelligence and applications

Language:

English

Subjects (All):

Artificial intelligence--Philosophy.

Artificial intelligence.

Ontology.

Physical Description:

1 online resource (368 p.)

Edition:

1st ed.

Place of Publication:

Amsterdam : IOS Press, c2012.

Language Note:

English

Summary:

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.

Contents:

Title Page; Preface; Contents; Part 1. Ontologies and Bioinformatics; Probability Assignments to Dispositions in Ontologies; Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience; Suggestions for Galaxy Workflow Design Using Semantically Annotated Services; Part 2. Ontologies of Physical Entities; The Void in Hydro Ontology; The Mysterious Appearance of Objects; Towards Making Explicit the Ontological Commitment of a Database Schema on the Geological Domain; Part 3. Ontological Aspects of Artifacts and Human Resources

An Ontology for Skill and Competency ManagementTowards a Unified Definition of Function; Preliminaries to a Formal Ontology of Failure of Engineering Artifacts; Part 4. Methodological Aspects in Ontology Engineering; A Method for Re-Engineering a Thesaurus into an Ontology; Ontology Content ""At a Glance""; Interactive Semantic Feedback for Intuitive Ontology Authoring; Part 5. Ontology Evaluation; Does Your Ontology Make a (Sense) Difference?; A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard

Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types - Towards a Method for Evaluating OntologiesPart 6. Ontology, Language and Social Relations; Axiomatizing Change-of-State Words; Elements for a Linguistic Ontology in the Verbal Domain; Toward a Commonsense Theory of Microsociology: Interpersonal Relationships; Part 7. Ontological Aspects of Time and Events; The Date-Time Vocabulary; States, Processes and Events, and the Ontology of Causal Relations; Ontology of Time in GFO; Part 8. Aspects of Ontology Representation

Using Partial Automorphisms to Design Process OntologiesA Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations; Three Semantics for the Core of the Distributed Ontology Language; Subject Index; Author Index

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

ISBN:

1-299-33319-2

1-61499-084-0

OCLC:

812179143