M. J. Egenhofer, Qualitative Spatial-Relation Reasoning for Design, Studying Vidual and Spatial Reasoning for Design Creativity, 2010.

C. Ellul and M. M. Haklay, Using a B-Rep Structure to Query 9-Intersection Topological Relationships in 3D GIS ??? Reviewing the Approach and Improving Performance, 3D Geo-information Sciences, pp.127-151, 2009.
DOI : 10.1007/978-3-540-87395-2_9

A. Galton, Spatial and temporal knowledge representation, Earth Science Informatics, vol.28, issue.2, pp.169-187, 2009.
DOI : 10.1007/s12145-009-0027-6

D. A. Randell, Z. Cui, and A. G. Cohn, A Spatial Logic based on Regions and Connection, Proceedings 3rd International Conference on Knowledge Representation and Reasoning, 1992.

M. J. Egenhofer and J. Herring, A mathematical framework for the definition of topological relationships, Fourth International Symposium on Spatial Data Handling, 1990.

S. Zlatanova, A. A. Rahman, and W. Shi, Topology for 3D spatial objects, Proceedings International Symposium and Exhibition on Geoinformation: global trends: geoinformation for the new economy, pp.22-24, 2002.

E. Borrmann and A. Rank, Topological operators in a 3D spatial query language for building information models, Proc. of the 12th Int

A. Borrmann, S. Schraufstetter, and E. Rank, Implementing Metric Operators of a Spatial Query Language for 3D Building Models: Octree and B-Rep Approaches, Journal of Computing in Civil Engineering, vol.23, issue.1, 2009.
DOI : 10.1061/(ASCE)0887-3801(2009)23:1(34)

A. Borrmann and E. Rank, Specification and implementation of directional operators in a 3D spatial query language for building information models, Advanced Engineering Informatics, vol.23, issue.1, 2008.
DOI : 10.1016/j.aei.2008.06.005

A. Borrmann, C. Van-treeck, and 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.

A. Rank and E. Borrmann, Topological operators in a 3D spatial query language for building information models, Proc. of the 12th Int. Conf. on Computing in Civil and Building Engineering (ICCCBE), 2008.

D. Meagher, Geometric modeling using octree encoding, Computer Graphics and Image Processing, vol.19, issue.2, pp.129-147, 1982.
DOI : 10.1016/0146-664X(82)90104-6

A. Karmacharya, C. Cruz, F. Boochs, and F. Marzani, Integration of Spatial Processing and Knowledge Processing Through the Semantic Web Stack, GeoS, vol.201, pp.200-216, 2011.
DOI : 10.1007/978-3-642-15387-7_61

URL : https://hal.archives-ouvertes.fr/hal-00625080

M. J. Egenhofer, Reasoning about binary topological relations, Proceeding SSD 91 Proceedings of the Second International Symposium on Advances in Spatial Databases, 1991.
DOI : 10.1007/3-540-54414-3_36

M. Perry and J. Herring, GeoSPARQL -A geographic query language for RDF data " , A proposal for an OGC Draft Candidate Standard, Open Geospatial Consortium, vol.27, 2010.

M. Stocker and E. Sirin, PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine, 2009.

S. Zlatanova, A. Rahman, and W. Shi, Topological models and frameworks for 3D spatial objects. Computers, pp.429-443, 2004.

A. Abdul-rahman and P. Morakot, Spatial Data Modelling for 3D GIS, p.72, 2008.

E. Clementini and P. D. Felice, Spatial operators, ACM SIGMOD Record, vol.29, issue.3, 2000.
DOI : 10.1145/362084.362101

A. Friedrich and . Lohmüller, CSG-Constructive Solid Geometry, 2009.

H. Boley, RuleML: The Rule Markup Initiative, 2012.

T. R. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993.
DOI : 10.1006/knac.1993.1008

F. Baader, I. Horrocks, and U. Sattler, Description Logics as Ontology Languages for the Semantic Web, Festschrift in honor of Jörg Siekmann, 2003.
DOI : 10.1007/978-3-540-32254-2_14

D. Calvanese, G. D. Giacomo, M. Lenzerini, and D. Nardi, Reasoning in Expressive Description Logics, Handbook of Automated Reasoning, pp.1581-1634, 2001.
DOI : 10.1016/B978-044450813-3/50025-4

F. Baader and U. Sattler, An overview of tableau algorithms for description logics, 2000.

P. Mcguinness and . Patel-schneider, OWL Web Ontology Language, W3C Recommendation, 2004.

D. L. Mcguinness and F. V. Harmelen, OWL Web Ontologgy Language: Overview " . Retrieved, W3C Recommendation, 2004.

I. Horrocks, B. Parsia, P. Patel-schneider, and J. Hendler, Semantic Web Architecture: Stack or Two Towers?, 3rd Internation Workshop on Principles and Practice of Semantic Web Reasoning, pp.37-41, 2005.
DOI : 10.1007/11552222_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. Sterling and S. Shapiro, The Art of Prolog, IEEE Expert, vol.2, issue.2, 1994.
DOI : 10.1109/MEX.1987.4307074