FOIS-06 Schedule (Provisional)

Thursday 9th November

8:30-9:20: Registration

9:20-9:30: Opening

9:30-10:30: Invited Talk

* Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies
Doug Lenat

10:30-11:00: Coffee Break

11:00-1:00: Foundations and Methodology

* Against Idiosyncrasy in Ontology Development
Barry Smith
* Distinctions Produce a Taxonomic Lattice: are these the Units of Mentalese?
Andrew U. Frank
* Nontological Engineering
Waclaw Kusnierczyk
* Towards Foundational Semantics: Ontological Semantics Revisited
Philipp Cimiano and Uwe Reyle

1:00-2:30: Lunch

2:30-4:00: Space and Mereology

* A Theory of Granular Parthood Based on Qualitative Cardinality and Size Measures
Thomas Bittner and Maureen Donnelly
* Spatial Dimensionality as a Classification Criterion for Qualities
Florian Probst and Martin Espeter
* The Radiological Image as Spatial Region: Location and Adjacency of Image Entities
James M. Fielding and Dirk Marwede

4:00-4:30: Coffee Break

4:30-6:00: Ontology in Biology and Biochemistry

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

Friday 10th November

9:00-10:00: Invited Talk

* On What Goes On: the Ontology of Processes and Events
Antony Galton

10:00-10:30: Coffee Break

10:30-12:30: Actions and Events

* Simultaneous Events and the "Once-Only" Effect
Haythem Ismail
* Temporal Qualification and Change with First-Order Binary Predicates
Pierre Grenon
* The Instrumental STIT: A Study of Action and Instrument
Pawel Garbacz
* Towards an Ontology of Agency and Action: from STIT to OntoSTIT+
Nicolas Troquard, Robert Trypuz and Laure Vieu

12:30-2:30: Lunch

2:30-4:00: General Ontological Issues 1

* A Blueprint for a Calculator of Intensions
Alik Pelman
* A Dynamic Theory of Ontology
John Sowa
* A Reusable Ontology for Fluents in OWL
Chris Welty and Richard Fikes

4:00-4:30: Coffee Break

4:30-6:00: Maintaining and Exploiting Ontologies

* Approximation of Ontologies in CASL
Klaus Lüttich
* OntOWLClean: Cleaning OWL ontologies with OWL
Chris Welty
* Using Selectional Restrictions to Query an OWL Ontology
Leila Kosseim, Reda Siblini, Christopher Baker and Sabine Bergler

Saturday 11th November

9:00-10:30: Linking and Merging Ontologies 1

* Linking the Gene Ontology with Social Ontology: a Prolegomena to the Ontology of Personhood
David Koepsell
* Principles for the Development of Upper Ontologies in Higher-level Information Fusion Applications
Eric Little and Lowell Vizenor
* Towards A Realism-Based Metric for Quality Assurance in Ontology Matching
Werner Ceusters

10:30-11:00: Coffee Break

11:00-12:30: General Ontological Issues 2

* Behavior of a Technical Artifact: An Ontological Perspective in Engineering
Stefano Borgo, Massimiliano Carrara, Pieter Vermaas and Pawel Garbacz
* PR-OWL: A Framework for Probabilistic Ontologies
Paulo Costa and Kathryn Laskey
* Qualities in Possible Worlds
Stefano Borgo and Claudio Masolo

12:30-2:00: Lunch

2:00-3:30: Linking and Merging Ontologies 2

* An Algebra for Composing Ontologies
Saket Kaushik, Csilla Farkas, Duminda Wijesekera and Paul Ammann
* Formalizing Ontology Alignment and its Operations with Category Theory
Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat and Pascal Hitzler
* Linking FrameNet to the Suggested Upper Merged Ontology
Jan Scheffczyk, Adam Pease and Michael Ellsworth