{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:54:48Z","timestamp":1770836088866,"version":"3.50.1"},"reference-count":21,"publisher":"ASME International","issue":"2","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,1]]},"abstract":"<jats:p>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, \u201cAn Analysis of OWL-Based Semantic Mediation Approaches to Enhance Manufacturing Service Capability Models,\u201d Int. J. Comput. Integr. Manuf., 27(9), pp. 803\u2013823) 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.<\/jats:p>","DOI":"10.1115\/1.4034268","type":"journal-article","created":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T16:32:03Z","timestamp":1469464323000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":13,"title":["Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration"],"prefix":"10.1115","volume":"17","author":[{"given":"Ryan","family":"Wisnesky","sequence":"first","affiliation":[{"name":"Categorical Informatics, Cambridge, MA 02142 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spencer","family":"Breiner","sequence":"additional","affiliation":[{"name":"Software and Systems Division, Information Technology Laboratory, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Jones","sequence":"additional","affiliation":[{"name":"Systems Integration Division, Engineering Laboratory, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David I.","family":"Spivak","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, MA 02139 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eswaran","family":"Subrahmanian","sequence":"additional","affiliation":[{"name":"Institute for Complex Engineered Systems and Engineering and Public Policy, Carnegie Mellon University, Pittsburgh, PA 15213 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2017,2,16]]},"reference":[{"issue":"2","key":"2019100513122890500_bib1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/230798.230806","article-title":"Rapid Design and Manufacture of Wearable Computers","volume":"39","year":"1996","journal-title":"Commun. ACM"},{"key":"2019100513122890500_bib2","doi-asserted-by":"crossref","first-page":"2008","DOI":"10.1007\/978-0-387-39940-9_1073","article-title":"OWL: Web Ontology Language","volume-title":"Encyclopedia of Database Systems","year":"2009"},{"key":"2019100513122890500_bib3","article-title":"Ontology Web Language","author":"OWL","year":"2015"},{"key":"2019100513122890500_bib4","article-title":"A Description Logic Primer","year":"2012"},{"key":"2019100513122890500_bib5","article-title":"Resource Description Framework","year":"2014"},{"key":"2019100513122890500_bib6","article-title":"SWRL: A Semantic Web Rule Language Combining OWL and RuleML","year":"2004"},{"issue":"3","key":"2019100513122890500_bib7","first-page":"16:1","article-title":"Semantics and Complexity of SPARQL","volume":"34","year":"2009","journal-title":"ACM Trans. Database Syst."},{"issue":"12","key":"2019100513122890500_bib8","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1080\/0951192X.2013.874588","article-title":"On Enhancing Communication of the Manufacturing Service Capability Information Using Reference Ontology","volume":"27","year":"2014","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"9","key":"2019100513122890500_bib9","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1080\/0951192X.2013.834477","article-title":"An Analysis of OWL-Based Semantic Mediation Approaches to Enhance Manufacturing Service Capability Models","volume":"27","year":"2013","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"2019100513122890500_bib10","unstructured":"Ameri, F., and Dutta, D., 2006, \u201cAn Upper Ontology for Manufacturing Service Description,\u201d ASME Paper No. DETC2006-99600, pp. 651\u2013661.10.1115\/DETC2006-99600"},{"key":"2019100513122890500_bib11","unstructured":"Goguen, J., 2004, \u201cData, Schema and Ontology Integration,\u201d 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\u201331."},{"key":"2019100513122890500_bib12","article-title":"Building, Sharing, and Merging Ontologies","year":"2011"},{"key":"2019100513122890500_bib13","article-title":"D4. 2.2 State-of-the-Art Survey on Ontology Merging and Aligning V2","year":"2005"},{"issue":"6","key":"2019100513122890500_bib14","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1016\/j.ijhcs.2003.08.002","article-title":"The PROMPT Suite: Interactive Tools for Ontology Merging and Mapping","volume":"59","year":"2003","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"1","key":"2019100513122890500_bib15","doi-asserted-by":"publisher","first-page":"e24274","DOI":"10.1371\/journal.pone.0024274","article-title":"Olog: A Categorical Framework for Knowledge Representation","volume":"7","year":"2012","journal-title":"PLoS One"},{"key":"2019100513122890500_bib16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","article-title":"General Theory of Natural Equivalences","volume":"58","year":"1945","journal-title":"Trans. Am. Math. Soc."},{"key":"2019100513122890500_bib17","volume-title":"Category Theory for the Sciences","year":"2014"},{"issue":"9","key":"2019100513122890500_bib18","doi-asserted-by":"publisher","first-page":"e23911","DOI":"10.1371\/journal.pone.0023911","article-title":"Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks","volume":"6","year":"2011","journal-title":"PLoS One"},{"issue":"1","key":"2019100513122890500_bib19","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008759623876","article-title":"Industrial Applications of Software Synthesis Via Category Theory\u2014Case Studies Using Specware","volume":"8","year":"2001","journal-title":"Autom. Software Eng."},{"key":"2019100513122890500_bib20","article-title":"Functorial Query Language Specification","year":"2014"},{"key":"2019100513122890500_bib21","volume-title":"Introduction to Higher-Order Categorical Logic","year":"1986"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4034268\/6101733\/jcise_017_02_021011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4034268\/6101733\/jcise_017_02_021011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T17:12:34Z","timestamp":1570295554000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/doi\/10.1115\/1.4034268\/446470\/Using-Category-Theory-to-Facilitate-Multiple"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,16]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4034268","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"value":"1530-9827","type":"print"},{"value":"1944-7078","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,16]]},"article-number":"021011"}}