Richard Dapoigny, Patrick Barlatier. Formalizing Context for Domain Ontologies in Coq. In Patrick Brézillon, Avelino J. Gonzalez, editors, Context in Computing - A Cross-Disciplinary Approach for Modeling the Real World. pages 437-454, Springer, 2014. [doi]
Abstract is missing.