BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20241027T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20250330T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.28665.field_data.0@oba.diag.uniroma1.it
DTSTAMP:20260410T040511Z
CREATED:20250301T184147Z
DESCRIPTION:In ottemperanza ai requisiti previsti dalla procedura valutativ
 a ai fini della chiamata a Professore di II Fascia ai sensi dell'art.24 c.
 5 L. 240/2010 per il Settore Concorsuale 09/H1 – Settore Scientifico Disci
 plinare ING-INF/05 presso il Dipartimento di Ingegneria informatica\, auto
 matica e gestionale Antonio Ruberti\, martedì 4 Marzo 2025 alle ore 12:00s
 i terrà il seminario pubblico di Marco Console sulle sue attività di ricer
 ca\, in modalità mista:presso l'Aula Magna del DIAGe in collegamento Zoom:
  https://uniroma1.zoom.us/j/87384086077?pwd=9CABwTDXqafDYKxq1OKLsmB0uWaFRp
 .1Meeting ID: 873 8408 6077Passcode: 411703 TitleModel-theoretic Character
 ization of Rule-Based Languages AbstractTuple-generating dependencies (tgd
 s) are a logic-based language originally introduced as a unifying framewor
 k for database integrity constraints. In recent years\, however\, tgds hav
 e been used for different data-related applications such as data exchange 
 and integration and ontology-mediated query answering. This revised intere
 st gave rise to the definition of several different tgd-based languages th
 at exhibit specific computational properties. One fundamental question tha
 t remained largely unexplored so far is whether the expressive power of su
 ch languages can be characterized in terms of some natural model-theoretic
  properties. This question was addressed by a recent paper on the topic th
 at presented several such characterizations including\, among others\, tho
 se of linear\, guarded\, and frontier-guarded tgds. In this talk\, I will 
 survey such results and provide intuition on the model-theoretic propertie
 s that are involved in the characterizations.  
DTSTART;TZID=Europe/Paris:20250304T120000
DTEND;TZID=Europe/Paris:20250304T120000
LAST-MODIFIED:20250302T085911Z
LOCATION:Aula Magna\, DIAG
SUMMARY:SEMINARIO PUBBLICO DI MARCO CONSOLE - Marco Console
URL;TYPE=URI:http://oba.diag.uniroma1.it/node/28665
END:VEVENT
END:VCALENDAR