Table of Contents Author Guidelines Submit a Manuscript
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.

Linked References

  1. T. R. Gruber, “Toward principles for the design of ontologies used for knowledge sharing,” in Formal Analysis in Conceptual Analysis and Knowledge Representation, Kluwer Academic/Plenum, New York, NY, USA, 1993. View at Google Scholar
  2. W. N. Borst, Construction of Engineering Ontologies, Centre for Telematica and Information Technology, University of Tweenty, Ensschede, The Netherlands, 1997.
  3. J. Goguen, “What is a concept?” in Proceedings of the 13th Conference on Conceptual Structures, F. Dan and M. Mungier, Eds., vol. 3596 of Lecture Notes in Artificial Intelligence, pp. 52–77, Springer, 2005.
  4. L. Lambrechts, Formal Concept Analysis, Vrije Universtiteit, Brussels, Belgium, 2012.
  5. R. Wille, “Restructuring lattice theory: an approach based on hierarchies of concepts,” in Ordered Sets, I. Rival, Ed., pp. 445–470, Reidel, Dordrecht, The Netherlands, 1982. View at Google Scholar
  6. R. Bělohlávek and V. Sklenář, “Formal concept analysis over attributes with levels of granularity,” in Proceedings of the International Conference on Communicational Intelligence for Modelling, Control and Automation & Inter. Conf. on Intelligent Agents, Web Technologies and Internet Commerce, Vienna, Austria, November 2005.
  7. R. Bělohlávek, Introduction to Formal Concept Analysis, UP Olomouc, 2008.
  8. B. Ganter and R. Will, Formal Concept Analysis: Mathematical Foundations, Springer, Berlin, Germany, 1999.
  9. S. Awodey, Category Theory, Oxford University Press, New York, NY, USA, 2010.
  10. B. Pierce, Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, Mass, USA, 1991.
  11. W. Lawvere and S. Schanuel, Conceptual Mathematics, A First Introduction to Categories, Cambridge University Press, New York, NY, USA, 1997.
  12. J. Fiadeiro, Categories for Software Engineering, Springer, New York, NY, USA, 2004.
  13. M. Obitko, V. Snasel, and J. Smid, “Ontology design with formal concept analysis,” in Proceedings of the International Conference on Concept Lattices and Their Applications (CLA '04), V. Snasel and R. Belohlavek, Eds., pp. 111–119, 2004.
  14. U. E. Priss, Relational concept analysis: semantic structures in dictionaries and lexical databases [Dissertation], TH-Darmstadt, 1996.
  15. M. Huchard, M. R. Hacene, C. Roume, and P. Valtchev, “Relational concept discovery in structured datasets,” Annals of Mathematics and Artificial Intelligence, vol. 49, no. 1–4, pp. 39–76, 2007. View at Publisher · View at Google Scholar · View at Scopus
  16. F. Lehmann and R. Will, “A triadic approach to formal concept analysis,” in Conceptual Structures: Applications, Implementation and Theory, vol. 954 of Lecture Notes in Computer Science, pp. 32–43, Springer, Berlin, Germany, 1995. View at Publisher · View at Google Scholar
  17. J. Konecny and P. Osicka, “General approach to triadic concept analysis,” in Proceedings of the 7th International Conference on Concept Lattices and Their Applications (CLA '10), M. kryszkiewicz and S. A. Obiedkov, Eds., pp. 116–126, Sevilla, Spain, 2010.
  18. P. Hitzler, “What's happening in semantic web—and what FCA could have to do with it?” in Formal Concept Analysis, P. Valtchev and R. Jäschke, Eds., vol. 6628 of Lecture Notes in Computer Science, pp. 18–23, Springer, Berlin, Germany, 2011. View at Publisher · View at Google Scholar
  19. P. Cimiano, A. Hotho, G. Stumme, and J. Tane, “Conceptual knowledge processing with formal concept analysis and ontologies,” in Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA '04), pp. 189–207, February 2004. View at Scopus
  20. R. Bendaoud, A. Napoli, and Y. Toussaint, “Formal concept analysis: a unified framework for building and refining ontologies,” in Knowledge Engineering: Practice and Patterns, A. Gangemi and J. Euzenat, Eds., vol. 5268 of Lecture Notes in Computer Science, pp. 156–171, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar
  21. J. Nanda, T. W. Simpson, S. R. T. Kumara, and S. B. Shooter, “A methodology for product family ontology development using formal concept analysis and web ontology language,” Journal of Computing and Information Science in Engineering, vol. 6, no. 2, pp. 103–113, 2006. View at Publisher · View at Google Scholar · View at Scopus
  22. D. Jurkevicius and O. Vasilecas, “Formal concept analysis for concept collecting and their analysis,” Scientific Papers, University of Latvia, Computer Science and Information Technologies, vol. 751, pp. 22–39, 2009. View at Google Scholar
  23. R. Jäschke, A. Hotho, C. Schmitz, B. Ganter, and G. Stumme, “Discovering shared conceptualizations in folksonomies,” Journal of Web Semantics, vol. 6, no. 1, pp. 38–53, 2008. View at Publisher · View at Google Scholar · View at Scopus
  24. M. Rouane-Hacene, M. Huchard, A. Napoli, and P. Valtchev, “Using formal concept analysis for discovering knowledge patterns,” in Proceedings of the 7th International Conference on Concept Lattices and Their Applications (CLA '10), Sevilla, Spain, October 2010.
  25. X. Dolques, M. Huchard, C. Nebut, and H. Saada, “Formal and relational concept analysis approaches in software engineering: an overview and an application to learn model transformation patterns in examples,” in Proceedings of the 1st ICESE Virtual Workshop on Software Engineering and Artificial Intelligence, Doha, Qatar, 2011.
  26. M. J. Healy, “Category Theory as a Mathematics for formalizing ontologies,” in Theory and Applications of Ontology: Computer Applications, R. Poli, M. Healy, and A. Kameas, Eds., pp. 487–510, Springer, New York, NY, USA, 2010. View at Google Scholar
  27. M. Krötzsch, P. Hitzler, M. Ehrig, and Y. Sure, “Category theory in ontology research: concrete gain from an abstract approach,” Tech. Rep., AIFB, University of Karlsruhe, 2005. View at Google Scholar
  28. R. Brown, J. F. Glazebrook, and I. C. Baianu, “A conceptual construction of complexity levels theory in spacetime categorical ontology: non-abelian algebraic topology, many-valued logics and dynamic systems,” Axiomathes, vol. 17, no. 3-4, pp. 409–493, 2007. View at Publisher · View at Google Scholar · View at Scopus
  29. I. Cafezeiro and E. H. Haueusler, “Semantic interoperability via Category Theory,” in Proceedings of the 26th International Conference on Conceptual Modeling, J. Grundy, S. Hartman, A. H. F. Laender, L. Maciaszek, and J. F. Roddick, Eds., vol. 83, pp. 197–202, 2007.
  30. A. Zimmermann, M. Krötzsch, J. Euzenat, and P. Hitzler, “Formalizing ontology alignment and its operations with category theory,” in Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS '06), B. Bennett and C. Fellbaum, Eds., pp. 277–288, IOS Press, Baltimore, Md, USA, 2006.
  31. P. Hitzler, M. Krötzsch, M. Ehrig, and Y. Sure, “What is ontology merging? A category-theoretical perspective using pushouts,” in Proceedings of the 1st International Workshop on Contexts and Ontologies: Theory, Practice and Applications, pp. 104–107, AAAI Press, July 2005. View at Scopus
  32. L. Hu and J. Wang, “Geo-ontology integration based on category theory,” in Proceedings of the International Conference on Computer Design and Applications (ICCDA '10), pp. V15–V18, Qinhuangdao, China, June 2010. View at Publisher · View at Google Scholar · View at Scopus
  33. J. A. Goguen and R. M. Burstall, “Institutions: abstract model theory for specification and programming,” Journal of the ACM, vol. 39, no. 1, pp. 95–146, 1992. View at Publisher · View at Google Scholar · View at Scopus
  34. T. Mossakowski, C. Maeder, and K. Lüttich, “The heterogeneous tool set,” in Tools and Algorithms for the Construction and Analysis of Systems, O. Grumberg and M. Huth, Eds., vol. 4424 of Lecture Notes in Computer Science, pp. 519–522, Springer, Heidelberg, Germany, 2007. View at Google Scholar
  35. O. Kutz, D. Lücke, and T. Mossakowski, “Heterogeneously structured ontologies: integration, connection and refinement,” in Proceedings of the Knowledge Representation Ontology Workshop (KR '08), vol. 90 of Conferences in Research and Practice in Information Technology, Sydney, Australia, 2008.
  36. J. Barwise and J. Seligman, Information Flow: The Logic of Distributed Systems, vol. 44 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, New York, NY, USA, 1997.
  37. R. Kent, “The IFF foundation for ontological knowledge organization,” Cataloging & Classification Quarterly, vol. 37, no. 1-2, 2003. View at Publisher · View at Google Scholar
  38. Y. Kalfoglou and M. Schorlemmer, “The information flow approach to ontology-based semantic alignment,” in Theory and Applications of Ontology: Computer Applications, chapter 4, pp. 101–114, Springer, New York, NY, USA, 2010. View at Google Scholar
  39. J. Goguen, Information Integration in Institutions, L. Moss, Ed., 2004.
  40. M. Johnson and R. Rosebrugh, “Ontology engineering, universal algebra, and category theory,” in Theory and Applications of Ontology: Computer Applications, R. Poli, M. Healy, and A. Kameas, Eds., pp. 565–576, Springer, New York, NY, USA, 2010. View at Google Scholar
  41. N. Glazunov, “Semantic web and category theory models,” in Proceedings of the International Seminar “iscrete Mathematics and its Applications”, pp. 309–311, MGU, Moscow, Russia, 2007.
  42. M. J. Healy and T. P. Caudell, “Ontologies and worlds in category theory: implications for neural systems,” Axiomathes, vol. 16, no. 1-2, pp. 165–214, 2006. View at Publisher · View at Google Scholar · View at Scopus
  43. P. Wendorff, “A formal approach to the assessment and improvement of terminological models used in information systems engineering,” in Proceedings of the 8th Eiropean Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC '01 and FSE '01), V. Gruhn, Ed., pp. 83–87, Vienna, Australia, September 2001. View at Scopus
  44. Deutsches Institut für Normung, “Begriffe und Benennungen—Allgemeine Grundsätze,” DIN 2330, 1993. View at Google Scholar
  45. 2012, http://lattice-miner.softpedia.com/.
  46. T. Tilley, Concept Analysis and Formal Methods, 2000.
  47. B. Mazur, “When is one thing equal to other thing?” in Proof and Other Dilemmas: Mathematics and Philosophy, B. Gold and R. Simons, Eds., 2007. View at Google Scholar