From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies

by   Helmi Ben Hmida, et al.

This paper presents a method to compute automatically topological relations using SWRL rules. The calculation of these rules is based on the definition of a Selective Nef Complexes Nef Polyhedra structure generated from standard Polyhedron. The Selective Nef Complexes is a data model providing a set of binary Boolean operators such as Union, Difference, Intersection and Symmetric difference, and unary operators such as Interior, Closure and Boundary. In this work, these operators are used to compute topological relations between objects defined by the constraints of the 9 Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we defined a procedure to compute the topological relations on Nef polyhedra. These topological relationships are Disjoint, Meets, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and 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 the computation of topological relationships are stored in an OWL-DL ontology allowing after what to infer on these new relationships between objects. In addition, logic rules based on the Semantic Web Rule Language allows the definition of logic programs that define which topological relationships have to be computed on which kind of objects with specific attributes. For instance, a "Building" that overlaps a "Railway" is a "RailStation".



There are no comments yet.


page 1

page 2

page 3

page 4


Theories of real addition with and without a predicate for integers

We show that it is decidable whether or not a relation on the reals defi...

On the Internal Topological Structure of Plane Regions

The study of topological information of spatial objects has for a long t...

Knowledge Base Approach for 3D Objects Detection in Point Clouds Using 3D Processing and Specialists Knowledge

This paper presents a knowledge-based detection of objects approach usin...

Inference rules for RDF(S) and OWL in N3Logic

This paper presents inference rules for Resource Description Framework (...

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)

We present a first result towards the use of entailment in- side relatio...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.