IFOMIS : Presentations of Current Work
Monday January 10, 2005
Saarland University, Building 6
Program
13.00 Werner Ceusters: Making
patient records and biomedical databases interoperable: the role of philosophers
13.30 Daniel Novotny: Granularity in biomedicine
14.00 Pierre Grenon: The digitalization of Basic Formal Ontology
14.30 Coffee
14.45 Fabian Neuhaus: A compositional semantics for strong actualists
15.15 Ingvar Johansson: From functions to quantities and changes
15.45 Coffee
16.15 Katherine Munn: Defining function for bioinformatics
16.45 Maureen Donnelly: A formal theory for spatial representation and reasoning
in biomedical ontologies
17.15 Thomas Bittner: How formal ontology can guide the search for an
appropriate DL-based computational ontology
17.45 Barry Smith: An ontology of relations for bioinformatics