Formalizing Context for Domain Ontologies in Coq - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2014

Formalizing Context for Domain Ontologies in Coq


While context is crucial for reasoning about ontologies as well as for conceptual modeling, its formal definition is often imprecise and its implementation in standard classical logic-based theories suffers from a lack of expressiveness and leads to ambiguities. In this chapter, it is shown that a two-layered language using the Calculus of Inductive Constructions (i.e., the Coq language) as a lower layer, and an ontological upper layer for giving types their meaning is able to support a clear and expressive semantics for context specification.
Not file

Dates and versions

hal-01096167 , version 1 (16-12-2014)



Dapoigny Richard, Barlatier Patrick. Formalizing Context for Domain Ontologies in Coq. P. Brézillon and A. Gonzales. Context in computing, Springer, pp.573, 2014, 978-1-4939-1886-7. ⟨10.1007/978-1-4939-1887-4_27⟩. ⟨hal-01096167⟩
57 View
0 Download



Gmail Facebook Twitter LinkedIn More