Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Logical-ontological checking of a map product

Any map product is an instance of a predefined process of representing a part of the real world for a particular purpose. A geological map has not the same purpose than a topographic map, and even a 1/25000-topo-map has not the same purpose than a 1/100000 topo-map. All these map series are based on a particular set of specifications, whose only a part is standardised into meta-data. Many other definition (attribute domains, integrity constraints, cross-domain constraints) may exist and be available.

The work done in the project is to consider the whole set of specifications as the basis for a "product ontology". Then the method is to build a logical version of it, enabling us:
(1) to translate the constraints into a Prolog set of clauses;
(2) to check the self-consistency of clauses;
(3) to translate (classical first order) a particular map data set into 'facts' that instantiate the Prolog program, and to check if this data set is a logically proved model for its own specification set. This is a full-scale method for a complete, proven model checking of any data set with respects to its specifications (interest for map agencies);
(4) possibly to add new constraints to check their consistency with previous specifications, and to perform again a data set model-checking. This permits a consistent evolution of specifications. This permits a consistent fusion of external data within a specified map product (or at least to track reasons for fusion issues), either these data being more recently acquired (map update), or extracted from another map product (with different specifications, but a similar definition).

Finally this approach provides a rigorous way of representing the underlying "ontology" of a map product as a set of axioms directly computable in a logical solver. Some tractability issues may arise if the propagation of conflicts is not controlled (additional constraints should be added rather individually).

Informations connexes

Reported by

Universite de Provence
CMI, 39 rue Joliot-Curie
13453 Marseille
See on map