Archive for the ‘model theory’ Category

Information Flow: A Web of Constraints on the Giant Global Graph

Information flows on the Giant Global graph because of regularities. Those regularities are the result of constraints on parts of the Giant Global Graph. The flow of information based on these constraints means there are WEBS of data, not THE web of data. Rick provides a number of recommendations for Linked Data.

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.

Linked Data: Interpretants and Interpretation

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.