Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration

2017 ◽  
Vol 17 (2) ◽  
Author(s):  
Ryan Wisnesky ◽  
Spencer Breiner ◽  
Albert Jones ◽  
David I. Spivak ◽  
Eswaran Subrahmanian
Keyword(s):  
Category Theory ◽  
Query Language ◽  
Generic Model ◽  
Database Integration ◽  
Theoretic Approach ◽  
Management Tools ◽  
Ontology Language ◽  
Service Capability ◽  
Semantic Mediation ◽  
Model Approach

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.

scholarly journals A Category Theoretic Approach to Metaphor Comprehension: Theory of Indeterminate Natural Transformation

2020 ◽  
Author(s):  
Miho Fuyama ◽  
Hayato Saigo ◽  
Tatsuji Takahashi
Keyword(s):  
Category Theory ◽  
Natural Transformation ◽  
Mathematical Structure ◽  
Theoretic Approach ◽  
Metaphor Comprehension ◽  
Central Notion ◽  
Meaning Creation ◽  
Natural Transformations ◽  
Categories And Functors ◽  
The Relationship

We propose the theory of indeterminate natural transformation (TINT) to investigate the dynamical creation of meaning as an association relationship between images, focusing on metaphor comprehension as an example. TINT models meaning creation as a type of stochastic process based on mathematical structure and defined by association relationships, such as morphisms in category theory, to represent the indeterminate nature of structure-structure interactions between the systems of image meanings. Such interactions are formulated in terms of the so-called coslice categories and functors as structure-preserving correspondences between them. The relationship between such functors is “indeterminate natural transformation”, the central notion in TINT, which models the creation of meanings in a precise manner. For instance, metaphor comprehension is modeled by the construction of indeterminate natural transformations from a canonically defined functor, which we call the base-of-metaphor functor.

Semantic Search Engine and Object Database Guidelines for Service Oriented Architecture Models

2013 ◽  
pp. 225-250
Author(s):  
Omar Shehab ◽  
Ali Hussein Saleh Zolait
Keyword(s):  
Search Engine ◽  
Service Oriented Architecture ◽  
Query Language ◽  
Semantic Search ◽  
Semantic Query ◽  
Qualitative Survey ◽  
Ontology Language ◽  
Service Oriented ◽  
The Cost ◽  
Semantic Search Engine

In this paper, the authors propose a Semantic Search Engine, which retrieves software components precisely and uses techniques to store these components in a database, such as ontology technology. The engine uses semantic query language to retrieve these components semantically. The authors use an exploratory study where the proposed method is mapped between object-oriented concepts and web ontology language. A qualitative survey and interview techniques were used to collect data. The findings after implementing this research are a set of guidelines, a model, and a prototype to describe the semantic search engine system. The guidelines provided help software developers and companies reduce the cost, time, and risks of software development.

scholarly journals Social innovation drivers in social enterprises: systematic review

2020 ◽  
Vol 27 (5) ◽  
pp. 775-795 ◽  
Author(s):  
Iraci de Souza João-Roland ◽  
Maria L. Granados
Keyword(s):  
Systematic Review ◽  
Social Innovation ◽  
Social Enterprises ◽  
Local Context ◽  
Future Research ◽  
Generic Model ◽  
Social Entrepreneurs ◽  
Management Tools ◽  
Content Type ◽  
Starting Point

