Title
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach
Abstract
The Constructive Solid Geometry (CSG) is a data model providing a set of binary Boolean operators such as Union, Difference and Intersection. In this work, these operators are used to compute topological relations between objects defined by the constraints of the nine Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we define a procedure to compute the topological relations on CSG objects. These topological relations are Disjoint, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and are defined in a top-level ontology with a specific semantic definition on relation such as Transitive, Symmetric, Asymmetric, Functional, Reflexive, and Irreflexive. The results of topological relations computation are stored in the ontology allowing after what to infer on these topological relationships. In addition, logic rules based on the Semantic Web Language allows the definition of logic programs that define which topological relationships have to be computed on which kind of objects. For instance, a "Building" that overlaps a "Railway" is a "RailStation".
Year
DOI
Venue
2013
10.1109/CSAE.2012.6272992
CoRR
Keywords
Field
DocType
boolean functions,computational geometry,semantic web,data model,solid modeling,knowledge based systems,topology,ontology,solids,logic rules,ontologies,computational modeling,owl,semantics,formal logic,constructive solid geometry,geometry
Boolean function,Spatial relation,Disjoint sets,Constructive solid geometry,Theoretical computer science,Boolean algebra,Rule of inference,Reflexive relation,Mathematics,Transitive relation
Journal
Volume
ISSN
Citations 
abs/1301.4780
IEEE International Conference on Computer Science and Automation Engineering (CSAE),, Zhangjiajie : China (2012)
2
PageRank 
References 
Authors
0.36
9
4
Name
Order
Citations
PageRank
Helmi Ben Hmida172.79
Christophe Cruz2298.10
Frank Boochs34312.60
Christophe Nicolle46815.68