Formalizing Context for Domain Ontologies in Coq - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2014

Formalizing Context for Domain Ontologies in Coq

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
59 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More