PurposeIdentify the drivers of social innovation (SI) that bring together the main management tools and approaches associated with the creation of SI in social enterprises (SEs).Design/methodology/approachA systematic review was developed in the Web of Science, Scopus and EBSCO databases, using the keywords: social innovation, social enterprise and management. After analysis of quality and application of inclusion and exclusion criteria, 54 articles were selected for full analysis.FindingsSI process was systemised into four steps: mapping and development, consolidation, scaling up and evaluation. The drivers of SI were mapped and classified into three main factors: contextual, organisational and managerial.Practical implicationsIn organisational factors, business model was emphasised, as well as partnerships, participatory culture and intrapreneurship, adequate levels of bricolage and continuous learning. The management factors included the characteristics of the entrepreneur/innovator and managerial practices, where those that facilitate teamwork and the participation of all involved are best suited. In contextual factors, the highlight was the need for support from policy makers; community participation and demand for innovations that consider local context and usability.Originality/valueThis study connects previously scattered knowledge in a generic model of SI, highlighting routines and processes used, and provides a starting point for innovators and social entrepreneurs in the complex, uncertain and often unknown process of SI. Additionally, several research gaps were identified to be addressed by future research in the context of SI management.

scholarly journals Algebraic data integration

2017 ◽  
Vol 27 ◽  
Author(s):  
PATRICK SCHULTZ ◽  
RYAN WISNESKY
Keyword(s):  
Data Integration ◽  
Category Theory ◽  
Functional Programming ◽  
Design Pattern ◽  
Query Language ◽  
Algebraic Approach ◽  
Data Migration ◽  
Initial Term ◽  
Equational Theories ◽  
Database Theory

AbstractIn this paper, we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted equational) theories of a certain form. Schemas denote categories, and instances denote their initial (term) algebras. The instances on a schema S form a category, S–Inst, and a morphism of schemas F : S → T induces three adjoint data migration functors: ΣF : S–Inst → T–Inst, defined by substitution along F, which has a right adjoint ΔF : T–Inst → S–Inst, which in turn has a right adjoint ΠF : S–Inst → T–Inst. We present a query language based on for/where/return syntax where each query denotes a sequence of data migration functors; a pushout-based design pattern for performing data integration using our formalism; and describe the implementation of our formalism in a tool we call AQL (Algebraic Query Language).

The generic model query language GMQL – Conceptual specification, implementation, and runtime evaluation

2015 ◽  
Vol 47 ◽  
pp. 129-177 ◽  
Author(s):  
Patrick Delfmann ◽  
Matthias Steinhorst ◽  
Hanns-Alexander Dietrich ◽  
Jörg Becker
Keyword(s):  
Query Language ◽  
Generic Model

scholarly journals Efficient dam management using SQL and GIS

2020 ◽  
Vol 7 (2) ◽  
pp. 50-55
Author(s):  
Mario Jancetić ◽  
Nikola Kranjčić ◽  
Milan Rezo
Keyword(s):  
Spatial Data ◽  
Query Language ◽  
Security Risks ◽  
Management Tools ◽  
General Management ◽  
Gis Tools ◽  
Dam Management ◽  
Management Processes ◽  
Wide Range ◽  
Economical Aspect

This paper discusses use of SQL and GIS tools in nowadays dam management. Dam management requires the use of a highly-sophisticated measuring, monitoring and general management tools, since it is not only economical aspect of importance of these projects, but also about the security risks that require the highest possible caution and a precisely-developed control systems. Therefore, SQL and GIS are tools to be considered and implemented. GIS is widely used in spatial planning and connected management processes - because it allows easy way of storage, processing, analysis, modelling and display of spatial data. It has a wide range of features and is used in many areas. Structured Query Language (SQL) is a programming language for databases, written to be easy to understand and to use. SQL provides integration and presentation of data, optimization, easy reporting and analysis. In hand of trained professional analysts, SQL can make database search efficient and flexible, which is the key feature in demanding management processes as dam management).

TOWARD A UNIFIED ENGLISH-LIKE REPRESENTATION OF SEMANTIC MODELS, DATA, AND GRAPH PATTERNS FOR SUBJECT MATTER EXPERTS

2013 ◽  
Vol 07 (03) ◽  
pp. 215-236 ◽  
Author(s):  
ANDREW CRAPO ◽  
ABHA MOITRA
Keyword(s):  
Open Source ◽  
English Language ◽  
Query Language ◽  
Source Code ◽  
Language Models ◽  
Modeling Languages ◽  
Development Environment ◽  
Ontology Language ◽  
Declarative Modeling ◽  
Graph Query Language

