Posted on March 21, 2010, 8:40 am, by rickmurphy, under

haskell,

information sharing,

intuitionism,

linked data,

linked open data,

logic,

model driven architecture,

peirce,

semantic web,

type theory.

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.

Tags:

algebraic specifications,

Common Algebraic Specification Language,

constructive and intuitionistic logic,

Coquand's Calculus of Constructions,

European Union,

Girard's Paradox,

haskell,

Haskell and Isabelle/HOL,

impredicative and predicative type systems,

LEJ Brouwer's Intuitionism and Formalism,

Martin-Lof's,

methodeutic.com,

Model Driven Architecture and the Semantic Web,

Object Management Group,

oCAML and Coq,

Proof General,

Ralph Hodgson,

Russell,

Russell's theory of types,

type hierarchies,

World Wide Web Consortium Comments Off |

**Read the rest of this entry »**
Posted on October 9, 2009, 4:29 pm, by rickmurphy, under

cognition,

consciousness,

haskell,

information theory,

linked open data,

logic,

model theory,

ontology,

peirce,

semantic web,

semantics,

semiotics.

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.

Posted on August 5, 2009, 12:44 pm, by rickmurphy, under

complex systems,

information sharing,

linked open data,

model theory,

ontology,

peirce,

pellet,

representation,

semantic web,

semantics,

semiotics.

Worked example in the semiotic domain of RDFS idioms from the Semantic Web for the Working Ontologist. Uses TopBraid Composer as the modeling environement.

Tags:

category theory for the working mathematician,

charles peirce,

Dean Allemang,

interpretant signifies sign,

mashup cookbook,

model theory,

object sign interpretant,

ogdena and richards,

openrdf sesame,

owl-dl,

peirce,

peirce secondness,

rdf model theory,

rdfs domain inference,

rdfs formal correctness,

RDFS idioms,

rdfs inference interpretant,

rdfs inference sign,

rdfs inference signifies,

rdfs material adequacy,

rdfs model theory,

RDFS patterns,

rdfs property union,

relate correlate,

relationship propagation,

secondness,

semantic web for the working ontologist,

semiotic domain,

semiotic domain ontology,

semiotic thesaurus,

semiotic vocabulary management,

semiotic web,

semiotics,

simple knowledge organization system,

skos,

TopBraid Composer,

triangle of meaning,

triangle of signification,

typing data by usage 1 Comment |

**Read the rest of this entry »**