Ologs: A categorical framework for knowledge representation

PLoS ONE

Volumn 7, Issue 1, 2012, Pages

  Spivak, David I ^a   Kent, Robert E ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b Ontologos   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCURACY; ARTICLE; COMPUTER; CONCEPTUAL FRAMEWORK; DATA BASE; INFORMATION PROCESSING; INFORMATION SYSTEM; INTERNAL CONSISTENCY; KNOWLEDGE; LANGUAGE; LEARNING; LINGUISTICS; MATHEMATICAL ANALYSIS; MATHEMATICAL MODEL; MATHEMATICS; NOMENCLATURE; ONTOLOGY LOG; SEMANTICS;

EID: 84856458778     PISSN: None     EISSN: 19326203     Source Type: Journal    
DOI: 10.1371/journal.pone.0024274     Document Type: Article

References (31)

1. Lawvere FW, Schanuel SH, (2009) Conceptual Mathematics. A First Introduction to Categories.Cambridge Cambridge University Press, second edition.
2. Sica G, eds. (2006) What is category theory? Milan, Italy Polimetrica.
3. Pierce BC, (1991) Basic Category Theory for Computer Scientists. Cambridge Massachusetts MIT Press.
4. Barr M, Wells C, (1990) Category Theory for Computing Science. Prentice Hall International Series in Computer Science. New York Prentice Hall International.
5. Awodey S, (2010) Category Theory, volume 52 of Oxford Logic Guides. Oxford Oxford University Press, second edition.
6. Lane SM, (1998) Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. New York Springer-Verlag, second edition.
7. Contributors Amino acid. Wikipedia, The Free Encyclopedia. Available: http://en.wikipedia.org/wiki/Amino_acid.
8. Chein M, Mugnier ML, (2008) Graph-based Knowledge Representation and Reasoning: Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing. London Springer.
9. Barr M, Wells C, (1985) Toposes, Triples and Theories, volume 278 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. New York Springer-Verlag.
10. Borgida A, (2007) Knowledge representation meets databases - a view of the symbiosys -. In: CEUR Workshop Procedings. volume 250, pp. 1-11. Invited talk and paper at the 20th International Workshop on Description Logics (DL 2007).
11. Healy MJ, Cavdell TP, (2004) Neural networks, knowledge and cognition: A mathematical semantic model based upon category theory. University of New Mexico, Electrical and Computer Engineering Technical Report TR-04-020.
12. Sowa J, (1992) Semantic networks. Available:http://www.jfsowa.com/pubs/semnet.htm.
13. Goguen J, Burstall R, (1992) Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39: 95-146.
14. Barwise J, Seligman J, (1997) Information Flow: The Logic of Distributed Systems, volume 44 of Cambridge Tracts in Theoretical Computer Science. Cambridge Cambridge University Press.
15. Sowa J, (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Pacific Grove, California Brooks/Cole.
16. Ganter B, Wille R, (1999) Formal Concept Analysis: Mathematical Foundations, volume 44 of Cambridge Tracts in Theoretical Computer Science. New York Springer. Translated from the German by Cornelia Franzke. Title of the original German edition: Formale Begriffesanalyse -Mathe maticische Grundlagen.
17. Kent RE, (2009) System consequence. In: Rudolph S, Dau F, Kuznetsov S, editors. Conceptual Structures: Leveraging Semantic Technologies, Springer, volume 5662 of Lecture Notes in Computer Science. pp. 201-218. The Proceedings of the 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia. Available: http://www.hse.ru/data/708/792/1224/system-consequence_Robert_E_Kent.pdf.
18. Kent RE, (2003) The IFF approach to the lattice of theories. IEEE P1600.1 the Standard Upper Ontology Working Group (SUO WG). Available:http://suo.ieee.org/IFF/work-in-progress/LOT/lattice-of-theories.pdf.
19. Tarlecki A, Burstall R, Goguen J, (1991) Some fundamental algebraic tools for the semantics of computation, Part III: Indexed categories. Theoretical Computer Science 91: 239-264.
20. Kent RE, (2005) Semantic integration in the information flow framework. In: Kalfoglou Y, Schorlemmer M, Sheth A, Staab S, Uschold M, editors. Semantic Interoperability and Integration. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum f̈ur Informatik (IBFI), number 04391 in Dagstuhl Seminar Proceedings. Available: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=41.
21. Johnson M, Rosebrugh R, Wood R, (2002) Entity relationship attribute designs and sketches. Theory and Application of Categories 10: 94-112.
22. Members, (2001) The Information Flow Framework (IFF). IEEE P1600.1 the Standard Upper Ontology Working Group (SUO WG). Start Document. Available:http://suo.ieee.org/IFF/.
23. Kent RE, (2003) The IFF foundation for ontological knowledge organization. In: Williamson NJ, Beghtol C, editors. Knowledge Organization and Classification in International Information Retrieval, Haworth, volume 37 of Cataloging & Classification Quarterlypp. 187-203. Invited chapte.
24. Makkai M, (1997) Generalized sketches as a framework for completeness theorems. Part I. Journal of Pure and Applied Algebra 115: 49-79.
25. nLab contributors Monomorphism. nLab, a wiki-lab for collaborative work on Mathematics, Physics and Philosophy. Available:http://ncatlab.org/nlab/show/monomorphism.
26. nLab contributors Epimorphism. nLab, a wiki-lab for collaborative work on Mathematics, Physics and Philosophy. Available:http://ncatlab.org/nlab/show/epimorphism.
27. Boolos GS, Burgess JP, Jeffrey RC, (2007) Computability and Logic. Cambridge Cambridge University Press, fifth edition.
28. The Coq proof assistant. Available:http://coq.inria.fr/.
29. Yeung R, Li SY, Cai N, (2006) Network coding theory. Foundations and trends in communications and information theory. Boston Now Publishers.
30. Mitchell TM, Betteridge J, Carlson A, Hruschka E, Wang RC, (2009) Populating the semantic web by macro-reading internet text. Proceedings of the 8th International Semantic Web Conference (ISWC 2009) 5823: 998-1002.
31. Mineau GW, (1992) Knowledge sharing: Starting with the integration of vocabularies. Conceptual Structures: Theory and Implementation 754: 34-45.