Skip to Main content Skip to Navigation
Book sections

Formalizing Context for Domain Ontologies in Coq

Abstract : 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.
Document type :
Book sections
Complete list of metadata
Contributor : Richard Dapoigny <>
Submitted on : Tuesday, December 16, 2014 - 9:52:33 PM
Last modification on : Friday, November 6, 2020 - 3:30:33 AM




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⟩



Record views