EN FR
Inria scientific annual reports Inria
TYREX - 2015


2015 Project-Team Activity Report
TYREX
Types and Reasoning for the Web
Research centre: Grenoble - Rhône-Alpes
In partnership with: CNRS, Institut polytechnique de Grenoble, Université Joseph Fourier (Grenoble), Université Pierre Mendes-France (Grenoble)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)



Field: Perception, Cognition and Interaction

Theme: Data and Knowledge Representation and Processing
Keywords:
Computer Science and Digital Science:
  • 2.1.1. - Semantics of programming languages
  • 2.1.10. - Domain-specific languages
  • 2.1.3. - Functional programming
  • 2.2.1. - Static analysis
  • 2.4. - Reliability, certification
  • 3.1.1. - Modeling, representation
  • 3.1.2. - Data management, quering and storage
  • 3.1.3. - Distributed data
  • 3.1.6. - Query optimization
  • 3.1.7. - Open data
  • 3.1.8. - Big data (production, storage, transfer)
  • 3.2.1. - Knowledge bases
  • 3.2.2. - Knowledge extraction, cleaning
  • 3.2.3. - Inference
  • 3.2.4. - Semantic Web
  • 3.2.5. - Ontologies
  • 3.3.1. - On-line analytical processing
  • 3.3.3. - Big data analysis
  • 5.6. - Virtual reality, augmented reality
  • 6.3.2. - Data assimilation
  • 6.3.3. - Data processing
  • 7.4. - Logic in Computer Science
  • 8.1. - Knowledge
  • 8.7. - AI algorithmics
Other Research Topics and Application Domains:
  • 6.1. - Software industry
  • 6.3.1. - Web
  • 6.4. - Internet of things
  • 6.5. - Information systems
  • 7.2. - Smart travel
  • 8.1.2. - Sensor networks for smart buildings
  • 8.2. - Connected city
  • 9.4.1. - Computer science
  • 9.4.5. - Data science
  • 9.7.2. - Open data
  • 9.9. - Risk management