BioSpace Collaborative

Academic/Biomedical Research
News & Jobs
Biotechnology and Pharmaceutical Channel Medical Device and Diagnostics Channel Clinical Research Channel BioSpace Collaborative    Job Seekers:  Register | Login          Employers:  Register | Login  

NEWSLETTERS
Free Newsletters
Archive
My Subscriptions

NEWS
News by Subject
News by Disease
News by Date
PLoS
Search News
Post Your News
JoVE

CAREER NETWORK
Job Seeker Login
Most Recent Jobs
Search Jobs
Post Resume
Career Fairs
Career Resources
For Employers

HOTBEDS
Regional News
US & Canada
  Biotech Bay
  Biotech Beach
  Genetown
  Pharm Country
  BioCapital
  BioMidwest
  Bio NC
  BioForest
  Southern Pharm
  BioCanada East
  C2C Services & Suppliers™
Europe
Asia

DIVERSITY

PROFILES
Company Profiles

INTELLIGENCE
Research Store

INDUSTRY EVENTS
Research Events
Post an Event
RESOURCES
Real Estate
Business Opportunities

PLoS By Category | Recent PLoS Articles
Anesthesiology and Pain Management - Biochemistry - Biophysics - Biotechnology - Cardiovascular Disorders - Chemical Biology - Chemistry - Computer Science - Critical Care and Emergency Medicine - Dermatology - Diabetes and Endocrinology - Ecology - Evidence-Based Healthcare - Gastroenterology and Hepatology - Geriatrics - Hematology - Immunology - Infectious Diseases - Mathematics - Mental Health - Microbiology - Molecular Biology - Nephrology - Neurological Disorders - Neuroscience - Non-Clinical Medicine - Nutrition - Obstetrics - Oncology - Ophthalmology - Otolaryngology - Pathology - Pediatrics and Child Health - Pharmacology - Physics - Physiology - Public Health and Epidemiology - Radiology and Medical Imaging - Respiratory Medicine - Rheumatology - Science Policy - Surgery - Urology - Virology - Women's Health

Ologs: A Categorical Framework for Knowledge Representation
Published: Tuesday, January 31, 2012
Author: David I. Spivak et al.

by David I. Spivak, Robert E. Kent

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 relational database schema; in fact an olog can serve as a data repository if desired. Unlike database schemas, which are generally difficult to create or modify, ologs are designed to be user-friendly enough that authoring or reconfiguring an olog is a matter of course rather than a difficult chore. It is hoped that learning to author ologs is much simpler than learning a database definition language, despite their similarity. We describe ologs carefully and illustrate with many examples. As an application we show that any primitive recursive function can be described by an olog. We also show that ologs can be aligned or connected together into a larger network using functors. The various methods of information flow and institutions can then be used to integrate local and global world-views. We finish by providing several different avenues for future research.
  More...