PhD Candidate and Research Assistant with
Michael Gruninger
University of Toronto, Department of Computer Science
Knowledge Representation Group and Semantic Systems Lab
| Research & Publications | Teaching | CV | Contact |
M. Gruninger, T. Hahmann, A. Hashemi, D. Ong, A. Ozgovde: Modular First-Order Ontologies via Repositories. submitted to Special Issue on Modular Ontologies, Applied Ontology, Feb. 2011.
M. Winter, T. Hahmann, M. Gruninger: On the algebra of regular sets: Properties of representable Stonian p-ortholattices. submitted to Annals of Mathematics and Artificial Intelligence, Dec. 2010.
[13] T. Hahmann, M. Gruninger: Region-based Theories of Space: Mereotopology and Beyond. In: S. Hazarika (ed.): Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Publishing (Hershey, PA), 2011. ISBN 978-1-616-92868-1.
| An older draft version (pdf) |
[12] T. Hahmann, M. Gruninger: Complementation in representable theories of region-based space. Accepted for publication by Notre Dame Journal of Formal Logic, 2012.
| Preprint(pdf) |
[11] T. Hahmann, M. Winter, M. Gruninger: Stonian p-Ortholattices: A new approach to the mereotopology RT0. Artificial Intelligence 173, 2009, pp. 1424-1440. DOI:10.1016/j.artint.2009.07.001
| Paper (pdf) | Presentation (pdf) | |
[10] T. Hahmann, M. Gruninger: A Theory of Multidimensional Qualitative Space: Semantic Integration of Spatial Theories that Distinguish Interior from Boundary Contact (Extended Abstract). In: Conference on Spatial Information Theory (COSIT 2011), Belfast, Maine, September 12-16, 2011.
| Extended Abstract (pdf) | Poster (pdf) |
[9] M. Gruninger, T. Hahmann, M. Katsumi: Exploiting Modularity for Ontology Verification. In: 5th Int. Workshop on Modular Ontologies (WoMo 2011), Ljubljana, Slovenia, August 8-12, 2011. Frontiers in Artificial Intelligence and Applications Series, IOS Press.
[8] T. Hahmann, M. Gruninger:
Multidimensional Mereotopology with Betweenness.
In: Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Spain, July 16-22, 2011. AAAI Press. (acceptance rate as presentation 17%)
Axiom BMT-E1 contains an error in the paper which has been corrected in the version here.
| Paper (pdf) | Presentation (pdf) | Poster (pdf) |
[7] T. Hahmann, M. Gruninger: A Naive Theory of Dimension for Qualitative Spatial Relations. In: Proc. of the Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense 2011), as part of the AAAI Spring Symposium, Palo Alto, CA, March 21-23, 2011. AAAI Press. (acceptance rate as presentation 43%)
| Paper (pdf) | Presentation (pdf) | Automated proofs and non-trivial models | |
[6] M. Gruninger, T. Hahmann, A. Hashemi, D. Ong: Ontology Verification with Repositories. In: Proc. of the 6th Int. Conference on Formal Ontology in Information Systems (FOIS-2010), Toronto, Canada, May. 11-14, 2010. IOS Press, pp. 317--330. (acceptance rate 39%)
| Conference Paper available from IOS Press |
[5] M. Winter, T. Hahmann, M. Gruninger: On the Skeleton of Stonian p-Ortholattices. In: Proc. of the 11th Int. Conference on Relational Methods in Computer Science and the 6th Int. Conference on Applications of Kleene Algebra (RelMiCS/AKA-09), Doha, Qatar, Nov. 1-5, 2009. LNCS 5827, Springer, pp. 351--365. ISBN 978-3-642-04638-4.
| Paper (pdf) | Presentation (pdf) | |
[4] T. Hahmann, M. Gruninger: Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes. In: Proc. of AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Palo Alto, CA, March 23-25, 2009. AAAI Press, Technical Report SS-09-02, pp. 11--16.
| Paper (pdf) | Presentation (pdf) | |
[3] T. Hahmann, M. Gruninger:
A Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
In: Proc. of the 11th Int. Conference on Knowledge Representation and Reasoning (KR-2008), Syndey, Australia, Sept. 16-19, 2008.
AAAI Press, pp. 263--273. (acceptance rate 27.5%)
A property necessary for the representation is missing; it is corrected and extended in the AI Journal paper.
| Paper (pdf) | Presentation (pdf) | |
[2] G. Laures, H. Meyer, T. Hahmann, J. Möller, P. Sommer: Evaluation von Open Source Produkten zur Ausführung Web Service-basierter Geschäftsprozesse. In: open.bpm 2006 Workshop at EMISA 2006, Hamburg, Germany, 2006. (in German)
| Paper (pdf, in German) | Extended Version (pdf, in English, from ASG Bachelor Project Report) | |
[1] T. Hahmann, J. Möller, P. Sommer, B. Peisl, A. Wahler: An Adaptive Solution for Internet Services' Supply Chains. In: S. Reich, G. Gäntner, T. Pellegrini, A. Wahler (eds.): Semantic Content Engineering, Schriftenreihe Informatik, No. 17 (Proceedings of the Semantics 2005, Vienna, Austria), Trauner Verlag, 65--80, 2006. ISBN 3-85487-979-2.
| Paper (pdf) | Presentation (pdf) | |
| Workshop presentation (pdf) at Fraunhofer IESE, Kaiserslautern in January 2006 | ||
T. Hahmann: Model-Theoretic Analysis of Asher and Vieu's Mereotopolgy, M.Sc. thesis, 2008.
supervisor: Michael Gruninger, second reader: Alasdair Urquhart
| MSc Thesis (pdf) |
Steinert, B., Möller, J., Sommer, P.,
Steinhauer, S., Hüttenrauch, S., Queck, T., Hahmann, T.: Semantic SOA - Realization of the Adaptive Services Grid. Bachelor project report,
Hasso-Plattner-Institute for Software Systems Engineering at the University of Potsdam, Potsdam, 2006. (in German)
supervisors: Harald Meyer, Guido Laures, Peter Tröger, Prof. Matthias Weske, Prof. Andreas Polze
| Introduction (pdf) | Presentation (pdf) | Dynamic Supply Chain Scenario (pdf) |
| see background talk Workflow and Web Service Composition (pdf) | ||
T. Hahmann, M. Gruninger: Region-based Theories of Space: Mereotopology and Beyond. University of Toronto, Qualifying Exam Report, October 2009.
| Report (pdf) |
T. Hahmann: The Space of Contact Algebras (Extended Abstract). In Doctoral Consortium of the 11th Int. Conference on Relational Methods in Computer Science and the 6th Int. Conference on Applications of Kleene Algebra (RelMiCS/AKA-09), Doha, Qatar, Nov. 1-5, 2009, pp. 33--37.
M. Winter, T. Hahmann, M. Gruninger: On the Skeleton of Stonian p-Ortholattices. Brock University, St. Catherines, Technical Report CS-09-07, 2009.
| Technical Report (pdf) |
T. Hahmann, M. Winter, M. Gruninger: Stonian p-Ortholattices: A new approach to the mereotopology RT0. Brock University, St. Catherines, Technical Report CS-09-02, 2009.
| Technical Report (pdf) |
T. Hahmann: Modellierung von Hotel-Reservierungs-Systemen. In Weske, M., Schnieders, A. and Puhlmann, F. (eds.), Seminarreader Prozessmodellierung. Hasso-Plattner-Institute for Software Systems Engineering at the University of Potsdam, Potsdam, 2005. (German)
| Paper (pdf) | Presentation (pdf) | Complete Seminarreader (pdf, 18MB) |