Cover image for Formal Ontology in Information Systems : Proceedings of the Fourth International Conference (FOIS 2006).
Formal Ontology in Information Systems : Proceedings of the Fourth International Conference (FOIS 2006).
Title:
Formal Ontology in Information Systems : Proceedings of the Fourth International Conference (FOIS 2006).
Author:
Bennett, B.
ISBN:
9781607502111
Personal Author:
Physical Description:
1 online resource (388 pages)
Series:
Frontiers in Artificial Intelligence and Applications ; v.150

Frontiers in Artificial Intelligence and Applications
Contents:
Title page -- Preface -- Conference Organisation -- Contents -- Invited Talks -- Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies -- On What Goes On: The Ontology of Processes and Events -- Foundations and Methodology -- Against Idiosyncrasy in Ontology Development -- Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese? -- Nontological Engineering -- Towards Foundational Semantics: Ontological Semantics Revisited -- Space and Mereology -- A Theory of Granular Parthood Based on Qualitative Cardinality and Size Measures -- Spatial Dimensionality as a Classification Criterion for Qualities -- The Image as Spatial Region: Location and Adjacency Within the Radiological Image -- Ontology in Biology and Biochemistry -- From GENIA to BIOTOP: Towards a Top-Level Ontology for Biology -- Modular Ontology Design Using Canonical Building Blocks in the Biochemistry Domain -- What Is a Biological Function? -- Actions and Events -- Simultaneous Events and the "Once-Only" Effect -- Temporal Qualification and Change with First-Order Binary Predicates -- The Instrumental Stit: A Study of Action and Instrument -- Towards an Ontology of Agency and Action: From STIT to OntoSTIT+ -- General Ontological Issues -- A Blueprint for a Calculator of Intensions -- A Dynamic Theory of Ontology -- Behavior of a Technical Artifact: An Ontological Perspective in Engineering -- A Reusable Ontology for Fluents in OWL -- PR-OWL: A Framework for Probabilistic Ontologies -- Qualities in Possible Worlds -- Linking and Merging Ontologies -- An Algebra for Composing Ontologies -- Formalizing Ontology Alignment and its Operations with Category Theory -- Linking FrameNet to the Suggested Upper Merged Ontology -- Linking the Gene Ontology with Social Ontology: A Prolegomena to the Ontology of Personhood.

Principles for the Development of Upper Ontologies in Higher-Level Information Fusion Applications -- Towards a Realism-Based Metric for Quality Assurance in Ontology Matching -- Maintaining and Exploiting Ontologies -- Approximation of Ontologies in CASL -- OntOWLClean: Cleaning OWL Ontologies with OWL -- Using Selectional Restrictions to Query an OWL Ontology -- Author Index.
Abstract:
Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise 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 realisation 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. Reciprocally, research in the information sciences raises specific 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.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Added Author:
Electronic Access:
Click to View
Holds: Copies: