| Ontologies for transportation research: A survey M Katsumi, M Fox Transportation Research Part C: Emerging Technologies 89, 53-82, 2018 | 74 | 2018 |
| What is ontology reuse? M Katsumi, M Grüninger FOIS, 9-22, 2016 | 32 | 2016 |
| Theorem proving in the ontology lifecycle M Katsumi, M Grüninger International Conference on Knowledge Engineering and Ontology Development 2 …, 2010 | 24 | 2010 |
| Choosing ontologies for reuse M Katsumi, M Grüninger Applied Ontology 12 (3-4), 195-221, 2017 | 21 | 2017 |
| Upper Ontologies in COLORE. M Gruninger, C Chui, M Katsumi JOWO, 2017 | 14 | 2017 |
| Specifying Ontology Design Patterns with an Ontology Repository. M Grüninger, M Katsumi WOP 929, 2012 | 12 | 2012 |
| An Ontology-Based Standard for Transportation Planning. M Katsumi, MS Fox JOWO, 2019 | 10 | 2019 |
| A Sideways Look at Upper Ontologies. M Grüninger, T Hahmann, M Katsumi, C Chui FOIS, 9-22, 2014 | 9 | 2014 |
| Defining Activity Specifications in OWL. M Katsumi, MS Fox WOP@ ISWC, 2017 | 8 | 2017 |
| Automated reasoning support for ontology development M Katsumi, M Grüninger Knowledge Discovery, Knowledge Engineering and Knowledge Management: Second …, 2013 | 8 | 2013 |
| iCity Transportation Planning Suite of Ontologies M Katsumi, M Fox University of Toronto, 2020 | 7 | 2020 |
| The metatheory of ontology reuse M Katsumi, M Grüninger Applied Ontology 13 (3), 225-254, 2018 | 6 | 2018 |
| icity ontology version 1.0 report M Katsumi, M Fox University of Toronto Transportation Research Institute, 2017 | 6 | 2017 |
| A logical design pattern for representing change over time in owl M Katsumi, M Fox Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017), 2017 | 6 | 2017 |
| Using PSL to extend and evaluate event ontologies M Katsumi, M Grüninger International Symposium on Rules and Rule Markup Languages for the Semantic …, 2015 | 6 | 2015 |
| Exploiting modularity for ontology verification M Grüninger, T Hahmann, M Katsumi Modular Ontologies, 55-62, 2011 | 5 | 2011 |
| A methodology for the development and verification of expressive ontologies M Katsumi University of Toronto, 2011 | 4 | 2011 |
| Revision of iso 24707 (common logic) M Gruninger, M Katsumi, T Mossakowski | 3 | 2013 |
| An Analysis of the IOF Architecture-a Systems Integration Perspective. B Kulvatunyou, M Lee, M Katsumi I-ESA Workshops, 2020 | 2 | 2020 |
| PSL as a Foundational Ontology for the Industrial Ontologies Foundry MGR UNINGER, M Katsumi | 2 | 2019 |
Michael GruningerUniversity of TorontoVerified email at mie.utoronto.ca
