4. FOIS 2006: Baltimore, Maryland, USA

Brandon Bennett, Christiane Fellbaum (Eds.): Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006, Baltimore, Maryland, USA, November 9-11, 2006. Frontiers in Artificial Intelligence and Applications 150 IOS Press 2006, ISBN 978-1-58603-685-0 BibTeX

Invited Talks

Douglas B. Lenat: Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies. 3 BibTeX
Antony Galton: On What Goes On: The Ontology of Processes and Events. 4-11 BibTeX

Barry Smith: Against Idiosyncrasy in Ontology Development. 15-26 BibTeX
Andrew U. Frank: Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese? 27-38 BibTeX
Waclaw Kusnierczyk: Nontological Engineering. 39-50 BibTeX
Philipp Cimiano, Uwe Reyle: Towards Foundational Semantics - Ontological Semantics Revisited. 51-62 BibTeX

Thomas Bittner, Maureen Donnelly: A theory of granular parthood based on qualitative cardinality and size measures. 65-76 BibTeX
Florian Probst, Martin Espeter: Spatial Dimensionality as a Classification Criterion for Qualities. 77-88 BibTeX
James Matthew Fielding, Dirk Marwede: The Image as Spatial Region: Location and Adjacency within the Radiological Image. 89-100 BibTeX

Stefan Schulz, Elena Beisswanger, Udo Hahn, Joachim Wermter, Anand Kumar, Holger Stenzhorn: From GENIA to BIOTOP - Towards a Top-Level Ontology for Biology. 103-114 BibTeX
Christopher J. Thomas, Amit P. Sheth, William S. York: Modular Ontology Design Using Canonical Building Blocks in the Biochemistry Domain. 115-127 BibTeX
Patricia Diaz-Herrera: What is a Biological Function? 128-140 BibTeX

Haythem O. Ismail: Simultaneous Events and the "Once-Only" Effect. 143-154 BibTeX
Pierre Grenon: Temporal Qualification and Change with First-Order Binary Predicates. 155-166 BibTeX
Pawel Garbacz: The Instrumental Stit A Study of Action and Instrument. 167-178 BibTeX
Nicolas Troquard, Robert Trypuz, Laure Vieu: Towards an ontology of agency and action From STIT to OntoSTIT+. 179-190 BibTeX

Alik Pelman: A Blueprint for a Calculator of Intensions. 193-203 BibTeX
John F. Sowa: A Dynamic Theory of Ontology. 204-213 BibTeX
Stefano Borgo, Massimiliano Carrara, Pieter E. Vermaas, Pawel Garbacz: Behavior of a Technical Artifact: An Ontological Perspective in Engineering. 214-225 BibTeX
Christopher A. Welty, Richard Fikes: A Reusable Ontology for Fluents in OWL. 226-236 BibTeX
Paulo Cesar G. da Costa, Kathryn B. Laskey: PR-OWL: A Framework for Probabilistic Ontologies. 237-249 BibTeX
Stefano Borgo, Claudio Masolo: Qualities in Possible Worlds. 250-261 BibTeX

Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann: An Algebra for Composing Ontologies. 265-276 BibTeX
Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler: Formalizing Ontology Alignment and its Operations with Category Theory. 277-288 BibTeX
Jan Scheffczyk, Adam Pease, Michael Ellsworth: Linking FrameNet to the Suggested Upper Merged Ontology. 289-300 BibTeX
David R. Koepsell: Linking the Gene Ontology with Social Ontology: A Prolegomena to the Ontology of Personhood. 301-308 BibTeX
Eric Little, Lowell Vizenor: Principles for the Development of Upper Ontologies in Higher-level Information Fusion Applications. 309-320 BibTeX
Werner Ceusters: Towards A Realism-Based Metric for Quality Assurance in Ontology Matching. 321-332 BibTeX

Klaus Lüttich: Approximation of Ontologies in CASL. 335-346 BibTeX
Christopher A. Welty: OntOWLClean: Cleaning OWL ontologies with OWL. 347-359 BibTeX
Leila Kosseim, Reda Siblini, Christopher J. O. Baker, Sabine Bergler: Using Selectional Restrictions to Query an OWL Ontology. 360-371 BibTeX