Skip to main content
SpringerLink
Log in

Sketch theory as a framework for knowledge management

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

In this paper, we give an overview of sketch theory as a knowledge management framework and discuss its strengths relative to logic, the semantic web and relational algebra. Sketch theory, for example, supports modularity among meta-data, instance data and uncertainty. It also provides a notion of constraint-preserving map. We explore Q-trees as a technique for inference with sketches and compare it to logical deduction. Ideas can be formulated in distinct ways even within a fixed formalism. We illustrate solution of this alignment problem using sketches and the notion of Morita equivalence of logical theories. Sketch theory provides rich notions of contextual view with which we compute illustrative examples. Finally, we outline a program for advancing sketch theory as a complement to other knowledge management technologies and discuss transformations between sketches and other models.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19

Similar content being viewed by others

Notes

  1. USPTO 8,209,331.

  2. http://www.kaggle.com/c/yandex-personalized-web-search-challenge.

  3. http://www.mta.ca/~rrosebru/project/Easik.

References

  1. Barr M, Wells C (1995) Category theory for computing science. Prentice-Hall, Upper Saddle River. http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf

  2. Carmody S, Leeming M, Walters R (1995) The Todd–Coxeter procedure and left kan extensions. J Symbolic Comput 19:459–488

    Article  MathSciNet  MATH  Google Scholar 

  3. Freyd P, Scedrov A (1990) Categories, allegories. North-Holland, Amsterdam

    MATH  Google Scholar 

  4. Gray JW (1989) The category of sketches as a model for algebraic semantics. In: Categories in computer science and logic, contemporary mathematics, vol 92. AMS, pp 109–135

  5. Hebeler J, Fischer M, Blace R, Perez-Lopez A (2009) Semantic web programming. Wiley Publishing, Inc., New York

    Google Scholar 

  6. Johnson M, Rosebrugh R (2002) Sketch data models, relational schema and data specifications. Electr Notes Theor Comput Sci 61(6):1–13

    Google Scholar 

  7. Johnson M, Rosebrugh R (2010) Ontology engineering, universal algebra and category theory. In: Poli R, Healy M, Kameas A (eds) Theory and applications of ontology: computer applications. Springer, Netherlands, pp 565–576

  8. Johnson M, Rosebrugh R, Wood R (2012) Lenses, fibrations and universal translations. Math Struct Comput Sci 22:25–42

    Article  MathSciNet  MATH  Google Scholar 

  9. Johnstone PT (2002) Sketches of an elephant: a topos theory compendium, Oxford logic guides, vol I–II. Oxford University Press, Oxford

    Google Scholar 

  10. McCune W (2005–2010) Prover9 and mace4. http://www.cs.unm.edu/~mccune/prover9/

  11. Rydeheard DE, Burstall RM (1988) Computational category theory. Prentice-Hall, Upper Saddle River. www.cs.man.ac.uk/~david/categories

  12. Wojtowicz RL (2013) Sketches, views and pattern-based reasoning. In: Proceedings of the 8th international conference on semantic technologies for intelligence, defense and security (STIDS 2013). George Mason University

Download references

Author information

Authors and Affiliations

  1. Baker Mountain Research Corporation, Yellow Spring, WV, USA

    Ralph L. Wojtowicz

  2. Shepherd University, Shepherdstown, WV, USA

    Ralph L. Wojtowicz

Authors
  1. Ralph L. Wojtowicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralph L. Wojtowicz.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wojtowicz, R.L. Sketch theory as a framework for knowledge management. Innovations Syst Softw Eng 12, 69–79 (2016). https://doi.org/10.1007/s11334-015-0265-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-015-0265-3

Keywords

Search

Navigation