Sciences des données
De la Logique du premier ordre à la Toile
Bibliographic Data
| ID | 16822769 |
|---|---|
| Authors | Serge ABITEBOUL (Laboratoire Spécification et Vérification, corresponding author) |
| Year | 2012 |
| Volume | 33 |
| Issue | 33 |
| Pages | 9 |
| Publication date | 2012-07-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | La lettre du Collège de France (JOURNAL) |
| Journal identifiers | ISSN: 1628-2329 • E-ISSN: 2109-9219 |
| Publisher | OpenEdition (PUBLISHER) |
| DOI | 10.4000/lettre-cdf.2502 |
| OpenAlex | W2198176776 |
| Language | FR |
Pour obtenir de l’information, nous pouvons interroger un système de gestion de bases de données. Pour ce faire, nous nous exprimons dans un langage informatique simple, peut-être graphique, peut-être même dans notre langue naturelle. Le système traduit cette demande dans un langage formel. Par cela, nous entendons une syntaxe qui permet au système de préciser la demande de l’utilisateur, et une sémantique formelle qui donne un sens exact à cette syntaxe. La logique mathématique offre un tel
Art · Humanities · Political science · Semantic Web and Ontologies
| Highly cited | No |
|---|