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 |