BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260408T181732Z
UID:Seminar-dept-331@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20131015T160000
DTEND:20131015T170000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Andre Hernich: Information Integration and Reasoning under Expressive Constraints\n\nThere is a fruitful interaction between information integration and\n\nreasoning over (database or description logic) constraints. Information\n\nintegration is the problem of combining data from several sources into\n\na single database, called the global database, providing users with \n\na unified view on the data sources. It comes in two flavours, one where\n\nthe global database has to be materialized, and one where the global\n\ndatabase is merely virtual. Recent approaches model the mapping from \n\nthe data sources to the global database by a set of constraints on the\n\npossible global databases. Answering a query on the global database thus\n\namounts to checking if the query is entailed by the source data and \n\nthe constraints. \n\n\n\nIn this talk, I'll give a short overview on recent approaches to solve\n\nthe entailment problem efficiently for "practically" relevant classes \n\nof constraints and queries.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=331
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR