Pascal Lando, Anne Lapujade, Gilles Kassel, Frédéric Fürst



Over the past decade, ontology research has investigated the field of computer programs. This work has aimed at defining conceptual descriptions of the programs so as to master their design and use. Unfortunately, these efforts have only been partially successful. In this paper, we present the basis of a Core Ontology of Programs and Software (COPS) which integrates the field’s main concepts. But, above all, we emphasize the method used to build the ontology. In fact, COPS specializes not only the DOLCE foundational ontology (“Descriptive Ontology for Linguistic and Cognitive Engineering”, Masolo et al., 2003) but also core ontologies of domains (e.g. artefacts, documents) situated on a higher abstraction level. This approach enables us to take into account the “dual nature” of computer programs, which can be considered as both syntactic entities (well-formed expressions in a programming language) and artefacts whose function is to enable computers to process information.


  1. Bottazzi E., Catenacci C., Gangemi A. & Lehmann J. , 2006. From Collective Intentionality to Intentional Collectives: an Ontological Perspective. In Cognitive Systems Research, Special Issue on Cognition, Joint Action and Collective Intentionality, Elsevier, 7(2-3), p. 192-208.
  2. Bruaux S., Kassel G. & Morel G., 2005. An ontological approach to the construction of problem-solving models. In P. Clark and G. Schreiber (eds), In the 3rd International Conference on Knowledge Capture (KCAP 2005), ACM, p. 181-182. A longer version is published as LaRIA's Research Report 2005-03. Available at: .
  3. Eden A. H. & Turner R., 2006. Problems in the Ontology of Computer Programs. Technical Report CSM-461, ISSN 1744-8050, Department of Computer Science, University of Essex. From
  4. Fortier J.-Y. & Kassel G., 2004. Managing Knowledge at the Information Level: an Ontological Approach. In Proceedings of the ECAI'2004 Workshop on Knowledge Management and Organizational Memories, Valencia (Spain), p. 39-45.
  5. Gangemi A. & Borgos S. (eds), 2004. Proceedings of the EKAW'04 Workshop on Core Ontologies in Ontology Engineering, Northamptonshire (UK). From (Vol-118).
  6. Gangemi A. & Mika P., 2003. Understanding the Semantic Web through Descriptions and Situations. In R. Meersman et al. (eds), Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics (ODBASE 2003), Catania (Italy), 2003.
  7. Kroes P. & Meijers A., 2002. The Dual Nature of Thechnical Artifacts - presentation of a new research programme. In Techné, 6(2) Winter 2002, p. 4-8.
  8. Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A. & Schneider L., 2003. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology. WonderWeb Deliverable D18, final report (vr. 1.0, 31- 12-2003).
  9. Newell A., 1982. The Knowledge Level. In Artificial Intelligence 18, p. 87-127.
  10. Niles I., Pease A., 2001. Towards a standard upper ontology. In Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS'2001). ACM Press., p 2-9.
  11. Oberle D., Lamparter S., Grimm S., Vrandecic D., Staab S. & Gangemi A., 2006. Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. In Applied Ontology, 1(2), p. 163-202.
  12. Roman D., Keller U., Lausen H., de Bruijn J., Lara R., Stollberg M., Polleres A., Feier C., Bussler C. & Fensel D., 2005. Web Service Modeling Ontology. In Applied Ontology 1, p. 77-106.
  13. Steimann F., 2000. On the representation of roles in object-oriented and conceptual modelling. In Data and Knowledge Engineering, 35, p. 83-106.
  14. Temal L., Lando P., Gibaud B., Dojat M., Kassel G. & Lapujade A., 2006. OntoNeuroBase: a multi-layered application ontology in neuroimaging. In Proceedings of the 2nd Workshop: Formal Ontologies Meet Industry: FOMI 2006, Trento (Italy).
  15. Welty C., 1995. An Integrated Representation for Software Development and Discovery. Ph.D. Thesis, RPI Computer Science Dept. July, 1995. From

Paper Citation

in Harvard Style

Lando P., Lapujade A., Kassel G. and Fürst F. (2007). TOWARDS A GENERAL ONTOLOGYOF COMPUTER PROGRAMS . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8111-05-0, pages 163-170. DOI: 10.5220/0001340901630170

in Bibtex Style

author={Pascal Lando and Anne Lapujade and Gilles Kassel and Frédéric Fürst},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,},

in EndNote Style

JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,
SN - 978-989-8111-05-0
AU - Lando P.
AU - Lapujade A.
AU - Kassel G.
AU - Fürst F.
PY - 2007
SP - 163
EP - 170
DO - 10.5220/0001340901630170