Research Papers

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration

[+] Author and Article Information
Ryan Wisnesky

Categorical Informatics,
Cambridge, MA 02142
e-mail: ryan@catinf.com

Spencer Breiner

Software and Systems Division,
Information Technology Laboratory,
National Institute of Standards
and Technology (NIST),
Gaithersburg, MD 20899
e-mail: spencer.breiner@nist.gov

Albert Jones

Systems Integration Division,
Engineering Laboratory,
National Institute of Standards
and Technology (NIST),
Gaithersburg, MD 20899
e-mail: albert.jones@nist.gov

David I. Spivak

Department of Mathematics,
Massachusetts Institute of Technology,
77 Massachusetts Avenue,
Cambridge, MA 02139
e-mail: dspivak@mit.edu

Eswaran Subrahmanian

Institute for Complex Engineered Systems
and Engineering and Public Policy,
Carnegie Mellon University,
Pittsburgh, PA 15213
e-mail: sub@cmu.edu

1Corresponding author.

Contributed by the Computers and Information Division of ASME for publication in the JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING. Manuscript received June 10, 2016; final manuscript received July 20, 2016; published online February 16, 2017. Editor: Bahram Ravani.This material is declared a work of the U.S. Government and is not subject to copyright protection in the United States. Approved for public release; distribution is unlimited.

J. Comput. Inf. Sci. Eng 17(2), 021011 (Feb 16, 2017) (11 pages) Paper No: JCISE-16-1983; doi: 10.1115/1.4034268 History: Received June 10, 2016; Revised July 20, 2016

The goal of this paper is to illustrate the use of category theory (CT) as a basis for the integration of manufacturing service databases. In this paper, we use as our reference prior work by Kulvatunyou et al. (2013, “An Analysis of OWL-Based Semantic Mediation Approaches to Enhance Manufacturing Service Capability Models,” Int. J. Comput. Integr. Manuf., 27(9), pp. 803–823) on the use of web ontology language (OWL)-based semantic web tools to study the integration of different manufacturing service capability (MSC) databases using a generic-model approach that they propose in their paper. We approach the same task using a different set of tools, specifically CT and FQL, a functorial query language based on categorical mathematics. This work demonstrates the potential utility of category-theoretic information management tools and illustrates some advantages of categorical techniques for the integration and evolution of databases. We conclude by making the case that a category-theoretic approach can provide a more flexible and robust approach to integration of existing and evolving information.

Copyright © 2017 by ASME
Your Session has timed out. Please sign back in to continue.


