Difference between revisions of "Software"
| (2 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
=RDF updates and side-effects management (poorly documented PoC)= | =RDF updates and side-effects management (poorly documented PoC)= | ||
| − | This piece of software manages an RDF graph and an RDF/S schema it conforms to. Its interest is twofold: | + | This piece of software manages an RDF graph and an RDF/S schema it conforms to. It was developed in collaboration with [http://www.univ-orleans.fr/lifo/Members/chabin/ Jacques Chabin] and [http://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/ Mirian HALFELD FERRARI ALVES]. Its interest is twofold: |
* It manages side-effects of RDF updates on both the schema and the instance to preserve the integrity constraints described in ''[https://link.springer.com/article/10.1007/s10115-012-0500-2 Formal foundations for RDF/S KB evolution]''. | * It manages side-effects of RDF updates on both the schema and the instance to preserve the integrity constraints described in ''[https://link.springer.com/article/10.1007/s10115-012-0500-2 Formal foundations for RDF/S KB evolution]''. | ||
* It is based on graph transformations and grammars and relies on [http://www.user.tu-berlin.de/o.runge/agg/ AGG]. | * It is based on graph transformations and grammars and relies on [http://www.user.tu-berlin.de/o.runge/agg/ AGG]. | ||
| − | It is available [https://owncloud.insa-cvl.fr/s/CGAsgrBlDAhtvnf here] (executable Jar with TUI). Its sources are available [https://owncloud.insa-cvl.fr/s/c9brSE3M6pGnc1s here]. It is, however, poorly documented and | + | It is available [https://owncloud.insa-cvl.fr/s/CGAsgrBlDAhtvnf here] (executable Jar with TUI). Its sources are available [https://owncloud.insa-cvl.fr/s/c9brSE3M6pGnc1s here]. It is, however, poorly documented, poorly commented, and not be mature enough for diffusion. |
=Secure, differentially private coreness computation in dynamic environments= | =Secure, differentially private coreness computation in dynamic environments= | ||
This piece of software implements a robust and differentially private algorithm for k-core decomposition and maintenance in large graphs. | This piece of software implements a robust and differentially private algorithm for k-core decomposition and maintenance in large graphs. | ||
| + | |||
Accurate description and software and benchmark sources will be available after publication. | Accurate description and software and benchmark sources will be available after publication. | ||
Latest revision as of 18:44, 3 April 2018
RDF updates and side-effects management (poorly documented PoC)
This piece of software manages an RDF graph and an RDF/S schema it conforms to. It was developed in collaboration with Jacques Chabin and Mirian HALFELD FERRARI ALVES. Its interest is twofold:
- It manages side-effects of RDF updates on both the schema and the instance to preserve the integrity constraints described in Formal foundations for RDF/S KB evolution.
- It is based on graph transformations and grammars and relies on AGG.
It is available here (executable Jar with TUI). Its sources are available here. It is, however, poorly documented, poorly commented, and not be mature enough for diffusion.
Secure, differentially private coreness computation in dynamic environments
This piece of software implements a robust and differentially private algorithm for k-core decomposition and maintenance in large graphs.
Accurate description and software and benchmark sources will be available after publication.
SOP: self-manager for multi-cloud environment including users' machines
The software can be found on the project's website.
