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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01096167
Contributeur : Richard Dapoigny <>
Soumis le : mardi 16 décembre 2014 - 21:52:33
Dernière modification le : mercredi 10 janvier 2018 - 09:44:57

Identifiants

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〉

Partager

Métriques

Consultations de la notice

52