Finger, S. , Terk, M. , Subrahamanian, E. , Kasabach, C. , Prinz, F. , Siewiorek, D. P. , Smailagic, A. , Stivoric, J. , and Weiss, L. , 1996, “ Rapid Design and Manufacture of Wearable Computers,” Commun. ACM, 39(2), pp. 63–70. [CrossRef]
Bechhofer, S. , 2009, “ OWL: Web Ontology Language,” Encyclopedia of Database Systems, Springer, Berlin, pp. 2008–2009.
OWL, 2015, “ Ontology Web Language,” W3C/MIT, Cambridge, MA, accessed May 23, 2015, http://www.w3.org/TR/owl-features/
Krötzsch, M. , Simancik, F. , and Horrocks, I. , 2012, “ A Description Logic Primer,” arKiv, Cornell University, Cornell, NY, http://arxiv.org/abs/1201.4089.
RDF Working group, 2014, “ Resource Description Framework,” W3 Consortium, MIT, Cambridge, MA, accessed Aug. 25, 2016, https://www.w3.org/RDF/.
Horrocks, I. , Patel-Schneider, P. F. , Boley, H. , Tabet, S. , Grosof, B. , and Dean, M. , 2004, “ SWRL: A Semantic Web Rule Language Combining OWL and RuleML,” W3C Member submission, 21, 79, National Research Council of Canada, Network Inference, and Stanford University, accessed May 23, 2015, http://s3.amazonaws.com/academia.edu.documents/30680504/SWRL__A_Semantic_Web_Rule_Language_Combining_OWL_and_RuleM....pdf?AWSAccessKeyId=AKIAJ56TQJRTWSMTNPEA&Expires=1472155067&Signature=xCIANbkER9iKS4ucjMrPvA8LE%2FM%3D&response-content-disposition=inline%3B%20filename%3DSWRL_A_semantic_web_rule_language_combin.pdf
Pérez, J. , Arenas, M. , and Gutierrez, C. , 2009, “ Semantics and Complexity of SPARQL,” ACM Trans. Database Syst., 34(3), pp. 16:1–16:45. [CrossRef]
Kulvatunyou, B. , Ivezic, N. , and Lee, Y. , 2014, “ On Enhancing Communication of the Manufacturing Service Capability Information Using Reference Ontology,” Int. J. Comput. Integr. Manuf., 27(12), pp. 1105–1135. [CrossRef]
Kulvatunyou, B. , Ivezic, N. , Lee, Y. , and Shin, J. , 2013, “ An Analysis of OWL-Based Semantic Mediation Approaches to Enhance Manufacturing Service Capability Models,” Int. J. Comput. Integr. Manuf., 27(9), pp. 803–823. [CrossRef]
Ameri, F. , and Dutta, D. , 2006, “ An Upper Ontology for Manufacturing Service Description,” ASME Paper No. DETC2006-99600, pp. 651–661.
Goguen, J. , 2004, “ Data, Schema and Ontology Integration,” Proceedings of the Workshop on Combinination of Logics: theory and applications, W. Carnelli, F. M. Dionisio, P. Mateus, eds., Depatmento de Mathematica, Instituto Superior Technico, Lisbon, Portugal, pp. 21–31.
Sowa, J. F. , 2011, “ Building, Sharing, and Merging Ontologies,” John F. Sowa, Croton-on-Hudson, NY, http://www.jfsowa.com/ontology/ontoshar.htm
Predoiu, L. , Feier., C. , Scharffe, F. , de Bruijn, J. , Martin-Recuerda, F. , Manov, D. , and Ehrig, M. , 2005, “ D4. 2.2 State-of-the-Art Survey on Ontology Merging and Aligning V2,” EU-IST Integrated Project IST-2003-506826 SEKT, Digital Enterprise Research Institute, University of Innsbruck, Innsbruck, Austria.
Noy, N. F. , and Musen, M. A. , 2003, “ The PROMPT Suite: Interactive Tools for Ontology Merging and Mapping,” Int. J. Hum. Comput. Stud., 59(6), pp. 983–1024. [CrossRef]
Spivak, D. , and Kent, R. , 2012, “ Olog: A Categorical Framework for Knowledge Representation,” PLoS One, 7(1), p. e24274. [CrossRef] [PubMed]
Eilenberg, S. , and Mac Lane, S. , 1945, “ General Theory of Natural Equivalences,” Trans. Am. Math. Soc., 58, pp. 231–294. [CrossRef]
Spivak, D. I. , 2014, Category Theory for the Sciences, MIT Press, Cambridge, MA.
Spivak, D. I. , Giesa, T. , Wood, E. , and Buehler, M. J. , 2011, “ Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks,” PLoS One, 6(9), p. e23911. [CrossRef] [PubMed]
Williamson, K. , Healy, M. , and Barker, R. , 2001, “ Industrial Applications of Software Synthesis Via Category Theory—Case Studies Using Specware,” Autom. Software Eng., 8(1), pp. 7–30. [CrossRef]
Wisnesky, R. , and Spivak, D. , 2014, “ Functorial Query Language Specification,” David Spivak, Cambridge, MA, http://categoricaldata.net/fql/fql_def.pdf
Lambek, J. , and Scott, P. , 1986, Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge, UK.


Grahic Jump Location
Fig. 1

Generic model of manufacturing services capability [9]

Grahic Jump Location
Fig. 2

Reference ontology approach for integrating two MSC portals A and B

Grahic Jump Location
Fig. 3

Schema for Portal A

Grahic Jump Location
Fig. 4

Portal A data in FQL

Grahic Jump Location
Fig. 5

Initial “IS_A” relationship from the ontology

Grahic Jump Location
Fig. 6

Result of the “IS_A” relationship after transitive and reflexive closure

Grahic Jump Location
Fig. 7

Query result on initial data displayed in FQL

Grahic Jump Location
Fig. 8

Query result on enriched data displayed in FQL



Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In