Archive for the ‘semantic web’ Category

A Winter of Philosophy and Logic

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.

1896: The Year We Did Linked Data Right

Sometimes we already have things right. Such is the case with RDF and Existential Graphs of Charles Sanders Peirce, or so said Pat Hayes of the Institute for Human Machine Cognition in his invited keynotes at ISWC 2009 called BLOGIC: Now What’s in a Link.

Observations from OWL Experiences and Directions 2009

Describes my experience at OWL Experiences and Design 2009. Relates a conversation with Peter Patel-Schneider about the description logic community’s choice of the terms concept and role. More of my opinion on how the philosophies of semiotics, realism and nominalism inform technology implementation. Provides and update on my work with higher order logic and Haskell.