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

https://hal.inria.fr/hal-01096167
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

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

55