Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 Connect in order to contact the contributor
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