Skip to main content
SpringerLink
Log in

Typed Category Theory-Based Micro-view Emergency Knowledge Representation

  • Conference paper
Knowledge Science, Engineering and Management (KSEM 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4798))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rong, L.L.: Reorganizing the Knowledge in Government Documents for Quick Response. In: KSS’2005, Laxenburg, Austria (2005)

    Google Scholar 

  2. Wang, Q.Q., Rong, L.L.: Agile Knowledge Supply Chain for Emergency Decision-Making Support. Lecture Notes on Computer Science, vol. 4490, pp. 178–185. Springer, Heidelberg (2007)

    Google Scholar 

  3. ter Hofstede, A.H.M., Lippe, E., van der Weide, T.P.: Applications of a Categorical Framework for Conceptual Data Modeling. Acta Informatica 34, 927–963 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  4. Hoare, C.A.R.: Notes on an Approach to Category Theory for Computer Scientists. Constructive Methods in Computing Science 55, 245–305 (1989)

    MathSciNet  Google Scholar 

  5. Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of Programming with Complex Objects and Collection Types. Theoretical Computer Science 149(1), 3–48 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  6. Wermelinger, M., Fiadeiro, J.L.: Connectors for mobile programs. IEEE Transactions on Software Engineering 24(5), 331–341 (1998)

    Article  Google Scholar 

  7. Fiadeiro, J., Maibaum, T.: Categorical Semantics of Parallel Program Design, Science of Computer Programming. Science of Computer Programming 28(2), 111–138 (1997)

    Article  MATH  Google Scholar 

  8. Zhozhikashvili, A.V., Stefanyuk, V.L.: Category-theoretical patterns for problems of artificial intelligence. Journal of Computer and Systems Sciences International 38(5), 677–687 (1999)

    MATH  MathSciNet  Google Scholar 

  9. DeLoach, S.D., Hartrum, T.C.: A Theory-Based Representation for Object-Oriented Domain Models. IEEE Transactions on Software Engineering 26, 500–517 (2000)

    Article  Google Scholar 

  10. Lenisa, M., Power, J., Watanabe, H.: Category Theory for Operational Semantics. Theoretical Computer Science 327, 135–154 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  11. Krotzsch, M., Hitzler, P., Ehrig, M., Sure, Y.: Category Theory in Ontology Research: Concrete Gain from an Abstract Approach, http://www.aifb.uni-karlsruhe.de/WBS/phi/pub/

  12. Hitzler, P., Krtzsch, M., Ehrig, M., Sure, Y.: What Is Ontology Merging -A Category-Theoretical Perspective using Pushouts[J]. American Association for Artificial Intelligence (2005)

    Google Scholar 

  13. Kent, R.E.: The IFF Category Theory Ontology (2002), http://www.ontologos.org/Papers/IJCAI2001

  14. Brazhnik, O.: Databases and the geometry of knowledge. Data & Knowledge Engineering 61(2), 207–227 (2007)

    Article  Google Scholar 

  15. Johnson, M., Dampney, C.N.G.: On Category Theory as a (meta) Ontology for Information Systems Research. ACM 377(4), 1–10 (2001)

    MathSciNet  Google Scholar 

  16. Colomb, R.M., Dampney, C.N.G.: An approach to ontology for institutional facts in the semantic web. Information and Software Technology 47(12), 775–783 (2005)

    Article  Google Scholar 

  17. Poli, R.: Ontological Methodology, Int. J. Human-Computer Studies 56, 639–664 (2002)

    Article  Google Scholar 

  18. Herre, H., Heller, B.: General Formal Ontology (GFO), http://www.onto-med.de/en/theories

  19. Healy, M.J., Caudill, T.P.: Ontologies and Worlds in Category Theory: Implications For Neural Systems. Axiomathes 16, 165–214 (2006)

    Article  Google Scholar 

  20. Oles, F.J.: An application of lattice theory to knowledge representation. Theoretical Computer Science 249, 163–196 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  21. Lu, R Q.: Towards a mathematical theory of knowledge. Journal of Computer Science and Technology 20, 751–757 (2005)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems Engineering Institute, Dalian University of Technology, 116024 Dalian, China

    Qingquan Wang & Lili Rong

Authors
  1. Qingquan Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lili Rong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Zili Zhang Jörg Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, Q., Rong, L. (2007). Typed Category Theory-Based Micro-view Emergency Knowledge Representation. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_60

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-76719-0_60

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-76718-3

  • Online ISBN: 978-3-540-76719-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation