Table of Contents
International Journal of Engineering Mathematics
Volume 2013, Article ID 758729, 11 pages
http://dx.doi.org/10.1155/2013/758729
Research Article

Yoneda Philosophy in Engineering

1Faculty of Science and Technology, Hellenic Open University, 26222 Patras, Greece
2Department of Telecommunication Systems and Networks, Technological Educational Institute of Messolonghi, 30200 Messolonghi, Greece

Received 25 March 2013; Revised 18 July 2013; Accepted 9 August 2013

Academic Editor: Shouming Zhong

Copyright © 2013 Lambrini Seremeti and Ioannis Kougias. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Mathematical models, such as sets of equations, are used in engineering to represent and analyze the behaviour of physical systems. The conventional notations in formulating engineering models do not clearly provide all the details required in order to fully understand the equations, and, thus, artifacts such as ontologies, which are the building blocks of knowledge representation models, are used to fulfil this gap. Since ontologies are the outcome of an intersubjective agreement among a group of individuals about the same fragment of the objective world, their development and use are questions in debate with regard to their competencies and limitations to univocally conceptualize a domain of interest. This is related to the following question: “What is the criterion for delimiting the specification of the main identifiable entities in order to consistently build the conceptual framework of the domain in question?” This query motivates us to view the Yoneda philosophy as a fundamental concern of understanding the conceptualization phase of each ontology engineering methodology. In this way, we exploit the link between the notion of formal concepts of formal concept analysis and a concluding remark resulting from the Yoneda embedding lemma of category theory in order to establish a formal process.