Semantic Localization for IoT
383
6. Leung, J.M.-K., et al.: Scalable semantic annotation using latticebased ontologies. In: 12th
International Conference on Model Driven Engineering Languages and Systems (MODELS
09), pp. 393–407. ACM/IEEE (2009)
7. Lickly, B.: Static Model Analysis with Lattice-based Ontologies. Tech. rep. UCB/EECS-2012212. Ph.D. Thesis. EECS Department, University of California, Berkeley (2012)
8. Lickly, B., et al.: A practical ontology framework for static model analysis. In: International
Conference on Embedded Software (EMSOFT), ACM, pp. 23–32 (2011)
9. Fonseca, F., Davis, C., Câmara, G.: Bridging ontologies and conceptual schemas in geographic
information integration. GeoInformatica 7(4), 355–378 (2003)
10. Grenon, P., Smith, B.: SNAP and SPAN: towards dynamic spatial ontology. Spat. Cogn.
Comput. 4(1), 69–104 (2004)
11. Spaccapietra, S., et al.: On Spatial Ontologies (2004). https://citeseerx.ist.psu.edu/viewdoc/
summary?doi=10.1.1.88.7653
12. Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 Query Language. (2013). https://
www.w3.org/TR/sparql11-query/
13. Battle, R. Kolas, D.: Enabling the geospatial semantic web with parliament and GeoSPARQL”.
In: Semantic Web 3.4, pp. 355–370 (2012)
14. Lieberman, J., Singh, R., Goad, C.: W3C Geospatial Ontologies. Tech. rep. (2007)
15. Sun, K. et al.: Geospatial data ontology: the semantic foundation of geospatial data integration
and sharing. In: Big Earth Data 3.3, pp. 269–296 (2019)
16. Butler, H., et al.: The GeoJSON Format. Tech. Rep. (2015). https://tools.ietf.org/html/draft-but
ler-geojson-06
17. Portele, C.: OpenGIS® Geography Markup Language (GML) Implementation Specification,
version. In: (2007). https://portal.opengeospatial.org/files/?artifact_id=20509
18. Lee, J., et al.: OGC IndoorGML version 1.0. In: (2014). https://docs.opengeospatial.org/is/14005r5/14-005r5.html
19. de Berg, M., et al.: Computational Geometry: Algorithms and Applications, 3rd edn. Springer
TELOS, Santa Clara, CA, USA (2008)
20. Rusu, R.B., Cousins, S.: 3D is here: point cloud library (PCL). In: IEEE International
Conference on Robotics and Automation (ICRA). Shanghai, China (2011)
21. Weiss, W., D’Mello, C.: Fundamentals of Model Theory. Topology Atlas (2000)
22. Kuipers, B.: The spatial semantic hierarchy. Artif. Intell. 119(1-2), 191–233 (2000)
23. Ghrist, R., et al.: Topological landmark-based navigation and mapping. In: University of
Pennsylvania, Department of Mathematics, Tech. Rep 8 (2012)
24. Moore, D. et al.: Robust distributed network localization with noisy range measurements. In:
Proceedings of the 2nd international Conference on Embedded Networked Sensor Systems.
ACM, pp. 50–61 (2004)
25. Weber, M. et al.: Gordian: formal reasoning based outlier detection for secure localization.
Tech. rep. UCB/EECS-2019-1. EECS Department, University of California, Berkeley (2019)
26. Yang, Z., et al.: Beyond triangle inequality: sifting noisy and outlier distance measurements
for localization. In: ACM Transactions on Sensor Networks 9.2, pp. 1–20 (2013)
27. Frank, Andrew U.: Qualitative spatial reasoning about distances and directions in geographic
space. J. Vis. Lang. Comput. 3(4), 343–371 (1992)
28. Cohn, A.G., Renz, J., et al.: Qualitative spatial representation and reasoning. In: Handbook of
Knowledge Representation, vol. 3, pp. 551–596 (2008)
29. Pereira, E.T.: Mobile reactive systems over bigraphical machines a programming model and
its implementation. Ph.D. Thesis, University of California, Berkeley (2015)
30. Atanasov, N., et al.: Semantic localization via the matrix permanent. Robot. Sci. Syst. (2014)
31. Vieu, L.: Spatial and temporal reasoning. In: Stock, O. (ed.) Spatial Representation and
Reasoning in Artificial Intelligence, pp. 5–41. Springer, Netherlands, Dordrecht (1997)
32. Weber, M., Lee, E.: A model for semantic localization. In: ACM Press, pp. 350–351 (2015)
383
6. Leung, J.M.-K., et al.: Scalable semantic annotation using latticebased ontologies. In: 12th
International Conference on Model Driven Engineering Languages and Systems (MODELS
09), pp. 393–407. ACM/IEEE (2009)
7. Lickly, B.: Static Model Analysis with Lattice-based Ontologies. Tech. rep. UCB/EECS-2012212. Ph.D. Thesis. EECS Department, University of California, Berkeley (2012)
8. Lickly, B., et al.: A practical ontology framework for static model analysis. In: International
Conference on Embedded Software (EMSOFT), ACM, pp. 23–32 (2011)
9. Fonseca, F., Davis, C., Câmara, G.: Bridging ontologies and conceptual schemas in geographic
information integration. GeoInformatica 7(4), 355–378 (2003)
10. Grenon, P., Smith, B.: SNAP and SPAN: towards dynamic spatial ontology. Spat. Cogn.
Comput. 4(1), 69–104 (2004)
11. Spaccapietra, S., et al.: On Spatial Ontologies (2004). https://citeseerx.ist.psu.edu/viewdoc/
summary?doi=10.1.1.88.7653
12. Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 Query Language. (2013). https://
www.w3.org/TR/sparql11-query/
13. Battle, R. Kolas, D.: Enabling the geospatial semantic web with parliament and GeoSPARQL”.
In: Semantic Web 3.4, pp. 355–370 (2012)
14. Lieberman, J., Singh, R., Goad, C.: W3C Geospatial Ontologies. Tech. rep. (2007)
15. Sun, K. et al.: Geospatial data ontology: the semantic foundation of geospatial data integration
and sharing. In: Big Earth Data 3.3, pp. 269–296 (2019)
16. Butler, H., et al.: The GeoJSON Format. Tech. Rep. (2015). https://tools.ietf.org/html/draft-but
ler-geojson-06
17. Portele, C.: OpenGIS® Geography Markup Language (GML) Implementation Specification,
version. In: (2007). https://portal.opengeospatial.org/files/?artifact_id=20509
18. Lee, J., et al.: OGC IndoorGML version 1.0. In: (2014). https://docs.opengeospatial.org/is/14005r5/14-005r5.html
19. de Berg, M., et al.: Computational Geometry: Algorithms and Applications, 3rd edn. Springer
TELOS, Santa Clara, CA, USA (2008)
20. Rusu, R.B., Cousins, S.: 3D is here: point cloud library (PCL). In: IEEE International
Conference on Robotics and Automation (ICRA). Shanghai, China (2011)
21. Weiss, W., D’Mello, C.: Fundamentals of Model Theory. Topology Atlas (2000)
22. Kuipers, B.: The spatial semantic hierarchy. Artif. Intell. 119(1-2), 191–233 (2000)
23. Ghrist, R., et al.: Topological landmark-based navigation and mapping. In: University of
Pennsylvania, Department of Mathematics, Tech. Rep 8 (2012)
24. Moore, D. et al.: Robust distributed network localization with noisy range measurements. In:
Proceedings of the 2nd international Conference on Embedded Networked Sensor Systems.
ACM, pp. 50–61 (2004)
25. Weber, M. et al.: Gordian: formal reasoning based outlier detection for secure localization.
Tech. rep. UCB/EECS-2019-1. EECS Department, University of California, Berkeley (2019)
26. Yang, Z., et al.: Beyond triangle inequality: sifting noisy and outlier distance measurements
for localization. In: ACM Transactions on Sensor Networks 9.2, pp. 1–20 (2013)
27. Frank, Andrew U.: Qualitative spatial reasoning about distances and directions in geographic
space. J. Vis. Lang. Comput. 3(4), 343–371 (1992)
28. Cohn, A.G., Renz, J., et al.: Qualitative spatial representation and reasoning. In: Handbook of
Knowledge Representation, vol. 3, pp. 551–596 (2008)
29. Pereira, E.T.: Mobile reactive systems over bigraphical machines a programming model and
its implementation. Ph.D. Thesis, University of California, Berkeley (2015)
30. Atanasov, N., et al.: Semantic localization via the matrix permanent. Robot. Sci. Syst. (2014)
31. Vieu, L.: Spatial and temporal reasoning. In: Stock, O. (ed.) Spatial Representation and
Reasoning in Artificial Intelligence, pp. 5–41. Springer, Netherlands, Dordrecht (1997)
32. Weber, M., Lee, E.: A model for semantic localization. In: ACM Press, pp. 350–351 (2015)