Lydia Silva Muñoz, Michael Grüninger. Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. In Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali, editors, Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Volume 10024 of Lecture Notes in Computer Science, pages 606-620, 2016. [doi]
Abstract is missing.