Project R-11543

Design and analysis of logics for Web data (Research)

The web can be viewed as a decentralized or distributed database where each website acts as a data source. The big umbrella that our research falls under it is to be able to query the web data specially in a declarative way. In general, data on the web does not have to be structured as in the classical relational model. Moreover, it is often the case where we have to give some information in order to get what we are searching for. From here, our focus on information sources with limited access patterns and semi-structured data came from. Hence, our objectives are divided among these two categories of data. Our first objective was to investigate how we can model querying access restricted information sources using a recent knowledge representation framework of logics called the Logic of information flows. As for the second objective, we focus on sequence data as an example of semi-structured data. One formalization that works with sequence data is J-Logic, which is also a logical language based on Datalog that extends the language with some new features. This being said, our second research objective was to conduct an extensive relative expressiveness investigation that compares the different language features in J-Logic.

16 March 2019 - 15 March 2023