Qualitative Spatial-Relation Reasoning for Design, Studying Vidual and Spatial Reasoning for Design Creativity, 2010. ,
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
Spatial and temporal knowledge representation, Earth Science Informatics, vol.28, issue.2, pp.169-187, 2009. ,
DOI : 10.1007/s12145-009-0027-6
A Spatial Logic based on Regions and Connection, Proceedings 3rd International Conference on Knowledge Representation and Reasoning, 1992. ,
A mathematical framework for the definition of topological relationships, Fourth International Symposium on Spatial Data Handling, 1990. ,
Topology for 3D spatial objects, Proceedings International Symposium and Exhibition on Geoinformation: global trends: geoinformation for the new economy, pp.22-24, 2002. ,
Topological operators in a 3D spatial query language for building information models, Proc. of the 12th Int ,
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)
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
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. ,
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. ,
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
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
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
GeoSPARQL -A geographic query language for RDF data " , A proposal for an OGC Draft Candidate Standard, Open Geospatial Consortium, vol.27, 2010. ,
PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine, 2009. ,
Topological models and frameworks for 3D spatial objects. Computers, pp.429-443, 2004. ,
Spatial Data Modelling for 3D GIS, p.72, 2008. ,
Spatial operators, ACM SIGMOD Record, vol.29, issue.3, 2000. ,
DOI : 10.1145/362084.362101
CSG-Constructive Solid Geometry, 2009. ,
RuleML: The Rule Markup Initiative, 2012. ,
A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993. ,
DOI : 10.1006/knac.1993.1008
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
Reasoning in Expressive Description Logics, Handbook of Automated Reasoning, pp.1581-1634, 2001. ,
DOI : 10.1016/B978-044450813-3/50025-4
An overview of tableau algorithms for description logics, 2000. ,
OWL Web Ontology Language, W3C Recommendation, 2004. ,
OWL Web Ontologgy Language: Overview " . Retrieved, W3C Recommendation, 2004. ,
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=10.1.1.423.2674
The Art of Prolog, IEEE Expert, vol.2, issue.2, 1994. ,
DOI : 10.1109/MEX.1987.4307074