Formal Ontology in Information Systems :Proceedings of the Seventh International Conference (FOIS 2012) ( Frontiers in Artificial Intelligence and Applications )

Publication subTitle :Proceedings of the Seventh International Conference (FOIS 2012)

Publication series : Frontiers in Artificial Intelligence and Applications

Author: Donnelly M.;Guizzardi G.  

Publisher: Ios Press‎

Publication year: 2012

E-ISBN: 9781614990840

P-ISBN(Paperback): 9781614990833

Subject: TP Automation Technology , Computer Technology

Keyword: 自动化技术、计算机技术

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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 ontol

Chapter

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 Management

Towards 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 Ontologies

Part 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 Ontologies

A 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

The users who browse this book also browse