Publications
94 items. Publisher versions, preprints, and author versions are linked where available. Persistent identifiers are given as DOIs and, for preprints, as PhilSci-Archive eprint numbers. ORCID 0000-0003-4204-1532.
Work in progress and preprints
Manuscripts of the current program. Every one of them is deposited at PhilSci-Archive, which assigns a stable, citable eprint identifier and serves the full text. Years are those of the archive records; the status beside each title is current. Further papers of the series are in preparation; the program itself is described on the research page.
-
2026
Liquid mereology: vagueness, information capacity, and the cost of precisionUnder review
Submitted to a journal. PhilSci-Archive 30967 -
2026
A relational theory of mereological judgmentUnder review
Submitted to a journal. PhilSci-Archive 30864 -
2026
A formal framework for ontological vagueness in intelligence analysis: toward trustworthy and explainable judgmentsTo appear
Presented at the Semantic Technology for Intelligence, Defense, and Security Conference (STIDS 2026), Arlington, Virginia, May 27-28, 2026. To appear in the CEUR-WS proceedings. PhilSci-Archive 30614 -
2026
An algebraic framework for indeterminate predicates: classification, reasoning and dispositional dynamicsUnder review
Submitted to a journal. PhilSci-Archive 30569 -
2025
Quantized mereologyIn press
Journal of Artificial Intelligence Research. Accepted; in production. PhilSci-Archive 30559 arXiv:2609.01620 -
2025
A relational, real-valued Hilbert space for macroscopic vagueness: foundations of quantized mereologyRevise and resubmit
Submitted to a journal. PhilSci-Archive 30560 -
2025
Mereological vagueness and quantum informationPreprint
Companion to Quantized mereology, treating the entangled-state and measurement-dynamics layer. PhilSci-Archive 30557
Articles in refereed journals
-
2023
Information, mereology and vagueness
Applied Ontology 18(2), 119-167. A corrected author version is deposited at PhilSci-Archive; the published article remains the version of record. DOI PhilSci-Archive 30558 -
2021
Assessing the effect of topography on Cs-137 concentrations within forested soils due to the Fukushima Daiichi Nuclear Power Plant accident, Japan
Earth Surface Dynamics 9(4), 861-893. DOI -
2019
On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study
Applied Ontology 14(3), 251-292. DOI -
2018
Formal ontology of space, time, and physical entities in classical mechanics
Applied Ontology 13(2), 135-179. DOI -
2017
Vague distance predicates
GeoInformatica 21(2), 209-229. First published online December 26, 2016. DOI -
2011
Vagueness and the trade-off between the classification and delineation of geographic regions: an ontological analysis
International Journal of Geographical Information Science 25(5), 825-850. DOI - 2011
-
2011
The RNA Ontology (RNAO): An ontology for integrating RNA sequence and structure data
Applied Ontology 6(1), 53-89. DOI -
2010
On the integration of regional classification and delineation systems into The National Map
Cartographica: The International Journal for Geographic Information and Geovisualization 45(2), 127-139. Presented in earlier form at the UCGIS and USGS Specialist Workshop on Ontology for the National Map, Washington DC, February 2009. DOI Preprint -
2010
Ontology-based qualitative feature analysis: bays as a case study
Transactions in GIS 14(4), 547-568. DOI - 2009
- 2009
- 2009
-
2007
The qualitative and time-dependent character of spatial relations in biomedical ontologies
Bioinformatics 23(13), 1674-1682. Re-reviewed in 2008 and accepted for presentation in the Highlight Section of the 16th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB 2008). DOI -
2007
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine 39(3), 197-216. DOI -
2006
Ontological investigation of a multiscale ecosystem classification using the National Hierarchical Framework of Ecological Units as an example
GeoInformatica 10(3), 313-335. DOI -
2006
Granularity, scale and collectivity: when size does and does not matter
Journal of Biomedical Informatics 39(3), 333-349. DOI -
2006
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics 39(3), 350-361. DOI - 2006
- 2004
- 2004
- 2003
- 2002
- 2002
-
2001
Towards an ontology for geomatics
Geomatica 55(4), 475-490. - 2001
- 2000
-
1999
On the design of formal theories of geographic space
Journal of Geographical Systems 1(3), 237-275. DOI -
1998
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence 24(1-4), 93-114. DOI
Book chapters and encyclopedia entries
-
2019
Is there a quantum geography?
In T. Tambassi (ed.), The Philosophy of GIS, Springer Geography, 209-239. Springer, Cham. DOI -
2017
Fiat and de facto objects
In D. Richardson et al. (eds.), The International Encyclopedia of Geography, 1-8. Wiley-Blackwell. DOI -
2017
Approximation
In S. Shekhar, H. Xiong, and X. Zhou (eds.), Encyclopedia of GIS, 2nd edition, 71-77. Springer, Cham. DOI -
2008
Modeling principles and methodologies: spatial representation and reasoning
In A. Burger, D. Davidson, and R. Baldock (eds.), Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 307-326. Springer, London. DOI -
2008
Approximation
In S. Shekhar and H. Xiong (eds.), Encyclopedia of GIS, 1st edition, 21-25. Springer, Boston. DOI -
2008
A theory of granular partitions
In K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, chapter 6, 125-158. Ontos Verlag / De Gruyter. Revised reprint of the 2003 chapter listed below. DOI - 2005
- 2003
-
2002
Hierarchical topological reasoning with vague regions
In W. Shi, P. F. Fisher, and M. F. Goodchild (eds.), Spatial Data Quality. Taylor and Francis, London. Book version of the 1999 International Symposium on Spatial Data Quality paper listed under Other publications and presentations. DOI
Papers in refereed conferences and workshops
-
2019
Why classificatory information of geographic regions is quantum information (vision paper)
In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig, and K. Stewart (eds.), 14th International Conference on Spatial Information Theory (COSIT 2019), LIPIcs 142, 16:1-16:15. Schloss Dagstuhl, Leibniz-Zentrum für Informatik. DOI -
2017
Towards a quantum theory of geographic fields
In E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni, and A. Ballatore (eds.), 13th International Conference on Spatial Information Theory (COSIT 2017), LIPIcs 86, 5:1-5:14. Schloss Dagstuhl, Leibniz-Zentrum für Informatik. DOI -
2016
Ontologies of dynamical systems and verifiable ontology-based computation: towards a Haskell-based implementation of referent tracking
In R. Ferrario and W. Kuhn (eds.), Formal Ontology in Information Systems: Proceedings of the 9th International Conference (FOIS 2016), Frontiers in Artificial Intelligence and Applications 283, 313-327. IOS Press. DOI -
2015
Spatial and temporal analysis of human movements and applications for disaster response management utilizing cell phone usage data
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences II-4/W2, 217-224. DOI -
2008
Ontology and qualitative medical images analysis
In M. Okada and B. Smith (eds.), Proceedings of InterOntology 08. Keio University Press. PDF - 2007
-
2007
A formal theory of qualitative size and distance relations between regions
In C. Price (ed.), Proceedings of the 21st Annual Workshop on Qualitative Reasoning (QR07). PDF -
2007
A temporal mereology for distinguishing between integral objects and portions of stuff
In R. Holte and A. Howe (eds.), Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07), 287-292. AAAI Press. PDF -
2006
A theory of granular parthood based on qualitative cardinality and size measures
In B. Bennett and C. Fellbaum (eds.), Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), 65-76. IOS Press. PDF -
2006
The qualitative and time-dependent character of spatial relations in biomedical ontologies
In O. Bodenreider (ed.), KR-MED 2006: Second International Workshop on Formal Biomedical Knowledge Representation, CEUR Workshop Proceedings 222, 47-55. PDF -
2006
A classification of spatio-temporal entities based on their location in space-time
In R. Meersman, Z. Tari, and P. Herrero (eds.), On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Part II, Lecture Notes in Computer Science 4278, 1626-1635. Springer, Berlin. SeBGIS 2006 track. DOI PDF -
2005
Computational ontologies of parthood, componenthood, and containment
In L. P. Kaelbling and A. Saffiotti (eds.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), 382-387. PDF -
2005
Spatial relations between classes of individuals
In A. G. Cohn and D. M. Mark (eds.), Spatial Information Theory: International Conference (COSIT 2005), Lecture Notes in Computer Science 3693, 182-199. Springer, Berlin. DOI -
2004
Understanding taxonomies of ecosystems: a case study
In P. Fisher (ed.), Developments in Spatial Data Handling, 559-572. Springer, Berlin. PDF -
2004
Individuals, universals, collections: on the foundational relations of ontology
In A. C. Varzi and L. Vieu (eds.), Proceedings of the Third Conference on Formal Ontology in Information Systems (FOIS 2004), 37-48. IOS Press. PDF -
2004
The mereology of stages and persistent entities
In R. López de Mántaras and L. Saitta (eds.), Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), 283-287. IOS Press. PDF - 2004
-
2004
Axioms for parthood and containment relations in bio-ontologies
In U. Hahn (ed.), First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004), CEUR Workshop Proceedings 102, 4-11. PDF - 2003
-
2003
Scale in object and process ontologies
In W. Kuhn, M. F. Worboys, and S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science (COSIT 2003), Lecture Notes in Computer Science 2825, 13-27. Springer, Berlin. Listed in earlier bibliographies as ‘Process, hierarchy, and scale’. DOI PDF -
2003
Directly depicting granular ontologies
1st International Workshop on Adaptive Multimedia Retrieval, Hamburg. Expanded as Bittner, Donnelly, and Smith (2004), AI Communications 17(4). Journal version -
2003
Indeterminacy and rough approximation
In I. Russell and S. M. Haller (eds.), Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2003), 450-454. AAAI Press. PDF -
2003
Granular spatio-temporal ontologies
In AAAI Spring Symposium: Foundations and Applications of Spatio-Temporal Reasoning (FASTR), 12-17. AAAI Press. PDF -
2002
Reasoning about qualitative spatio-temporal relations at multiple levels of granularity
In F. van Harmelen (ed.), ECAI 2002: Proceedings of the 15th European Conference on Artificial Intelligence, 317-321. IOS Press, Amsterdam. PDF -
2002
Granularity in reference to spatio-temporal location and relations
In S. M. Haller and G. Simmons (eds.), Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2002), 466-470. AAAI Press. PDF -
2002
Judgments about spatio-temporal relations
In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams (eds.), Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), 521-532. Morgan Kaufmann. PDF -
2001
A unified theory of granularity, vagueness and approximation
In COSIT Workshop on Spatial Vagueness, Uncertainty, and Granularity. PDF -
2001
Granular partitions and vagueness
In C. Welty and B. Smith (eds.), Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2001), 309-320. ACM Press. DOI -
2001
A taxonomy of granular partitions
In D. R. Montello (ed.), Spatial Information Theory: Foundations of Geographic Information Science (COSIT 2001), Lecture Notes in Computer Science 2205, 28-43. Springer, Berlin. DOI - 2001
-
2001
Rough sets in spatio-temporal data mining
In J. F. Roddick and K. Hornsby (eds.), Temporal, Spatial, and Spatio-Temporal Data Mining (TSDM 2000), Revised Papers, Lecture Notes in Artificial Intelligence 2007, 89-104. Springer, Berlin. DOI PDF Haskell program - 2000
-
2000
Approximate qualitative temporal reasoning
In Spatial and Temporal Granularity: Papers from the AAAI Workshop, AAAI Technical Report WS-00-08, 45-52. AAAI Press. Listed in earlier bibliographies as ‘Approximate temporal reasoning, Time 2000’. - 1999
- 1999
-
1998
On representing geometries of geographic space
In T. K. Poiker and N. Chrisman (eds.), Proceedings of the 8th International Symposium on Spatial Data Handling (SDH'98), Vancouver, 111-122. International Geographical Union. PDF -
1997
An introduction to the application of formal theories to GIS
In F. Dollinger and J. Strobl (eds.), Angewandte Geographische Informationsverarbeitung IX (AGIT), Salzburger Geographische Materialien 26, 11-22. Institut für Geographie, Universität Salzburg. PDF - 1997
-
1996
A qualitative model of geographic space
In M. J. Kraak and M. Molenaar (eds.), Proceedings of SDH'96, Delft, volume 2, 10.19-10.32. International Geographical Union. PDF
Other publications and presentations
-
2026
Developing ontology-based nuclear accident knowledge base
EGU General Assembly 2026, Vienna. Abstract EGU26-22532. DOI -
2025
Developing ontology-based nuclear accident knowledge base part 1: spatiotemporal considerations in background comparison
EGU General Assembly 2025, Vienna. Abstract EGU25-5199. DOI -
2020
Predicting Cs-137 distribution patterns from soil samples: the relationships between topographic parameters, soil properties, and Cs-137 concentration levels
EGU General Assembly 2020. Abstract EGU2020-2252. DOI -
2019
Radiocesium inventory and distribution patterns in forest soils in Fukushima: seven years after the nuclear accident
EGU General Assembly 2019, Vienna. Geophysical Research Abstracts 21, EGU2019-2462. -
2009
The RNA Ontology (RNAO): An ontology for integrating RNA sequence and structure data
Nature Precedings. Preprint of the 2011 Applied Ontology article. DOI -
2004
Ontological investigation of ecosystem hierarchies and formal theory for multiscale ecosystem classifications
Third International Conference on Geographic Information Science (GIScience 2004), extended abstracts and poster summaries. PDF -
2004
Normalizing medical ontologies using Basic Formal Ontology
49. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie (GMDS 2004). German Medical Science, abstract Doc04gmds070. PDF -
1999
Hierarchical topological reasoning with vague regions
In W. Shi, M. F. Goodchild, and P. F. Fisher (eds.), Proceedings of the International Symposium on Spatial Data Quality, Hong Kong, 555-565. Department of Land Surveying and Geo-Informatics, Hong Kong Polytechnic University. -
1998
Towards a model theory for figure ground location
In Proceedings of the 6th Symposium on Mathematics and Artificial Intelligence, Fort Lauderdale, Florida.
Doctoral thesis
-
1999
Rough Location
Ph.D. thesis, Department of Geo-Informatics, Technical University of Vienna, Austria. Advisors: Andrew U. Frank and Thomas Eiter. Abstract Full text (ZIP)