Ologs: A Categorical Framework for Knowledge Representation

In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relationa...

Descripción completa

Detalles Bibliográficos
Autores principales: Spivak, David I., Kent, Robert E.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Public Library of Science 2012
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3269434/
https://www.ncbi.nlm.nih.gov/pubmed/22303434
http://dx.doi.org/10.1371/journal.pone.0024274