Data Sciences
From First Order Logic to the Web
Bibliographic Data
| ID | 16823005 |
|---|---|
| Authors | Serge ABITEBOUL (Laboratoire Spécification et Vérification, corresponding author) |
| Year | 2015 |
| Volume | 7 |
| Issue | 7 |
| Publication date | 2015-10-29 |
| 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.2669 |
| OpenAlex | W2147044949 |
| Language | EN |
Relational database management systems, using as foundations a formal language, first-order logic, serve as mediators between individuals and machines. With the increase in the volume of data disseminated on the Web, a â collective intelligenceâ is currently emerging, shaped by large search engines whose monopoly raises ethical and political questions. One of the main challenges for the coming years is the development of technologies that will make it possible to find, evaluate, validate, veri
Data control language · First-order logic · Formal grammar · Information retrieval · Natural language · Object language · Programming language · Query by Example · Query language · Rule-based machine translation · Syntax · Web search query · Advanced Database Systems and Queries · Computer Science · Semantic Web and Ontologies · Artificial Intelligence
| Highly cited | No |
|---|