Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Maureen Donnelly

dblp:41/1085 · DBLP profile ↗
← Back
13ranked-venue papers
7as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 9 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 3 first-authorTheory of computation · 2 · 1 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
4 papers
Logic in computer science · 100%
Artificial intelligence
3 papers
Knowledge representation and reasoning · 100%

Topics — the 8 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › knowledge representation and reasoning › spatial reasoning
mereotopology
0.122004
A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004
Layered Mereotopology · IJCAI 2003
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.122007
Computational ontologies of parthood, componenthood, and containment · IJCAI 2005
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff · AAAI 2007
Logic in computer science › knowledge representation and reasoning › knowledge representation
mereology
0.112007
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff · AAAI 2007
Knowledge, reasoning and agents › Knowledge representation and reasoning › qualitative reasoning
qualitative spatial reasoning
0.012004
A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004
Logic in computer science › modal logic
spatial logic
0.012004
A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004
Logic in computer science › knowledge representation and reasoning › knowledge representation
ontology
0.012003
Layered Mereotopology · IJCAI 2003
Logic in computer science › knowledge representation and reasoning
spatial reasoning
0.012003
Layered Mereotopology · IJCAI 2003
Logic in computer science › knowledge representation and reasoning › knowledge representation
formal ontology
0.012005
Computational ontologies of parthood, componenthood, and containment · IJCAI 2005

Methods — techniques the papers use, named apart from their topics

formal logic · 0.1formal ontology · 0.1axiomatization · 0.1
YearPublicationVenuePosition
2009 A spatio-temporal ontology for geographic information integration
Thomas Bittner, Maureen Donnelly, Barry Smith 0001
Int. J. Geogr. Inf. Sci.2
2007 A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff
Thomas Bittner, Maureen Donnelly
AAAI2
2007 Logical properties of foundational relations in bio-ontologies
Thomas Bittner, Maureen Donnelly
Artif. Intell. Medicine2
2006 A theory of granular parthood based on qualitative cardinality and size measures
Thomas Bittner, Maureen Donnelly
FOIS2
2006 A formal theory for spatial representation and reasoning in biomedical ontologies
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
Artif. Intell. Medicine1
2005 Containment Relations in Anatomical Ontologies
Maureen Donnelly
AMIA1
2005 Spatial Relations Between Classes of Individuals
Maureen Donnelly, Thomas Bittner
COSIT1
2005 Computational ontologies of parthood, componenthood, and containment
Thomas Bittner, Maureen Donnelly
IJCAI2
2004 The Mereology of Stages and Persistent Entities
Thomas Bittner, Maureen Donnelly
ECAI2
2004 A formal theory for reasoning about parthood, connection, and location
Maureen Donnelly
Artif. Intell.1
2003 Layers: A New Approach to Locating Objects in Space
Maureen Donnelly, Barry Smith 0001
COSIT1
2003 Layered Mereotopology
Maureen Donnelly
IJCAI1
2001 Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts
abstract
In this paper, I will present a method for constructing correlated series of granularity-dependent distance and diameter measures on the basis of a theory of qualitative spatial concepts. Each granularity-dependent measure function has as its range a discrete subset of R. As we proceed through a series of such functions, the distance between the values in the range will become smaller and the measurements returned by the functions will become correspondingly more precise. My method for constructing the series of functions is partially based on work in Kranz, Luce, Suppes, and Tversky, The Foundations of Measurement, Vol. 1. I use a result from that volume to prove that my series of distance and diameter measures converge to continuous, extensive distance and diameter measures. But it is the discrete measures in the series, not the continuous limit measures, that should be used in analyses of common-sense concepts. Unlike the continuous measure functions, arbitrary values for the discrete measure functions can, in most contexts, be determined through practical procedures. Moreover, the ability to move from one granularity-level to the next is appropriate for common-sense contexts in which the level of precision is typically kept at the minimum necessary to accomplish the task at hand.
Maureen Donnelly
FOIS1