Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.
Archive for the ‘peirce’ Category
Linked Data: Interpretants and Interpretation proposes an updated model theory to advance linked data using an elaborated triangle of meaning. Describes linked data as the internet-scale open government platform.
Worked example in the semiotic domain of RDFS idioms from the Semantic Web for the Working Ontologist. Uses TopBraid Composer as the modeling environement.