Centre de documentation
scientifique

A spatio-temporal ontology for geographic information integration / T. Bittner in International journal of geographical information science IJGIS, vol 23 n° 6 (june 2009)  

Public [article]  inInternational journal of geographical information science IJGIS > vol 23 n° 6 (june 2009) . - pp 765 - 798 Titre : A spatio-temporal ontology for geographic information integration Type de document : Article/Communication Auteurs : T. Bittner, Auteur ; Maureen Donnelly, Auteur ; B. Smith, Auteur Année de publication : 2009 Article en page(s) : pp 765 - 798 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Infrastructure de données [Termes IGN] données localisées [Termes IGN] information géographique [Termes IGN] intégration de données [Termes IGN] interopérabilité [Termes IGN] langage de modélisation [Termes IGN] ontologie [Termes IGN] raisonnement spatiotemporel Résumé : (Auteur) This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations - in particular their behavior with respect to time - is critical for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. Copyright Taylor & Francis Numéro de notice : A2009-317 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1080/13658810701776767 En ligne : https://doi.org/10.1080/13658810701776767 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29947 [article]

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
079-09041	RAB	Revue	Centre de documentation	En réserve L003	Disponible
079-09042	RAB	Revue	Centre de documentation	En réserve L003	Disponible