Evolution of Ontologies and Types

Thierry Despeyroux 1
1 AxIS - Usage-centered design, analysis and improvement of information systems
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt
Abstract : Ontologies are heavily used in the context of the Semantic Web (Berners-Lee 1998, 2001) to formalize human knowledge. Ontologies engineering is now an important activity, and specialized softwares are developed to help in managing huge ontologies. The development of ontologies and of information systems can be compared to the development of programs. In this paper we make a parallel between ontologies and types in programming languages, and we use a small example to show that an ontology can be seen as a type system. When an ontology evolves, studying the impact of this evolution on the semantic annotations that use this ontology can be viewed as a type-checking process. The next step should be to import some notions used in the types community as overloading, polymorphism, type parameters, etc. to improve or create more powerful ontology definition languages.
Type de document :
Communication dans un congrès
IADIS Press. IADIS International conference WWW/Internet 2008, Oct 2008, Freiburg, Germany. 2008
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00586056
Contributeur : Thierry Despeyroux <>
Soumis le : vendredi 15 avril 2011 - 10:34:59
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : samedi 16 juillet 2011 - 02:29:35

Fichier

IADIS-td.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00586056, version 1

Collections

Citation

Thierry Despeyroux. Evolution of Ontologies and Types. IADIS Press. IADIS International conference WWW/Internet 2008, Oct 2008, Freiburg, Germany. 2008. 〈inria-00586056〉

Partager

Métriques

Consultations de la notice

127

Téléchargements de fichiers

81