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