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 ‘linked data’
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.
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.