{"ok":true,"nota":{"id":"dbf3ca23e0a831e1","slug":"estudio-preliminar-sobre-como-describir-reglas-y-consultas-para-la-web-dbf3ca","titulo":"Estudio preliminar sobre cómo describir reglas y consultas para la web semántica","resumen":"Revisión de trabajos previos sobre tipado de reglas en lenguajes de programación lógica usados para razonar y consultar información en la web. Analiza si esos enfoques sirven para los lenguajes de consulta que estaban en desarrollo dentro del proyecto REWERSE.","fuente":"hal","fuenteNombre":"HAL · Ciencia abierta","color":"#b06000","autor":"Cirstea, Horatiu, Coquery, Emmanuel, Drabent, Wlodzimierz","url":"https://inria.hal.science/inria-00099859","imagen":"/hoy/portada/dbf3ca23e0a831e1","tema":"tecnologia","subtemas":["web semántica","lenguajes de programación lógica","tipado de reglas","consultas en la web","rewerse"],"entidades":["REWERSE","XPathLog","Xcerpt","HAL"],"formato":"dato","entretenimiento":false,"pubTs":"2026-10-19T00:00:00.000Z","indexTs":"2026-10-22T23:43:32.973Z","hash":"8dfd9d518309feb67562d780492d9283df834da9661ab7acc3de71099fe311c5","tsa":{"time":"Oct 22 23:44:05 2026 GMT","provider":"freetsa.org","sobre":"sello"},"stats":{"views":0,"likes":0,"clicks":0,"dwell":0},"tipo":"normal","registro":"hallazgo","porQueImporta":"Para alguien de acá, esto es un antecedente técnico de cómo se piensa que la información en internet pueda interpretarse por máquinas con reglas claras. El valor está en la revisión de qué funciona y qué no antes de construir los lenguajes. Es un estudio exploratorio de hace varios años, y el resumen no muestra un resultado práctico ni una aplicación concreta.","quienFirma":"Proyecto REWERSE (red europea de investigación, institución no precisada en la fuente)","confianza":"preprint","consulta":null},"sello":{"hash":"8dfd9d518309feb67562d780492d9283df834da9661ab7acc3de71099fe311c5","sello":"474d19fc9f3ec52c931117293004ea8fa5e8fb165efb46a25c8e992ae3813a4d","beacon":{"drand":{"cadena":"8990e7a9aaed2ffed73dbd7092123d6f289930540d7651336225dc172e51b2ce","ronda":6576054,"aleatorio":"8f8dcfb4d443196aa68ade61126355ed50d90236eb903f41847d3fb46763fe9c","tiempo":"2026-10-22T23:44:00.000Z"},"nist":{"cadena":2,"pulso":1995226,"salida":"F5E9DD54A10C8D7108B3CA5EC81D0D427083BD1446F0B89536F1A1CDEA5221180BDEB5C401A8D14309B4C710634164FED521F3D72EA772DBC6C4B0AA282823A1","tiempo":"2026-10-22T23:43:00.000Z"},"noAntes":"2026-10-22T23:44:00.000Z"},"verificacion":{"drand":true,"nist":true},"tsa":{"time":"Oct 22 23:44:05 2026 GMT","provider":"freetsa.org","sobre":"sello"},"original":{"titulo":"Types for Web Rule Languages: a preliminary study","descripcion":"We survey and analyse the relevant existing work on typing of rules, in particular on typing of constraint logic programs and discuss applicability of these approaches to the rewerse reasoning and query languages under development by WG I1 and by WG I4. This is related to WG I1, developing logic programming like languages for reasoning on the web and with WG I4 investigating development of declarative query languages such as XPathLog and Xcerpt.","pubDate":"2026-10-19","url":"https://inria.hal.science/inria-00099859"},"indexado":"2026-10-22T23:43:32.973Z"}}