Overview of partial model query language, Proc. of the 10th Int. Conf. on Concurrent Engineering, pp.549-555, 2003. ,
Web ontology language: OWL. Handbook on ontologies, pp.91-110, 2009. ,
DOI : 10.1007/978-3-540-24750-0_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.9313
Description logics. Reasoning Web. Semantic Technologies for Information Systems, pp.1-39, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00624141
Integration of knowledge to support automatic object reconstruction from images and 3D data, Eighth International Multi-Conference on Systems, Signals & Devices, 2011. ,
DOI : 10.1109/SSD.2011.5993558
URL : https://hal.archives-ouvertes.fr/hal-00778709
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, Proceeding ieee international conference on computer sciences and automation engeneering, p.2, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778527
From 3D point clouds to semantic object, KEOD, the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2010. ,
Understanding and facilitating BIM adoption in the AEC industry, Automation in Construction, vol.19, issue.8, pp.988-999, 2010. ,
DOI : 10.1016/j.autcon.2010.09.002
Control of Boundary Representation Topology in Multidisciplinary Analysis and Design From SHIQ and RDF to OWL: The making of a web ontology language. Web semantics: science, services and agents on the World Wide Web, 48th Aerospace Sciences Meeting, pp.7-26, 2003. ,
Semantic web for the working ontologist: modeling in RDF, RDFS and OWL, 2008. ,
Web ontology language: OWL. Handbook on ontologies, pp.91-110, 2009. ,
DOI : 10.1007/978-3-540-24750-0_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.9313
Nonstandard inferences in description logics: The story so far Mathematical Problems from Applied Logic I, pp.1-75, 2006. ,
Description logics. Reasoning Web. Semantic Technologies for Information Systems, pp.1-39, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00624141
Description logics, Foundations of Artificial Intelligence, vol.3, pp.135-179, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00624141
Unification in the Description Logic EL, Logical Methods in Computer Science, vol.6, issue.3, 2009. ,
DOI : 10.2168/LMCS-6(3:17)2010
An overview of tableau algorithms for description logics, Studia Logica, vol.69, issue.1, pp.5-40, 2001. ,
DOI : 10.1023/A:1013882326814
Semantic web road map, 1998. ,
Design rationale of RuleML: A markup language for semantic web rules, 2001. ,
Engineering ontologies, International Journal of Human-Computer Studies, vol.46, issue.2-3, pp.365-406, 1997. ,
DOI : 10.1006/ijhc.1996.0096
Tractable description logics for ontologies, Proceedings of the National Conference on Artificial Intelligence. Ch. 2, p.602 ,
XQuery, Proceedings of the 2003 ACM SIGMOD international conference on on Management of data , SIGMOD '03, pp.597-615, 2002. ,
DOI : 10.1145/872757.872877
The Semantic Web: the roles of XML and RDF, IEEE Internet Computing, vol.4, issue.5, pp.63-73, 2000. ,
DOI : 10.1109/4236.877487
Introduction to the special issue on Prolog systems, Theory and Practice of Logic Programming, vol.12, issue.1-2, pp.1-4, 2012. ,
DOI : 10.1017/S1471068411000524
First-order Predicate Logic. Introduction to Artificial Intelligence, pp.31-55, 2011. ,
OIL: an ontology infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.1638-1683, 2001. ,
DOI : 10.1109/5254.920598
Rewriting ontological queries into small nonrecursive Datalog programs, Proc. of DL, p.745, 2011. ,
What is an Ontology. Encyclopedia of Database Systems, 2008. ,
Writing rules for the semantic web using SWRL and Jess, 2005. ,
Protege. [Online] Available at: http://protege, 2012. ,
Attributive concept descriptions with complements, Artificial Intelligence, vol.48, issue.1, pp.1-26, 1991. ,
DOI : 10.1016/0004-3702(91)90078-X
HermiT: A highly-efficient OWL reasoner, 2008. ,
Sparql-dl: Sparql query for owl-dl, 2007. ,
Xsb: Extending prolog with tabled logic programming. Theory and Practice of Logic Programming, pp.157-187, 2012. ,
FaCT++ Description Logic Reasoner: System Description, pp.292-297, 2006. ,
DOI : 10.1007/11814771_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.2672
Semantic annotation for knowledge management: Requirements and a survey of the state of the art, Web Semantics: Science, Services and Agents on the World Wide Web, pp.14-28, 2006. ,
DOI : 10.1016/j.websem.2005.10.002
Ontology and SWRL-Based Learning Model for Home Automation Controlling, 2010. ,
DOI : 10.1007/978-3-642-13268-1_10
Corporate memories as a tool for knowledge management, Expert Systems with Applications, vol.13, issue.1, pp.41-54, 1997. ,
DOI : 10.1016/S0957-4174(97)00021-3
Will HTML 5 Restandardize the Web?, Computer, vol.43, issue.4, pp.13-15, 2010. ,
DOI : 10.1109/MC.2010.119
Description logics. Reasoning Web. Semantic Technologies for Information Systems, pp.1-39, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00624141
Algorithms for reverse engineering boundary representation models, Computer-Aided Design, vol.33, issue.11, pp.839-851, 2001. ,
DOI : 10.1016/S0010-4485(01)00100-2
From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies, KEOD 2012, 4th International Conference on Knowledge Engineering and Ontology Development, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778715
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, IEEE International Conference on Computer Science and Automation Engineering, issue.3, pp.453-458, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778527
GIS and Mobile Query, 2009 Second International Conference on Computer and Electrical Engineering, pp.648-651, 2009. ,
DOI : 10.1109/ICCEE.2009.240
GDMS: An abstraction layer to enhance Spatial Data Infrastructures usability, 11th AGILE International Conference on Geographic on Information Science -AGILE, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00329500
Automata-Based Symbolic Representations of Polyhedra. Language and Automata Theory and Applications, pp.3-20, 2012. ,
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-XII), 2008. ,
Specification and implementation of directional operators in a 3D spatial query language for building information models, Advanced Engineering Informatics, vol.23, issue.1, pp.32-44, 2009. ,
DOI : 10.1016/j.aei.2008.06.005
Topological analysis of 3D building models using a spatial query language, Advanced Engineering Informatics, vol.23, issue.4, pp.370-385, 2009. ,
DOI : 10.1016/j.aei.2009.06.001
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, p.34, 2009. ,
DOI : 10.1061/(ASCE)0887-3801(2009)23:1(34)
Towards a 3D spatial query language for building information models, Proc. Joint Int. Conf. of Computing and Decision Making in Civil and Building Engineering, 2006. ,
Automated retrieval of 3D CAD model objects in construction range images. Automation in Construction, pp.499-512, 2008. ,
OGC Reference Model, 2012. ,
Description Logics as Ontology Languages for the Semantic Web, Mechanizing Mathematical Reasoning, pp.228-248, 2005. ,
DOI : 10.1007/978-3-540-32254-2_14
An overview of tableau algorithms for description logics, Studia Logica, vol.69, issue.1, pp.5-40, 2001. ,
DOI : 10.1023/A:1013882326814
TOQL: Temporal Ontology Querying Language, Advances in Spatial and Temporal Databases, pp.338-354, 2009. ,
DOI : 10.1007/3-540-48317-9_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.2916
From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies, KEOD 2012, 4th International Conference on Knowledge Engineering and Ontology Development, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778715
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, IEEE International Conference on Computer Science and Automation Engineering, issue.3, pp.453-458, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778527
Semantic Web und semantische Technologien: Zentrale Begriffe und Unterscheidungen, pp.9-25, 2006. ,
DOI : 10.1007/3-540-29325-6_2
Exchange of CAD section models based on the macro-parametric approach, International Journal of CAD/CAM, issue.2, pp.13-21, 2009. ,
Leadwerks Engine, 2006. ,
Qualitative Spatial-Relation Reasoning for Design, Studying Visual and Spatial Reasoning for Design Creativity, 2010. ,
DOI : 10.1007/978-94-017-9297-4_9
Using a B-Rep Structure to Query 9-Intersection Topological Relationships in 3D GIS ??? Reviewing the Approach and Improving Performance, pp.127-151, 2009. ,
DOI : 10.1007/978-3-540-87395-2_9
Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and Implementation, Algorithms, pp.654-666, 2003. ,
DOI : 10.1007/978-3-540-39658-1_59
What is an Ontology. Encyclopedia of Database Systems, 2008. ,
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data, Proc. of 3rd OWL: Experiences and Directions (OWLED2007), 2007. ,
From SHIQ and RDF to OWL: The making of a web ontology language. Web semantics: science, services and agents on the World Wide Web, pp.7-26, 2003. ,
The technology acceptance model and the World Wide Web. Decision support systems, pp.269-282, 2000. ,
Region Connection Calculus: Its models and composition table, Artificial Intelligence, vol.145, issue.1-2, pp.121-146, 2003. ,
DOI : 10.1016/S0004-3702(02)00372-7
URL : http://doi.org/10.1016/s0004-3702(02)00372-7
OWL web ontology language overview. W3C recommendation, pp.2004-2007, 2004. ,
SQWRL: a Query Language for OWL, 6th International Workshop on OWL: Experiences and Directions, 2009. ,
Pellet: An owl dl reasoner, 3rd International Semantic Web Conference, 2004. ,
Sparql-dl: Sparql query for owl-dl, 3rd OWL Experiences and Directions Workshop, 2007. ,
Pelletspatial: A hybrid rcc-8 and rdf/owl reasoning and query engine, Proc. OWL: Experiences and Directions (OWLED), 6th International Workshop, 2009. ,
Integrating CAE concepts with CAD geometry, The 3DSQ platform Demonstration using, pp.75-104, 2002. ,
Description Logics as Ontology Languages for the Semantic Web, Mechanizing Mathematical Reasoning, pp.228-248, 2005. ,
DOI : 10.1007/978-3-540-32254-2_14
Description logics, Foundations of Artificial Intelligence, vol.3, pp.135-179, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00624141
From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies, KEOD 2012, 4th International Conference on Knowledge Engineering and Ontology Development, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778715
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, IEEE International Conference on Computer Science and Automation Engineering, vol.3, pp.453-458, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778527
Topological analysis of 3D building models using a spatial query language, Advanced Engineering Informatics, vol.23, issue.4, pp.370-385, 2009. ,
DOI : 10.1016/j.aei.2009.06.001
Towards a 3D spatial query language for building information models, Proc. of the 11th Int, 2006. ,
BIM handbook. Wiley Online Library, 2008. ,
DOI : 10.1002/9780470261309
On the use of open bim and 4D visualisation in a predictive life cycle management system for construction works, Electronic Journal of Information Technology in Construction, vol.16, pp.445-466, 2011. ,
SQWRL: a Query Language for OWL, 6th International Workshop on OWL: Experiences and Directions, 2009. ,
Pellet: A practical owl-dl reasoner. Web Semantics: science, services and agents on the World Wide Web, pp.51-53, 2007. ,
IFC and building lifecycle management. Automation in Construction, pp.70-78, 2008. ,
Integrating building footprints and LiDAR elevation data to classify roof structures and visualise buildings, Computers, Environment and Urban Systems, vol.33, issue.4, pp.285-292, 2009. ,
DOI : 10.1016/j.compenvurbsys.2009.01.009
Automatic Model Refinement for 3D Reconstruction with Mobile Robots, Fourth International Conference on 3-D Digital Imaging and Modeling, pp.394-401, 2003. ,
Web ontology language: Owl. Handbook on ontologies, pp.91-110, 2009. ,
DOI : 10.1007/978-3-540-24750-0_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.9313
Metronom Automation. [Online] Available at: http://www.metronom-automation.de/en, 2012. ,
Deutschen Bahn AG, 2012. ,
IFC BIM-based methodology for semi-automated building energy performance simulation, 2008. ,
Semantic-based Technique for the Automation the 3D Reconstruction Process, SEMAPRO 2010, The Fourth International Conference on Advances in Semantic Processing, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00623889
Knowledge Base Approach for 3D Objects Detection in Point Clouds Using 3D Processing and Specialists Knowledge, International Journal On Advances in Intelligent Systems, vol.5, pp.1-14, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778694
From 3D point clouds to semantic object, KEOD, theInternational Joint Conference on Knowledge Discovery, 2011. ,
From Unstructured 3D Point Clouds to Structured Knowledge -A Semantics Approach, Semantics -Advances in Theories and Mathematical Models. InTech, pp.213-259, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778533
Integration of knowledge to support automatic object reconstruction from images and 3D data, Eighth International Multi-Conference on Systems, Signals & Devices, 2011. ,
DOI : 10.1109/SSD.2011.5993558
URL : https://hal.archives-ouvertes.fr/hal-00778709
Almost all Delaunay triangulations have stretch factor greater than <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>??</mml:mi><mml:mo stretchy="false">/</mml:mo><mml:mn>2</mml:mn></mml:math>, Computational Geometry, vol.44, issue.2, pp.121-127, 2011. ,
DOI : 10.1016/j.comgeo.2010.09.009
Handbook of Markov Chain Monte Carlo: methods & applications, Recherche, vol.20116022, p.6702, 2011. ,
DOI : 10.1201/b10905
Improving architectural 3D reconstruction by constrained modelling, College of Science and Engineering. School of Informatics, 2003. ,
DOI : 10.5244/c.16.2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2055
Quality Enhancement of Reconstructed 3D Models Using Coplanarity and Constraints, Pattern Recognition, pp.34-41, 2002. ,
DOI : 10.1007/3-540-45783-6_5
Introduction to geographic information systems, 2010. ,
Optimal randomized RANSAC. Pattern Analysis and Machine Intelligence, IEEE Transactions on, vol.30, pp.1472-1482, 2008. ,
DOI : 10.1109/tpami.2007.70787
What is Constructive Solid Geometry?, 2006. ,
Ontology Enrichment and Automatic Population From XML Data, Proc. of ODBIS, 2008. ,
Ontology-Based Object Recognition for Remote Sensing Image Interpretation, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007), 2007. ,
DOI : 10.1109/ICTAI.2007.111
URL : https://hal.archives-ouvertes.fr/hal-01463170
Reasoning about geometry: An approach using spatial-descriptive ontologies, Workshop AILog, 19th European Conference on Artificial Intelligence, 2010. ,
Building Reconstruction by Target Based Graph Matching on Incomplete Laser Data: Analysis and Limitations, Sensors, vol.9, issue.8, pp.6101-6118, 2009. ,
DOI : 10.3390/s90806101
Smooth Journey. Fraunhofer magzine: Research technology and innovation, p.48, 2007. ,
Markov random field models for hair and face segmentation, 2008 8th IEEE International Conference on Automatic Face & Gesture Recognition, 2008. ,
DOI : 10.1109/AFGR.2008.4813431
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.8568
Three-dimensional thrombus segmentation in abdominal aortic aneurysms using graph search based on a triangular mesh, Computers in biology and medicine, pp.271-278, 2010. ,
DOI : 10.1016/j.compbiomed.2009.12.002
Towards semantic maps for mobile robots, Robotics and Autonomous Systems, vol.56, issue.11, pp.915-926, 2008. ,
DOI : 10.1016/j.robot.2008.08.001
Knowledge based reconstruction of building models from terrestrial laser scanning data, ISPRS Journal of Photogrammetry and Remote Sensing, vol.64, issue.6, pp.575-584, 2009. ,
DOI : 10.1016/j.isprsjprs.2009.04.001
Extracting windows from terrestrial laser scanning, 2007. ,
Generations of knowledge management in the architecture, engineering and construction industry: An evolutionary perspective, Advanced Engineering Informatics, vol.24, issue.2, pp.219-228, 2010. ,
DOI : 10.1016/j.aei.2009.12.001
Data driven rule proposal for grammar based facade reconstruction Photogrammetric Image Analysis, pp.1-6, 2007. ,
Modelbased and learned semantic object labeling in 3D point cloud maps of kitchen environments, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3601-3608, 2009. ,
Automatic extraction of vertical walls from mobile and airborne laser scanning data, International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences, p.38, 2009. ,
A Probabilistic Approach to Building Roof Reconstruction Using Semantic Labelling, Proceedings of the DAGM Conference, 2002. ,
DOI : 10.1007/3-540-45783-6_31
Multiclass Multimodal Detection and Tracking in Urban Environments, The International Journal of Robotics Research, vol.2, issue.2, pp.1498-1515, 2010. ,
DOI : 10.1177/0278364910377533
Topologically correct surface reconstruction using alpha shapes and relations to ball-pivoting, 2008 19th International Conference on Pattern Recognition, 2008. ,
DOI : 10.1109/ICPR.2008.4761263
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.5605
Hough-transform and extended RANSAC algorithms for automatic detection of 3D building roof planes from Lidar data, 2007. ,
URL : https://hal.archives-ouvertes.fr/halshs-00264843
Segmentation of building facades using procedural shape priors, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2010. ,
DOI : 10.1109/CVPR.2010.5540068
URL : https://hal.archives-ouvertes.fr/hal-00856063
3D building model reconstruction from point clouds and ground plans. International Archives of Photogrammetry Remote Sensing and Spatial Information Sciences, pp.37-44, 2001. ,
A boundary-representation method for designing whole-body radiation dosimetry models: pregnant females at the ends of three gestational periods???RPI-P3, -P6 and -P9, Physics in medicine and biology, p.7023, 2007. ,
DOI : 10.1088/0031-9155/52/23/017