Using Partial Automorphisms to Design Process Ontologies B Aameri Formal Ontology in Information Systems: Proceedings of the Seventh …, 2012 | 17 | 2012 |
Location ontologies based on mereotopological pluralism B Aameri, M Grüninger Applied Ontology 15 (2), 135-184, 2020 | 11 | 2020 |
A new perspective on the mereotopology of RCC8 M Grüninger, B Aameri 13th International Conference on Spatial Information Theory (COSIT 2017), 2017 | 11 | 2017 |
Towards an ontology for generative design of mechanical assemblies B Aameri, H Cheong, JC Beck Applied Ontology 14 (2), 127-153, 2019 | 9 | 2019 |
Foundational Ontologies for Units of Measure. M Grüninger, B Aameri, C Chui, T Hahmann, Y Ru FOIS, 211-224, 2018 | 8 | 2018 |
The FOUnt ontologies for quantities, units, and the physical world B Aameri, C Chui, M Grüninger, T Hahmann, Y Ru Applied Ontology 15 (3), 313-359, 2020 | 6 | 2020 |
A new look at ontology correctness B Aameri, M Gruninger 2015 AAAI Spring Symposium Series, 2015 | 6 | 2015 |
Encountering the Physical World. B Aameri, M Gruninger JOWO, 2017 | 5 | 2017 |
Anti-Modules. B Aameri, M Grüninger, C Chui JOWO@ FOIS, 2016 | 5 | 2016 |
A first-order calculus for allegories B Aameri, M Winter International Conference on Relational and Algebraic Methods in Computer …, 2011 | 5 | 2011 |
Reasoning about change with domain-specific process ontologies B Aameri University of Toronto (Canada), 2016 | 4 | 2016 |
A first-order axiomatization of change in mereotopology B Aameri, M Gruninger Proceedings of the 27th International Workshop on Qualitative Reasoning, 115-121, 2013 | 4 | 2013 |
Reducible theories and amalgamations of models B Aameri, M Grüninger ACM Transactions on Computational Logic 24 (1), 1-24, 2023 | 3 | 2023 |
Preservation of Modules M GRUNINGER, B AAMERI Proceedings of the 8th International Workshop on Modular Ontologies, 2014 | 2 | 2014 |
Reuse with Domain and Process Ontologies B AAMERI, M GRUNINGER Proceedings of the 8th International Workshop on Modular Ontologies, 2014 | 2 | 2014 |
Extending relAPS to first order logic B Aameri Brock University, 2010 | 1 | 2010 |
A Representation Theorem for Change through Composition of Activities B Aameri, M Grüninger ACM Transactions on Computational Logic (TOCL) 20 (4), 1-31, 2019 | | 2019 |
CSC165: Mathematical Expression and Reasoning for Computer Science Winter 2015 B Aameri, JL Yan | | 2015 |
Special Issue on Semantic Web for Industrial Engineering: Research and Applications B Aameri, M Poveda-Villalón, EM Sanfilippo, W Terkaj | | |
Foundational Ontologies for Units of Measure MGR UNINGER, B AAMERI, C CHUI, T HAHMANN, Y RU | | |