Michael Gruninger

Michael Gruninger is a Canadian computer scientist and Professor of Industrial Engineering at the University of Toronto, known for his work on Ontologies in information science.[1][2] particularly with the Process Specification Language, and in Enterprise modelling on the TOVE Project with Mark S. Fox.

Michael Gruninger
Michael Gruninger at Summer Institute for Upper Ontologies at University of Toronto, August 2017
Born
Magrath, Alberta, Canada
NationalityCanadian
Alma materUniversity of Alberta, University of Toronto
Known forProcess Specification Language
Common Logic
TOVE
competency questions
upper ontologies
Scientific career
FieldsApplied Ontology, Knowledge Representation
InstitutionsUniversity of Toronto, National Institute for Standards and Technology
Doctoral advisorRaymond Reiter

Biography

Gruninger studied computer Science and received his BA in 1987 at the University of Alberta, and his MA in 1989[3] at the University, where in 2000 he also received his PhD with a thesis entitled "Logical foundations of shape-based object recognition."

In 1993 Gruninger started as researcher at the Enterprise Integration Laboratory of the University of Toronto, Department of Mechanical and Industrial Engineering. From 2000 to 2005 he was researcher at the Institute for Systems Research at the University of Maryland, College Park and a guest researcher at the Manufacturing Systems Integration Division of the National Institute for Standards and Technology (NIST). Since 2005 he has been a Professor of Industrial Engineering at the University of Toronto, where he leads the Semantic Technologies Laboratory.

Gruninger's research interests are in the field of "the design and formal characterization of theories in mathematical logic and their application to problems in manufacturing and enterprise engineering."[4]

Gruninger is President of the International Association of Ontology and its Applications (IAOA) and Editor-in-Chief of the Applied Ontology Journal.

Publications

Gruninger authored and co-authored numerous publications in his fields of expertise.[5][6] A selection:

  • Grüninger, Michael, and Mark S. Fox. "Methodology for the Design and Evaluation of Ontologies." (1995).
  • Uschold, Mike, and Michael Gruninger. "Ontologies: Principles, methods and applications." Knowledge engineering review 11.2 (1996): 93-136.
  • Fox, Mark S., and Michael Gruninger. "Enterprise modeling." AI magazine 19.3 (1998): 109.
  • Gruninger, Michael, and Jintae Lee. "ONTOLOGY." Communications of the ACM 45.2 (2002): 39.
  • Uschold, Michael, and Michael Gruninger. "Ontologies and semantics for seamless connectivity." ACM SIGMod Record 33.4 (2004): 58-64.
gollark: Use 6D space.
gollark: ~~make quobot just have a JS interpreter with access to a database of some sort~~
gollark: ... just make your proposal do two things?
gollark: There are already per-rule UIDs.
gollark: Also, I think using the numbering system is kind of a bad idea.

References
  1. Wooldridge, Michael. An introduction to multiagent systems. Wiley. com, 2008.
  2. Guarino, Nicola, ed. Formal Onthology in Information Systems: Proceedings of the First International Conference (FIOS'98), June 6–8, Trento, Italy. Vol. 46. IOS press, 1998.
  3. AAAI 96 Thirteenth National Conference on Artificial Intelligence brochure 1996. Accessed 10 October 2013
  4. Michael Gruninger at Semantic Technologies Lab. Accessed October 10, 2013.
  5. Michael Grüninger at DBLP Bibliography Server
  6. Michael Gruninger publications indexed by Google Scholar
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.