From quantitative spatial operator to qualitative spatial relation using constructive solid geometry, logic rules and optimized 9-IM model: A semantic based approach

CSAE 2012 - Proceedings, 2012 IEEE International Conference on Computer Science and Automation Engineering

Volumn 3, Issue , 2012, Pages 453-458

  Ben Hmida, Helmi ^a   Boochs, Frank ^a   Cruz, Christophe ^b   Nicolle, Christophe ^b  

^a Fachhochschule Mainz   (Germany)

^b UNIVERSITÉ DE BOURGOGNE   (France)

Author keywords

9 IM; Constructive Solid Geometry; logic rules; Ontology; OWL; SWRL; Topological relations

Indexed keywords

9-IM; CONSTRUCTIVE SOLID GEOMETRY; LOGIC RULES; OWL; SWRL; TOPOLOGICAL RELATIONS;

COMPUTER SCIENCE; GEOMETRY; LOGIC PROGRAMMING; ONTOLOGY;

TOPOLOGY;

EID: 84867044286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSAE.2012.6272992     Document Type: Conference Paper

References (31)

1. M. J. Egenhofer, "Qualitative Spatial-Relation Reasoning for Design, Studying Vidual and Spatial Reasoning for Design Creativity," Springer, Dordrecht, 2010.
2. Ellul, C. and Haklay, M.M, "Using a B-rep structure to query 9-intersection topological relationships in 3D GIS-reviewing the approach and improving performance," 3D Geo-information Sciences, 127-151, 2009.
3. A. Galton, "Spatial and temporal knowledge representation," Earth Science Informatics 2(3), 169-187, 2009.
4. D. A. Randell, Z. Cui , A. G. Cohn, "A Spatial Logic based on Regions and Connection," Proceedings 3rd International Conference on Knowledge Representation and Reasoning, 1992.
5. M. J. Egenhofer, J. Herring, "A mathematical framework for the definition of topological relationships," Fourth International Symposium on Spatial Data Handling, 1990.
6. OGC. [Online]. http://www.opengeospatial.org/standards/orm, 2008.
7. S. Zlatanova, A.A. Rahman, W. Shi, "Topology for 3D spatial objects," In Proceedings International Symposium and Exhibition on Geoinformation: global trends: geoinformation for the new economy, 22-24 October, Kuala Lumpur, Malaysia (pp. 1-7), 2002.
8. E. Borrmann, A. Rank, "Topological operators in a 3D spatial query language for building information models", in Proc. of the 12th Int. Conf. on Computing in Civil and Building Engineering (ICCCBE), 2008.
9. André Borrmann, Stefanie Schraufstetter, and Ernst Rank, "Implementing Metric Operators of a Spatial Query Language for 3D Building Models: Octree and B-Rep Approaches", J. Comput. Civ. Eng. 23, 34, 2009.
10. A. Borrmann, E. Rank, "Specification and implementation of directional operators in a 3D spatial query language for building information models," Computation in Engineering, Technische Universität München, Arcisstrasse 21, 80290 Munich, Germany, Available online 28 August, 2008.
11. A. Borrmann , C. Van Treeck , E. Rank, "Towards a 3D Spatial Query Language for Building Information Models," Proc. Joint Int. Conf. of Computing and Decision Making in Civil and Building Engineering (ICCCBE-XI), 2006.
12. A. and Rank, E. Borrmann, "Topological operators in a 3D spatial query language for building information models," in Proc. of the 12th Int. Conf. on Computing in Civil and Building Engineering (ICCCBE), 2008.
13. D. Meagher, "Geometric modeling using octree encoding," IEEE Computer Graphics and Image Processing 19 (2), 129-147, 1982.
14. A. Karmacharya, C. Cruz, F.Boochs, F. Marzani: "Integration of Spatial Processing and Knowledge Processing Through the Semantic Web Stack," GeoS 201, 200-216, 2011.
15. M. J. Egenhofer, "Reasoning about Binary Topological Relations," Proceeding SSD 91 Proceedings of the Second International Symposium on Advances in Spatial Databases, 1991.
16. M. Perry, J. Herring, "GeoSPARQL - A geographic query language for RDF data", A proposal for an OGC Draft Candidate Standard. Open Geospatial Consortium, vol. 27, 2010.
17. M. Stocker, E. Sirin, "PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine", OWLED, 2009.
18. S. Zlatanova, A. Rahman, W. Shi, "Topological models and frameworks for 3D spatial objects. Computers", Geosciences, 429-443, 2004.
19. A. Abdul-Rahman, P. Morakot, "Spatial Data Modelling for 3D GIS," Vol XII, p. 72, Springer, 2008.
20. E. Clementini, P. Di Felice, "Spatial operators", ACM SIGMOD Record, 2000.
21. Friedrich A.Lohmüller. (2009) CSG- Constructive Solid Geometry. [Online]. http://www.f-lohmueller.de/pov-tut/csg/povcsg1e.htm
22. I. Horrocks, P.F Schneider, H. Boley, S. Tabelt, B. Grosof, M. Dean, SWRL - A Semantic Web Rule Language - Combining OWL and RuleML, ACM Computing Surveys, 12, 437-464, 2008.
23. H. Boley, "RuleML: The Rule Markup Initiative,"2012, [Online]. http://ruleml.org/
24. T. R. Gruber, "A Translation Approach to Portable Ontology Specifications", Knowledge Acqusition, 5(2), 199-220, 1993.
25. F. Baader, I. Horrocks, U. Sattler, "Description Logics as Ontology Languages for the Semantic Web". Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence, 2003.
26. D. Calvanese, G.D. Giacomo, M. Lenzerini, D. Nardi, "Reasoning in expressive description logics". In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning, Vol. II, pp. 1581-1634. Elsevier Science Publishers, 2001.
27. F. Baader, U. Sattler, "An overview of tableau algorithms for description logics", Springer-Verlag. 1847. Scotland: LNAI, 2000.
28. S. Bechhofer, F. Van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F Patel-Schneider, "OWL Web Ontology Language," Retrieved November 27, 2009, from W3C Recommendation: http://www.w3.org/TR/owl-ref/, February 10, 2004.
29. D.L. McGuinness, F. v. Harmelen, "OWL Web Ontologgy Language: Overview". Retrieved December 2, 2009, from W3C Recommendation: http://www.w3.org/TR/owl-features/, 2004.
30. I. Horrocks, B. Parsia, P. Patel-Schneider, J. Hendler, "Semantic Web Architecture: Stack or Two Towers", 3rd Internation Workshop on Principles and Practice of Semantic Web Reasoning, pp. 37-41, Dagstuhl: LNCS , 2005.
31. L. Sterling, S. Shapiro, The Art of Prolog. MIT Press, 1994.