|
Title:
|
EVOLUTION OF ONTOLOGIES AND TYPES |
|
Author(s):
|
Thierry Despeyroux |
|
ISBN:
|
978-972-8924-68-3 |
|
Editors:
|
Pedro Isaías, Miguel Baptista Nunes and Dirk Ifenthaler |
|
Year:
|
2008 |
|
Edition:
|
Single |
|
Keywords:
|
Ontology, Type, Information system, Semantic-Web. |
|
Type:
|
Short Paper |
|
First Page:
|
419 |
|
Last Page:
|
422 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper 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. |
|
|
|
|
|
|
