• Aucun résultat trouvé

A Spatiotemporal Analysis of Membership: Formalizing the Space-Time Elements of Connection for Groups

N/A
N/A
Protected

Academic year: 2021

Partager "A Spatiotemporal Analysis of Membership: Formalizing the Space-Time Elements of Connection for Groups"

Copied!
1
0
0

Texte intégral

(1)

A Spatiotemporal Analysis of Membership:  

Formalizing the Space‐Time Elements of Connection for Groups  

Pierre Hallot, Kathleen Stewart  Department of Geography, The University of Iowa  pierre‐hallot@uiowa.edu, kathleen‐stewart@uiowa.edu  Keywords: Membership, Ontology, Spatiotemporal Relationships, Group, Semantic 

This  research  aims  to  formalize  the  spatiotemporal  relationships  of  membership  between  individuals  and  the  groups  to  which  they  belong.  Specifically,  we  analyze  how  the  membership  to  a  community  evolves over time considering past, present and future connections. The framework developed for this  research  is  presented  using  an  ontological  approach.  We  demonstrate  a  specific  domain  ontology  application  for  spatiotemporal  membership  using  BFO2,  an  updated  version  of  the  Basic  Formal  Ontology.  Key  to  this  work  is  the  representation  of  membership,  modeled  through  different  kinds  of  mereological relations possible with a group, for example, pre‐member, active member, and alumni that  capture  how  membership  evolves  and  changes  over  time.  The  semantic  web  rule  language  (SWRL)  is  used to express the different spatiotemporal events that relate to membership and their consequences  on membership such as subscription, graduation and reunion events. Mobility events are also included in  the  model.  SWRL  supports  reasoning  using  the  ontology  and  studying  the  evolution  of  membership  between  people  and  their  various  groups.  We  use  the  environment  of  a  university  community  as  an  exemplar to develop and test the formalizations. However, the ideas are generalizable to a wide range  of  spatiotemporal  domains,  for  example,  these  ideas  hold  for  citizenship  modeling  or  for  consumers  shopping at certain retail chains. The study of the evolution of membership connections between these  entities and groups lends important insights for many different kinds of event planning. 

Références

Documents relatifs

In the terminal, let’s mount some SMB file shares using the mount_smbfs command.The mount_smbfs command is used to mount SMB (Windows) file shares.You will need to do this as the

We also show that the space of ends of a countable group has a continuous map onto the Stone- ˇ Cech boundary of N if and only if the group is infinite locally finite, and

Propositions 3.6 and 3.8 together prove that every existentially closed group contains a finitely generated subgroup with unsolvable word problem. IV, Theorem 8.5]) has proved

a group ~3 of permutations of the experiments, which forms the space- time invariance group of the set of natural laws for which ~ is the class of equivalent frames.. In

L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » ( http://www.sns.it/it/edizioni/riviste/annaliscienze/ ) implique l’accord

As we saw in the proof of Proposition 32, it suffices to study the subsystems obtained from equation (34) that correspond to the orbits of the action of conjugation by δ.. This

L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » ( http://rendiconti.math.unipd.it/ ) implique l’accord avec les

maximal subgroups of Sylow subgroups of Fitting subgroup of a finite. group,