Web data management, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00847933
Graph rewriting rules for consistent RDF updates ,
SetUp: a tool for consistent updates of rdf knowledge graphs ,
Consistent updating of databases with marked nulls, Knowledge and Information Systems, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02457444
Formal foundations for RDF/S KB evolution, Knowl. Inf. Syst, vol.35, issue.1, pp.153-191, 2013. ,
Efficient query answering against dynamic rdf databases, Proceedings of the 16th International Conference on Extending Database Technology, pp.299-310, 2013. ,
A visual interpreter semantics for statecharts based on amalgamated graph transformation, ECEASST, vol.39, 2011. ,
Graph grammars with negative application conditions, Fundam. Inf, vol.26, pp.287-313, 1996. ,
Correctness of high-level transformation systems relative to nested conditions, Mathematical. Structures in Comp. Sci, vol.19, issue.2, pp.245-296, 2009. ,
, Knowledge Engineering and Semantic Web -8th International Conference, pp.229-245, 2017.
Updating RDF/S databases under constraints, Advances in Databases and Information Systems -21st European Conference, pp.357-371, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01662199
Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.12, pp.181-224, 1993. ,
Adaptation d'ontologies avec les grammaires de graphes typés : evolution et fusion. (Ontologies adaptation with typed graph grammars : evolution and merging), 2015. ,
Algebraic graph transformations for formalizing ontology changes and evolving ontologies. Knowledge-Based Systems, vol.73, pp.212-226, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01162612
,
Consistency evaluation of RDF data: How data and updates are relevant, Tenth International Conference on Signal-Image Technology and Internet-Based Systems, pp.187-193, 2014. ,
Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations, 1997. ,
Agg 2.0 -new features for specifying and analyzing algebraic graph transformations, pp.81-88, 2012. ,
,
Deletion of a sub-class relation.) If B = Resource or A = B we do nothing ,
, ¬P Sub
,
, Proof ok for this case
Rng(B, RB)} ? G then do nothing else (do the update P r(B, Resource, Resource)): ¬Cl(B) ?X¬Dom(X, B) ? ¬P r(X)(*) ? ?Y ,
,
), both) or exception 18, Choice ,
, XP2 such that PSub(XP1, XP2) and Dom(XP1,Xsc) and Dom (XP2,XC) then Choice (¬ PSub(XP1, XP2), ¬ Dom(XP1,Xsc), ¬ Dom (XP2,XC), all them) or exception, p.22
, XP2 such that PSub(XP1, XP2) and Rng(XP1,Xsc) and Rng (XP2,XC) then Choice (¬ PSub(XP1, XP2), ¬ Rng(XP1,Xsc) ¬ Rng (XP2,XC), p.23
,
, Xsp, Y) and PSub(Y,XP) then Choice (¬ PSub, p.20
, Xp, XD) ¬ Pr(Xp), p.15
, Xp, XR) ¬ Pr(Xp), p.15
, XC) if XC = ressource then ¬ Indiv, p.14
,
, ? YC such that CI(Xi, YC) and CSub(YC,XC) then Choice (¬ CI(Xi,YC), ¬ CSub(YC, XC), both) or exception, p.26
, Zp such that PI, p.24
, Zp such that PI(Xi, Yi, Zp) and Rng(Zp,XC) then Choice (¬ PI(Xi, Yi, Zp), ¬ Rng(Zp,XC), both) or exception, p.25
,
, Yp) and PSub(Yp,Xp) then Choice ( ¬ PI(Xi,Yi, Yp), ¬ PSub(Yp,Xp), both) or exception, p.27
, UpdCond table for deletions, Table 3