Bahar Aameri

According to our database, Bahar Aameri authored at least 15 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reducible Theories and Amalgamations of Models.

Bahar Aameri, Michael Grüninger

ACM Trans. Comput. Log., January, 2023

2020

Location ontologies based on mereotopological pluralism.

Bahar Aameri, Michael Grüninger

Appl. Ontology, 2020

The FOUnt ontologies for quantities, units, and the physical world.

Bahar Aameri, Carmen Chui, Michael Grüninger, Torsten Hahmann, Yi Ru

Appl. Ontology, 2020

2019

A Representation Theorem for Change through Composition of Activities.

Bahar Aameri, Michael Grüninger

ACM Trans. Comput. Log., 2019

Towards an ontology for generative design of mechanical assemblies.

Bahar Aameri, Hyunmin Cheong, J. Christopher Beck

Appl. Ontology, 2019

2018

Foundational Ontologies for Units of Measure.

Michael Grüninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru

Proceedings of the Formal Ontology in Information Systems, 2018

2017

Encountering the Physical World.

Bahar Aameri, Michael Gruninger

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

A New Perspective on the Mereotopology of RCC8.

Michael Grüninger, Bahar Aameri

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

2016

Reasoning about Change with Domain-specific Process Ontologies.

Bahar Aameri

PhD thesis, 2016

Anti-Modules.

Bahar Aameri, Michael Grüninger, Carmen Chui

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

2015

A New Look at Ontology Correctness.

Bahar Aameri, Michael Gruninger

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Preservation of Modules.

Michael Gruninger, Bahar Aameri

Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Reuse with Domain and Process Ontologies.

Bahar Aameri, Michael Gruninger

Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

2012

Using Partial Automorphisms to Design Process Ontologies.

Bahar Aameri

Proceedings of the Formal Ontology in Information Systems, 2012

2011

A First-Order Calculus for Allegories.

Bahar Aameri, Michael Winter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011