HR: 17:30h
AN: IN24A-04    [Abstracts]
TI: The Heirs of Hilbert's Sixth Problem
AU: * Gruninger, M
EM: gruninger@mie.utoronto.ca
AF: University of Toronto, Department of Mechanical and Industrial Engineering 5 King's College Road, Toronto, ON M5S 3G8, Canada
AB: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems. In this paper, we discuss how research in ontologies provides the axiomatic theories that are solutions to the Sixth Problem (the mathematical treatment of the axioms of physics and other sciences). We also show how the criteria for characterizing solutions to the Sixth Problem apply to the design and evaluation of ontologies for scientific theories. Finally, we consider the suite of ontologies that will be necessary to support geosciences.
DE: 9810 New fields (not classifiable under other headings)
SC: Earth and Space Science Informatics [IN]
MN: 2009 Joint Assembly