Using qualitative spatial logic for validating crowd-sourced geospatial data

QR Code

Using qualitative spatial logic for validating crowd-sourced geospatial data

We describe a tool, MatchMaps, that generates sameAs and partOf matches between spatial objects (such as shops, shopping centres, etc.) in crowd-sourced and authoritative geospatial datasets. MatchMaps uses reasoning in qualitative spatial logic, description logic and truth maintenance techniques, t...

Full description

Bibliographic Details
Main Authors:	Du, Heshan, Nguyen, Hai Hoang, Alechina, Natasha, Logan, Brian, Jackson, Mike, Goodwin, John
Format:	Conference or Workshop Item
Published:	2015
Online Access:	https://eprints.nottingham.ac.uk/30166/

Similar Items

A method for matching crowd-sourced and authoritative geospatial data
by: Du, Heshan, et al.
Published: (2016)

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

Matching disparate geospatial datasets and validating matches using spatial logic
by: Du, Heshan
Published: (2015)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Developing open source based tools for geospatial integration
by: Du, Heshan, et al.
Published: (2011)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

Mapping collaboration in open source geospatial ecosystem
by: Shao, Jianhua, et al.
Published: (2012)

A logic for reasoning about knowledge of unawareness
by: Agotnes, Thomas, et al.
Published: (2014)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

Exploring the use of crowd generated geospatial content in improving the quality of ecological feature mapping
by: Kinley, Laura Rhiannon
Published: (2016)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Spatial frames of reference for literature using geospatial technologies
by: Priestnall, Gary

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

Visual crowding is unaffected by adaptation-induced spatial compression
by: Chambers, Alison L., et al.
Published: (2018)

Psychological antecedents of hajj crowd scales: Content validation
by: Abdul Rahman, Shukran, et al.
Published: (2016)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

Game Theoretic Spatial Evacuation Simulation Models To Predict Crowd Disaster
by: Ibrahim, Azhar Mohd
Published: (2018)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Incentivising monitoring in open normative systems
by: Alechina, Natasha, et al.
Published: (2017)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
by: Alechina, Natasha, et al.
Published: (2018)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
by: Alechina, Natasha, et al.
Published: (2018)

Spatial variability of nitrogen, phosphorus, and potassium using geospatial techniques on black pepper farms
by: Abd Hamid @ Ghazali, Izzah, et al.
Published: (2018)

Content validation of scales assessing psychological antecedents of crowds among Hajj pilgrims
by: Abdul Rahman, Shukran, et al.
Published: (2014)

Assessing psychosocial elements of crowds during hajj: scale construction and content validation
by: Shuib, Mohd Arif, et al.
Published: (2013)

When worlds collide: combining Ordnance Survey and Open Street Map data
by: Anand, Suchith, et al.
Published: (2010)

Interval-based qualitative spatial reasoning.
by: Travers, Anthony J.
Published: (1998)

Geospatial tools and techniques
by: Sholarin, E., et al.
Published: (2015)