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.

References

1.
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
.
2.
Bechhofer
,
S.
,
2009
, “
OWL: Web Ontology Language
,”
Encyclopedia of Database Systems
,
Springer
, Berlin, pp.
2008
2009
.
3.
OWL
,
2015
, “
Ontology Web Language
,” W3C/MIT, Cambridge, MA, accessed May 23, 2015, http://www.w3.org/TR/owl-features/
4.
Krötzsch
,
M.
,
Simancik
,
F.
, and
Horrocks
,
I.
,
2012
, “
A Description Logic Primer
,” arKiv, Cornell University, Cornell, NY, http://arxiv.org/abs/1201.4089.
5.
RDF Working group,
2014
, “
Resource Description Framework
,” W3 Consortium, MIT, Cambridge, MA, accessed Aug. 25, 2016, https://www.w3.org/RDF/.
6.
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
7.
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
.
8.
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
.
9.
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
.
10.
Ameri
,
F.
, and
Dutta
,
D.
,
2006
, “
An Upper Ontology for Manufacturing Service Description
,”
ASME
Paper No. DETC2006-99600, pp. 651–661.
11.
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.
12.
Sowa
,
J. F.
,
2011
, “
Building, Sharing, and Merging Ontologies
,” John F. Sowa, Croton-on-Hudson, NY, http://www.jfsowa.com/ontology/ontoshar.htm
13.
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.
14.
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
.
15.
Spivak
,
D.
, and
Kent
,
R.
,
2012
, “
Olog: A Categorical Framework for Knowledge Representation
,”
PLoS One
,
7
(
1
), p.
e24274
.
16.
Eilenberg
,
S.
, and
Mac Lane
,
S.
,
1945
, “
General Theory of Natural Equivalences
,”
Trans. Am. Math. Soc.
,
58
, pp.
231
294
.
17.
Spivak
,
D. I.
,
2014
,
Category Theory for the Sciences
,
MIT Press
, Cambridge, MA.
18.
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
.
19.
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
.
20.
Wisnesky
,
R.
, and
Spivak
,
D.
,
2014
, “
Functorial Query Language Specification
,” David Spivak, Cambridge, MA, http://categoricaldata.net/fql/fql_def.pdf
21.
Lambek
,
J.
, and
Scott
,
P.
,
1986
,
Introduction to Higher-Order Categorical Logic
,
Cambridge University Press
,
Cambridge, UK
.
You do not currently have access to this content.