
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Keywords: Ramification problem; Spatial databases; Common sense reasoning; Knowledge representation and reasoning; Software engineering