The Semantic Application Design Language (SADL) combines advances in standardized declarative modeling languages based on formal logic with advances in domain-specific language (DSL) development environments to create a controlled-English language that translates directly into the Web Ontology Language (OWL), the SPARQL graph query language, and a compatible if/then rule language. Models in the SADL language can be authored, tested, and maintained in an Eclipse-based integrated development environment (IDE). This environment offers semantic highlighting, statement completion, expression templates, hyperlinking of concepts to their definition, model validation, automatic error correction, and other advanced authoring features to enhance the ease and productivity of the modeling environment. In addition, the SADL language offers the ability to build in validation tests and test suites that can be used for regression testing. Through common Eclipse functionality, the models can be easily placed under source code control, versioned, and managed throughout the life of the model. Differences between versions can be compared side-by-side. Finally, the SADL-IDE offers an explanation capability that is useful in understanding what was inferred by the reasoner/rule engine and why those conclusions were reached. Perhaps more importantly, explanation is available of why an expected inference failed to occur. The objective of the language and the IDE is to enable domain experts to play a more active and productive role in capturing their knowledge and making it available as computable artifacts useful for automation where appropriate and for decision support systems in applications that benefit from a collaborative human-computer approach. SADL is built entirely on open source code and most of SADL is itself released to open source. This paper explores the concepts behind the language and provides details and examples of the authoring and model lifecycle support facilities.

scholarly journals Towards a dual ontology: duality, a case study

Sofia ◽  
2018 ◽  
Vol 7 (1) ◽  
pp. 62-79
Author(s):  
Francesco Maria Ferrari
Keyword(s):  
Set Theory ◽  
Category Theory ◽  
Formal System ◽  
Basic Mechanism ◽  
Spontaneous Breaking ◽  
Theoretic Approach ◽  
Non Linear ◽  
Linear Thermodynamics ◽  
Far From Equilibrium

The main aim of this work is to depict the interconnection of the most relvantformal concepts of modal logic and category theory, i.e., bisimulation andduality, arising from the mathematical analysis of physical processes and toshow their relevance with respect to some foundational issues related to the actual ontological debates. Current foundamental physics concerns the non-linear thermodynamics of the quantum eld, whose range is made of far from equilibrium systems and whose basic mechanism of symmetries (patterns) formation supposes the spontaneous breaking of symmetries (SBS). SBS implies that such systems reach unpredictable states. Thus, evolutive and/or far from equilibrium systems are to be conceived primarily as processes and just in a secondary way as objects, for the information they display is always incomplete with respect to their evolution. Formally, this is due to their non-linear mathematical behaviour.This make a question about the ontology of such systems, given thatthe actual most widespread ontologies conceive existent entities just as objects(actualist ontologies). It is claimed that the fundamental dierence and advantage of category theoretic approach to foundation is that, instead of considering objects and operations for what they 'are', as it is in set theory, in and through category theory we are considering them for what they 'do'. This, of course, would constitute a signicative shifting in mathematical philosophy and in foundationof mathematical physics: from a Platonic to an Aristotelian ontology ofmathematics (and, then, of physics). Actually, providing a contribution to thisvery shift is what this paper want to be focused on. In fact, the implicit pointthe present investigation is concerned with is how to treat the potential innite:the modalization of the existence of each object of the domain of quanticationmeans a potentially innite variation of the domain of quantication. The Aristotelian notion of potentiality diers with the usual one (employed by Platonism and/or formalism and/or conceptualism) inasmuch it does not presupposes any actuality. For instance, it is well known that the Platonic presupposition of set theory consists in the fact "that each potential innite, if it is rigorously applicable mathematically, presupposes an actual innite" [Hallett (1984, p. 25)]. In turn, the formalist notion of (absolute) completeness derives directly from that, if only for the actuality of the information a formal system was intended to dispaly.

Sign in / Sign up

Export Citation Format

Share Document