Folgen
Bahar Aameri
Bahar Aameri
Bestätigte E-Mail-Adresse bei cs.toronto.edu
Titel
Zitiert von
Zitiert von
Jahr
Using Partial Automorphisms to Design Process Ontologies
B Aameri
Formal Ontology in Information Systems: Proceedings of the Seventh …, 2012
172012
Location ontologies based on mereotopological pluralism
B Aameri, M Grüninger
Applied Ontology 15 (2), 135-184, 2020
112020
A new perspective on the mereotopology of RCC8
M Grüninger, B Aameri
13th International Conference on Spatial Information Theory (COSIT 2017), 2017
112017
Towards an ontology for generative design of mechanical assemblies
B Aameri, H Cheong, JC Beck
Applied Ontology 14 (2), 127-153, 2019
92019
Foundational Ontologies for Units of Measure.
M Grüninger, B Aameri, C Chui, T Hahmann, Y Ru
FOIS, 211-224, 2018
82018
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
62020
A new look at ontology correctness
B Aameri, M Gruninger
2015 AAAI Spring Symposium Series, 2015
62015
Encountering the Physical World.
B Aameri, M Gruninger
JOWO, 2017
52017
Anti-Modules.
B Aameri, M Grüninger, C Chui
JOWO@ FOIS, 2016
52016
A first-order calculus for allegories
B Aameri, M Winter
International Conference on Relational and Algebraic Methods in Computer …, 2011
52011
Reasoning about change with domain-specific process ontologies
B Aameri
University of Toronto (Canada), 2016
42016
A first-order axiomatization of change in mereotopology
B Aameri, M Gruninger
Proceedings of the 27th International Workshop on Qualitative Reasoning, 115-121, 2013
42013
Reducible theories and amalgamations of models
B Aameri, M Grüninger
ACM Transactions on Computational Logic 24 (1), 1-24, 2023
32023
Preservation of Modules
M GRUNINGER, B AAMERI
Proceedings of the 8th International Workshop on Modular Ontologies, 2014
22014
Reuse with Domain and Process Ontologies
B AAMERI, M GRUNINGER
Proceedings of the 8th International Workshop on Modular Ontologies, 2014
22014
Extending relAPS to first order logic
B Aameri
Brock University, 2010
12010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20