I’ve been heads down following from my past work on Model Driven Architecture, Ontology and Logic(s). The questions that arise naturally in the course of studying these topics lead me to closely examine quantification and type systems. Higher rank types provide both a mechanism for polymorphism and high assurance in the subjects that motivated my study.
Posts Tagged ‘semantic web’
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.
I think there’s a very important connection between LOD and President Obama’s Transparency and Open Government Directive (TOGD). Bear with me while I explain. First, the Internet design principles share a common set of values with TOGD. See Tim Berner’s Lee’s The World Wide Web and the Web of Life. Second, LOD is the only way to achieve the three goals in the TOGD – transparency, participation and collaboration – at Internet scale. Why Internet scale? Because only the Internet provides a broad enough reach to permeate today’s society.