Abstract

Résumé Les auteurs distinguent classiquement topologie et ontologie temporelles et entreprennent de montrer que le choix d’une ontologie temporelle, mais aussi d’une ontologie générale, a des conséquences sur les propriétés de la topologie temporelle. Ils choisissent comme point de départ de cette démonstration l’application du principe d’indépendance d’Armstrong à l’ontologie temporelle et plus spécialement à la transitivité. Leur conclusion est que le choix de ce principe pose des problèmes très difficiles pour l’ontologie temporelle, autant que pour la topologie temporelle.