Difference between revisions of "Software"
(→SOP) |
(→RDF updates) |
||
| Line 3: | Line 3: | ||
=RDF updates= | =RDF updates= | ||
| − | This | + | This piece of software manages an RDF graph and an RDF/S schema it conforms to. 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 is based on graph transformations and grammars and relies on [http://www.user.tu-berlin.de/o.runge/agg/ AGG]. | ||
| − | https://owncloud.insa-cvl.fr/s/CGAsgrBlDAhtvnf executable Jar with TUI | + | 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 commented. |
| − | |||
| − | https://owncloud.insa-cvl.fr/s/c9brSE3M6pGnc1s | ||
=Secure, differentially private coreness computation in dynamic environments= | =Secure, differentially private coreness computation in dynamic environments= | ||
Revision as of 18:16, 3 April 2018
This page is under construction. It should be up before the 6th April.
RDF updates
This piece of software manages an RDF graph and an RDF/S schema it conforms to. 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 and commented.
Secure, differentially private coreness computation in dynamic environments
SOP: self-managed multi-cloud environment including users' machines
The software can be found on the project's website.
