My publications as listed in DBLP
T. Hahmann, B. Brodaric: Kinds of Full Physical Containment.
In Proc. of the Int. Conference on Spatial Information Theory (COSIT-2013), 2013 (to appear), Springer. Preprint PDF
T. Hahmann, B. Brodaric: The Void in Hydro Ontology.
In: Proc. of the 7th Int. Conference on Formal Ontology in Information Systems (FOIS-2012), 2012. IOS Press.
Preprint PDF
Presentation
T. Hahmann: A Reconciliation of Logical Theories of Space: from Multidimensional Mereotopology to Geometry, PhD thesis. Feb. 2013.
PDF (8 MB) ontologies and proofs
T. Hahmann, M. Gruninger: Complementation in representable theories of region-based space.
Notre Dame Journal of Formal Logic (NDJFL) 54(2):177-214. 2013.
Final version: DOI:10.1215/00294527-1731344
Preprint PDF
Additional resources (old version)
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
Poster
T. Hahmann, M. Gruninger: Multidimensional Mereotopology with Betweenness.
In: Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI 2011), 2011. AAAI Press.
PDF
Presentation
Poster
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), AAAI Spring Symposium, 2011. AAAI Press.
PDF
Presentation
Additional resources
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., 2012. pp. 1-62. IGI Publishing, ISBN 9781616928681.
PDF (Copyright 2012 IGI Publishing. Posted with the permission of the publisher.)
Qualifying Exam Report (a more readable format)
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, 2009. AAAI Press.
PDF
Presentation
M. Gruninger, T. Hahmann, A. Hashemi, D. Ong, A. Ozgovde: Modular First-Order Ontologies via Repositories.
Applied Ontology 7(2):169-209. IOS Press, 2012.
Preprint PDF
Final version available from IOS Press (DOI:10.3233/AO-2012-0106)
M. Gruninger, T. Hahmann, M. Katsumi: Exploiting Modularity for Ontology Verification.
In: 5th Int. Workshop on Modular Ontologies (WoMo 2011), 2011. Frontiers in
Artificial Intelligence and Applications Series, IOS Press.
Preprint PDF
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), 2010. IOS Press, pp. 317--330.
Preprint PDF
M. Winter, T. Hahmann, M. Gruninger: On the algebra of regular sets: Properties of representable Stonian p-ortholattices.
Annals of Mathematics and Artificial Intelligence 65(1):25-60, Springer, 2012.
Final version: DOI:10.1007/s10472-012-9301-2
Preprint PDF
Additional resources
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 (RelMiCS/AKA-09), 2009.
LNCS 5827, Springer, pp. 351--365.
Preprint PDF
Presentation
T. Hahmann, M. Winter, M. Gruninger: Stonian p-Ortholattices: A new approach to the mereotopology RT0.
Artificial Intelligence 173:1424-1440, 2009.
DOI:10.1016/j.artint.2009.07.001
PDF
Presentation
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), 2008. AAAI Press, pp. 263--273.
PDF
Presentation
T. Hahmann: Model-Theoretic Analysis of Asher and Vieu's Mereotopology, M.Sc. thesis, 2008.
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, 2006.
PDF (English version)
T. Hahmann, J. Möller, P. Sommer, B. Peisl, A. Wahler: An Adaptive Solution for Internet Services' Supply Chains.
In: Semantic Content Engineering, Schriftenreihe Informatik, No. 17
(Proceedings of the Semantics 2005), 2006. Trauner, pp. 65--80.
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, 2006.
PDF (Introduction) PDF (Dynamic Supply Chain Scenario)