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

Publication subTitle :Proceedings of the Sixth International Conference (FOIS 2010)

Publication series : Frontiers in Artificial Intelligence and Applications

Author: Galton A.;Mizoguchi R.  

Publisher: Ios Press‎

Publication year: 2010

E-ISBN: 9781607505358

P-ISBN(Paperback): 9781607505341

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

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 submission

Chapter

Towards Ontological Correctness of Part-Whole Relations with Dependent Types

Goals in a Formal Theory of Commonsense Psychology

Revisiting the Ontological Square

Quality and Quantity

Founding Properties on Measurement

On the Representation of Quantities and Their Parts in Conceptual Modeling

Affordances as Qualities

Constructing Bodies and Their Qualities from Observations

Applications I

On Building an Index Advisor for Semantic Web Queries

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base

The Use of Ontology in Dental Restorative Treatment Decision Support System

Ontology Building

A Core Ontology of Instruments Used for Neurological, Behavioral and Cognitive Assessments

A Process-Centric Ontological Approach for Integrating Geo-Sensor Data

A Well-Founded Software Measurement Ontology

SCOPE: A Situation Calculus Ontology of Petri Nets

Biomedical and Chemical Ontologies I

Foundational Process Relations in Bio-Ontologies

What are Chemical Structures and Their Relations?

Ontological Dependence, Dispositions and Institutional Reality in Chemistry

Products and Functions

Towards an Ontology of Products

Characterizing Functions Based on Ontological Models from an Engineering Point of View

Verification and Evaluation

Ontology Verification with Repositories

Evaluating Ontologies with NLP-Based Terminologies. A Case Study on ACGT and Its Master Ontology

Applications II

Towards a Formal Ontology for History of Church Administration

Using the cDnS Ontology as Upper-Level for a Scholarly Debate Ontology

Ontologies for Distributed Command and Control Messaging

Biomedical and Chemical Ontologies II

Realism for Scientific Ontologies

Dispositions and the Infectious Disease Ontology

Segmenting and Merging Domain-Specific Ontology Modules for Clinical Informatics

Subject Index

Author Index

The users who browse this book also browse


No browse record.