Archive for November 2009

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.