Typed category theory-based micro-view emergency knowledge representation

Authors:
Qingquan Wang;Lili Rong
Affiliations:
Systems Engineering Institute, Dalian University of Technology, Dalian, China;Systems Engineering Institute, Dalian University of Technology, Dalian, China
Venue:
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Year:
2007

Citing 10
Cited 1

Principles of programming with complex objects and collection types

ICDT '92 Selected papers of the fourth international conference on Database theory
Categorical semantics of parallel program design

Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Connectors for Mobile Programs

IEEE Transactions on Software Engineering
A Theory-Based Representation for Object-Oriented Domain Models

IEEE Transactions on Software Engineering
An application of lattice theory to knowledge representation

Theoretical Computer Science - Modern algebra and its applications
Ontological methodology

International Journal of Human-Computer Studies
Category theory for operational semantics

Theoretical Computer Science - Selected papers of CMCS'03
Towards a mathematical theory of knowledge

Journal of Computer Science and Technology
Databases and the geometry of knowledge

Data & Knowledge Engineering
An approach to ontology for institutional facts in the semantic web

Information and Software Technology

Towards a Categorical Matching Method to Process High-Dimensional Emergency Knowledge Structures

ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

The emergency knowledge transferred is a special product which consists of knowledge pieces that can be reorganized according to requirements of various decision-making scenarios. Using typed-category theory we propose a new knowledge representation method for combining indispensable semantic information into a new categorical knowledge structure, knowledge piece category. The knowledge pieces are micro-ontologies enabling enhanced relationships among concepts in micro-view. Finally, we use knowledge matching to illuminate the application of knowledge pieces.