. Sig, Rel Ca (O)) = Sig(O) ? Ca where Ca is a term not appearing in Sig(O)

F. Giunchiglia, Contextual Reasoning, Epistemologica, vol.16, pp.345-364, 1993.

C. Ghidini and L. Serafini, Distributed First Order Logic, Frontiers of Combining Systems of Studies in Logic and Computation, pp.121-139, 2000.
DOI : 10.1016/j.artint.2017.08.008

A. Zimmermann, Logical Formalisms for Agreement Technologies, Agreement Technologies, 2013.
DOI : 10.1007/978-94-007-5583-3_5
URL : https://hal.archives-ouvertes.fr/emse-00776103

M. Kifer and V. S. Subrahmanian, Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34]., The Journal of Logic Programming, vol.12, issue.4, pp.335-367, 1992.
DOI : 10.1016/0743-1066(92)90007-P

A. Zimmermann, N. Lopes, A. Polleres, and U. Straccia, A general framework for representing, reasoning and querying with annotated Semantic Web data, Web Semantics: Science, Services and Agents on the World Wide Web, vol.11, pp.72-95, 2012.
DOI : 10.1016/j.websem.2011.08.006
URL : https://hal.archives-ouvertes.fr/hal-01240838

J. J. Carroll, C. Bizer, P. Hayes, and P. Stickler, Named graphs, provenance and trust, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.613-622, 2005.
DOI : 10.1145/1060745.1060835

R. Q. Dividino, S. Sizof, S. Staab, and B. Schueler, Querying for provenance, trust, uncertainty and other meta knowledge in RDF???, Web Semantics: Science, Services and Agents on the World Wide Web, vol.7, issue.3, pp.204-219, 2009.
DOI : 10.1016/j.websem.2009.07.004

O. Hartig and B. Thompson, Foundations of an Alternative Approach to Reification in RDF, p.3399, 2014.

J. Hoffart, F. M. Suchanek, K. Berberich, and G. Weikum, YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia, Artificial Intelligence, vol.194, pp.28-61, 2013.
DOI : 10.1016/j.artint.2012.06.001

D. Brickley and R. V. Guha, RDF Schema 1.1, W3C Recommendation, W3C Recommendation, World Wide Web Consortium, 2014.

N. F. Noy and A. L. Rector, Defining N-ary Relations on the Semantic Web, W3C Working Group Note 12, W3C Note, World Wide Web Consortium, 2006.

V. Nguyen, O. Bodenreider, and A. Sheth, Don't like RDF reification?, Proceedings of the 23rd international conference on World wide web, WWW '14, pp.759-770, 2014.
DOI : 10.1145/2566486.2567973

J. M. Giménez-garcía, A. Zimmermann, P. E. Maret, D. Maynard, A. Gangemi et al., NdFluents: An Ontology for Annotated Statements with Inference Preservation, Blomqvist, The Semantic Web - 14th International Conference Proceedings, Part I. Volume 10249 of Lecture Notes in Computer Science, pp.638-654, 2017.
DOI : 10.1109/EDOCW.2010.50

C. Golbreich and E. K. Wallace, OWL 2 Web Ontology Language, New Features and Rationale, W3C Recommendation 11 December 2012. W3C Recommendation, World Wide Web Consortium, 2012.

D. S. Scott, Identity and existence in intuitionistic logic, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, pp.660-696, 1977.
DOI : 10.1016/S0049-237X(08)71127-3

B. Cuenca-grau and O. Kutz, Modular Ontology Languages Revisisted, SWeCKa 2007: Proceedings of the IJCAI-2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition, 2007.

A. Z. Giménez-garcía, Integrating Context of Statements within Description Logics, 2017.

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524