| Ontologies for transportation research: A survey M Katsumi, M Fox Transportation Research Part C: Emerging Technologies 89, 53-82, 2018 | 88 | 2018 |
| What is ontology reuse? M Katsumi, M Grüninger Formal Ontology in Information Systems, 9-22, 2016 | 37 | 2016 |
| Theorem proving in the ontology lifecycle M Katsumi, M Grüninger International Conference on Knowledge Engineering and Ontology Development 2 …, 2010 | 26 | 2010 |
| Choosing ontologies for reuse M Katsumi, M Grüninger Applied Ontology 12 (3-4), 195-221, 2017 | 23 | 2017 |
| Upper Ontologies in COLORE. M Gruninger, C Chui, M Katsumi JOWO, 2017 | 19 | 2017 |
| An Ontology-Based Standard for Transportation Planning. M Katsumi, MS Fox JOWO, 2019 | 16 | 2019 |
| Specifying Ontology Design Patterns with an Ontology Repository. M Grüninger, M Katsumi WOP 929, 2012 | 12 | 2012 |
| iCity transportation planning suite of ontologies M Katsumi, M Fox University of Toronto, 2020 | 11 | 2020 |
| A sideways look at upper ontologies M Grüninger, T Hahmann, M Katsumi, C Chui Formal Ontology in Information Systems, 9-22, 2014 | 11 | 2014 |
| Defining Activity Specifications in OWL. M Katsumi, MS Fox WOP@ ISWC, 2017 | 10 | 2017 |
| Automated reasoning support for ontology development M Katsumi, M Grüninger International Joint Conference on Knowledge Discovery, Knowledge Engineering …, 2010 | 8 | 2010 |
| The metatheory of ontology reuse M Katsumi, M Grüninger Applied Ontology 13 (3), 225-254, 2018 | 7 | 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 | 4 | 2011 |
| Toward Requirements for an Ontology of Asset Management. M Katsumi, T Huang, MS Fox FOMI, 2022 | 3 | 2022 |
| An Analysis of the IOF Architecture-a Systems Integration Perspective. B Kulvatunyou, M Lee, M Katsumi I-ESA Workshops, 2020 | 3 | 2020 |
| Revision of iso 24707 (common logic) M Gruninger, M Katsumi, T Mossakowski | 3 | 2013 |
Michael GruningerUniversity of TorontoZweryfikowany adres z mie.utoronto.ca
