Ontwerp en analyse van logica's voor data op het Web (R-11543)

Het World Wide Web kan beschouwd worden als een gedecentraliseerde, verspreide database, waarin elke website fungeert als gegevensbron. Ons project onderzoekt hoe gegevens op het Web kunnen ondervraagd worden op een declaratieve manier. Hierin liggen verschillende uitdagingen. Gegevens zijn typische niet gestructureerd zoals in het klassieke relationele gegevensmodel. Ook is de toegang tot vele gegevensbronnen beperkt, in die zin dat ze eerst bepaalde inputwaarden verwachten vooraleer gegevens als output worden getoond. In ons onderzoek concentreren we ons op deze twee uitdagingen. Ons eerste doelstelling is om beter te begrijpen hoe de recent geformuleerde theorie voor kennisrepresentatie, bekend als de "Logic of Information Flows", kan gespecialiseerd worden tot een bevragingstaal voor gegevensbronnen met beperkte toegangspatronen. Onze tweede doelstelling is het in kaart brengen van de uitdrukkingskracht van J-Logic, een uitbreiding van de klassieke taal Datalog voor gegevens die sequentieel van aard zijn.

Trefwoorden:discrepantie tussen in- en uitvoer, sequentiegegevens, toegang tot begrensde gegevens

Disciplines:Kennisrepresentatie en redenering, Databasetheorie, Webinformatiesystemen, Computationele logica en formele talen