TYREX: Types and Reasoning for the Web

General data

Overview

  • ID: https://ror.org/02cksep19
  • ATR ID: 02cksep19
  • ATR Label: TYREX: Types and Reasoning for the Web
  • Status: active
  • Established: 2020
  • Types: facility

Locations

  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France
    • GeoNames ID: 2992908
    • Coordinates: 45.22537, 5.8017

Names

  • TYREX (acronym)
  • TYREX: Types and Reasoning for the Web (label, ror_display, en)

External IDs

No external ids listed.

Domains

  • inria.fr

Relationships

  • parent: Centre Inria de l'Université Grenoble Alpes
    • https://ror.org/00n8d6z93
  • parent: Laboratoire d'Informatique de Grenoble
    • https://ror.org/01c8rcg82

Administrative Information

  • Created: 2025-09-19 (schema 2.1)
  • Last modified: 2025-09-22 (schema 2.1)

Augmented data

{
  "atr_id": "02cksep19",
  "atr_label": "TYREX: Types and Reasoning for the Web",
  "atr_website": "https://www.inria.fr/equipes/tyrex",
  "domains": [
    "inria.fr"
  ]
}

Test data

{
  "website": {
    "ping": {
      "tested_url": "https://www.inria.fr/equipes/tyrex",
      "http_code": 200,
      "message": "[19543] (200) ",
      "datetime": "2026-06-26 13:30:45",
      "elapsed": 0.5957119464874268
    }
  }
}

ATR includes organizational metadata sourced from the Research Organization Registry (ROR). ATR independently aggregates, processes, and presents this information and is not affiliated with or endorsed by ROR.