Limit search to available items
Book Cover
Book
Author FOIS (Conference) (3rd : 2004 : Turin, Italy)

Title Formal ontology in information systems : proceedings of the Third International Conference (FOIS-2004) / edited by Achille C. Varzi and Laure Vieu
Published Amsterdam ; Washington, DC : IOS Press, [2004]
©2004

Copies

Location Call no. Vol. Availability
 W'PONDS  006.3 Foi/Foi 2004  AVAILABLE
Description xi, 363 pages : illustrations ; 25 cm
Series Frontiers in artificial intelligence and applications, 0922-6389 ; v. 114
Frontiers in artificial intelligence and applications ; v. 114
Contents Machine derived contents note: Preface v -- Conference Committees vii -- -- -- Invited Talks -- -- Methods of Categorization 3 -- Amie L. Thomasson -- -- How to Make the Semantic Web More Semantic 17 -- Peter Girdenfors -- -- -- 1. Categories -- -- Individuals, Universals, Collections: On the Foundational Relations of Ontology 37 -- Thomas Bittner, Maureen Donnelly and Barry Smith -- -- A Formal Theory of Substances, Qualities, and Universals 49 -- Fabian Neuhaus, Pierre Grenon and Barry Smith -- -- How to Be a Bicategorialist 60 -- Jonathan Simon -- -- -- 2. Perspectives -- -- Beyond Concepts: Ontology as Reality Representation 73 -- Barry Smith -- -- Top-Level Ontology: The Problem with Naturalism 85 -- Simon K Milton -- -- Ontology, Society, and Ontotheology 95 -- Joseph A. Goguen -- -- -- 3. Methodology -- -- Relative Definability in Formal Ontologies 107 -- Brandon Bennett -- -- Modal Rigidity in the OntoClean Methodology 119 -- William Andersen and Christopher Menzel -- -- -- -- -- Identity and Modality in OntoClean 128 -- Massimiliano Carrara, Pierdaniele Giaretta, Vittorio Morato, Marzia Soavi and -- Giuseppe Spolaore -- -- Specification of Ontologies in CASL 140 -- Klaus Liittich and Till Mossakowski -- -- -- 4. Semantics and Cognition -- -- Formalizing Conceptual Spaces 153 -- Martin Raubal -- -- Dynamic Typing for Lexical Semantics - A Case Study: The Genitive Construction 165 -- Nicholas Asher and Pascal Denis -- -- Feature-Based vs. Property-Based KR: An Empirical Perspective 177 -- Massimo Poesio and Abdulrahman Almuhareb -- -- The Ontology-Epistemology Divide: A Case Study in Medical Terminology 185 -- Olivier Bodenreider, Barry Smith and Anita Burgun -- -- -- 5. Social Reality -- -- An Agent-Oriented Ontology of Social Reality 199 -- Guido Boella and Leendert van der Torre -- -- Core Concepts of Law: Taking Common Sense Seriously 210 -- Joost Breuker and Rinke Hoekstra -- -- The Place of Language within a Foundational Ontology 222 -- John Bateman -- -- -- 6. Space, Time and Causation -- -- Towards a Generic Foundation for Spatial Ontology 237 -- John Bateman and Scott Farrar -- -- Relative Places 249 -- Maureen Donnelly -- -- A Four-Dimensionalist Mereotopology 261 -- John G. Stell and Matthew West -- -- Causality and Causation in DOLCE 273 -- Jos Lehmann, Stefano Borgo, Claudio Masolo and Aldo Gangemi -- -- -- -- XI -- -- 7. Mind and Action -- -- Towards a Computational Ontology of Mind 287 -- Roberta Ferrario and Alessandro Oltramari -- -- Supervenience in Content-Based Image Retrieval 298 -- Walter ten Brinke, David McG. Squire and John Bigelow -- -- An Ontological Formalization of the Planning Task 305 -- Dnyanesh Rajpathak and Enrico Motta -- -- -- 8. Ontological Analysis -- -- Ontological Foundations of Biological Continuants 319 -- Stefan Schulz and Udo Hahn -- -- Searching for a Time Ontology for Semantic Web Applications 331 -- Mariano Femdndez-Ldpez and Asuncidn Gomez-Perez -- -- Philosophical Scrutiny for Run-Time Support of Application Ontology Development 342 -- Mariana Casella dos Santos, James Matthew Fielding, Christoffel Dhaen and -- Werner Ceusters -- -- Analyzing OWL Using a Philosophy-Based Ontology 353 -- Palash Bera and Yair Wand -- -- -- Author Index 363
Bibliography Includes bibliographical references and author index
Subject Knowledge representation (Information theory) -- Congresses.
Conceptual structures (Information theory) -- Congresses.
Expert systems (Computer science) -- Congresses.
Ontology -- Congresses.
Database design -- Congresses.
Genre/Form Conference papers and proceedings.
Author Varzi, Achille C.
Vieu, Laure.
LC no. 2004113876
ISBN 1586034685 hd. bd