Differences

This shows you the differences between two versions of the page.

--- teaching:mfe:is [2014/02/14 15:10]
svsummer
+++ teaching:mfe:is [2014/02/19 15:16]
ezimanyi [Extending SPARQL for Spatio-temporal Data Support]
@@ Line 1: / Line 1: @@
-====== MFE 2013-2014 : Web and Information Systems ======
+====== MFE 2014-2015 : Web and Information Systems ======
 ===== Introduction =====
@@ Line 109: / Line 109: @@
   * Contact : [[ezimanyi@ulb.ac.be|Esteban Zimanyi]]
+===== Efficient computation of simulation for structural indexing  =====
+Simulation and bisimulation are  fundamental notions in computer science. They underlie many formal verification algorithms, and have recently been applied to the construction of indexing data structures for relational databases and the semantic web.
+Essentially, a simulation or bisimulation is a relation on the nodes
+of a graph. Unfortunately, however, while efficient main-memory
+algorithms for computing whether two nodes are simulating or bisimulating exist, these algorithms fail when no the input graphs are too large to fit in main memory.
+The goal of this thesis is to study, compare, and implement various
+approaches to computing simulation in an external memory setting, for
+the explicit purpose of using the implementation to efficiently construct
+simulation-based indexes for large relational databases and the
+semantic web.
+  * Contact : [[stijn.vansummeren@ulb.ac.be|Stijn Vansummeren]]
 ===== Aspects of Text Analytics and Information Extraction =====
@@ Line 137: / Line 153: @@
 Interested? Contact [[stijn.vansummeren@ulb.ac.be|Stijn Vansummeren]]
 ===== Models for programming Data Management in the Cloud =====
@@ Line 190: / Line 207: @@
-===== Aspects of File and Data Synchronization =====
-With the ubiquitous use of mobile computational devices such as
-laptops and PDAs, it has become increasingly important to be able to
-synchronize data between these devices. To give a few examples: a new
-appointment inserted in the calendar on a PDA must become visible on
-the user's laptop after synchronization (and vice versa); files
-modified on the laptop have to be synchronized with the Desktop
-computer, and so on. But what do we do when an appointment is modified
-on the PDA and at the same time deleted on the laptop? Dealing with
-such conflicts is the main difficulty in designing good
-synchronization software.
-The goal of this thesis is to study, compare, and implement various
-approaches to file and data synchronizers. This entails studying some
-of the techniques used by distributed systems and version control
-systems (such as CVS and Subversion), but also requires an
-investigation of some more recent synchronization proposals like
-Unison (http://www.cis.upenn.edu/~bcpierce/unison/index.html) and the
-so-called "Lenses" proposed in the Harmony project
-(http://www.seas.upenn.edu/~harmony).
-  * Contact : [[stijn.vansummeren@ulb.ac.be|Stijn Vansummeren]]
 =====Foundations of Data Description Languages=====
@@ Line 260: / Line 252: @@
 by application providers, that can build attractive and useful applications, in particular, for devices like mobile phones, tablets, etc.
-The goals of this thesis are: (i) study the existing proposals for mapping spatio-temporal data into LOD; (ii) apply this mapping to a real world case study (the "Open Semantic Cloud for Brussels" project; (iii) Based on the produced mapping, and using existing applications like the [[http://http://linkedgeodata.org/|Linked Geo Data project]], build applications that make use of LOD for example, to find out which cultural events are taking place at a given time at a given location.
+The goals of this thesis are: (i) study the existing proposals for mapping spatio-temporal data into LOD; (ii) apply this mapping to a real-world case study (as was the case for the [[http://www.oscb.be/|Open Semantic Cloud for Brussels]] project; (iii) Based on the produced mapping, and using existing applications like the [[http://linkedgeodata.org/|Linked Geo Data project]], build applications that make use of LOD for example, to find out which cultural events are taking place at a given time at a given location.
-* Contacts :
+    * Contact: [[ezimanyi@ulb.ac.be|Esteban Zimányi]] (CoDE)
-    * [[ezimanyi@ulb.ac.be|Esteban Zimányi]] (CoDE)
 =====Extending SPARQL for Spatio-temporal Data Support=====
 [[http://www.w3.org/TR/rdf-sparql-query/|SPARQL]] is the W3C standard language to query RDF data over the semantic web. Although syntactically similar to SQL,  SPARQL is based on graph matching. In addition, SPARQL is aimed, basically, to query alphanumerical data.
-Therefore, a proposal to extend SPARQL to support spatial data has been presented to the Open Geospatial Consortium. This proposal is called  [[http://www.opengeospatial.org/projects/groups/geosparqlswg/|GeoSPARQL]].
+Therefore, a proposal to extend SPARQL to support spatial data, called  [[http://www.opengeospatial.org/projects/groups/geosparqlswg/|GeoSPARQL]], has been presented to the Open Geospatial Consortium.
-In his thesis we propose to (a) perform an analysis of the current proposal for GeoSARQL; (b) a study of  current implementations of SPARQL that support spatial data; (c) implement simple extensions for SPARQL to support spatial data, and use these language in real-world use cases.
+In this thesis we propose to (a) perform an analysis of the current proposal for GeoSARQL; (b) a study of  current implementations of SPARQL that support spatial data; (c) implement simple extensions for SPARQL to support spatial data, and use these language in real-world use cases.
-* Contacts :
+   * Contact: [[ezimanyi@ulb.ac.be|Esteban Zimányi]] (CoDE)
-    * [[ezimanyi@ulb.ac.be|Esteban Zimányi]] (CoDE)