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 ‘ontology’
Danny Ayers made a request for comments on the state of the semantic web a few weeks ago. I’ll preface this post by saying the state of the semantic web is very good by which I mean some very good design decisions were made early on that ensured a vibrant academic research base, a broad marketplace for technology transfer and an eager community of technology providers to realize the vision of a web of meaning. I’m personally very positive overall on the state of the semantic web. The semantic web is now pretty close to the best of all possible worlds. (ha, ha, ha) All that being said it’s time to sharpen my pencil a bit and offer a critique on a few of the finer points of the state of the semantic web: representation and realism.
If you’re interested in the categories ontology mentioned in my post called “On a New List of Categories” and you’re looking for some background, check out Joseph Goguen’s work on algebraic semiotics. As described by Goguen in “On Notation” Peirce’s semiotics forms the basis for a relational theory of meaning for algebraic specifications.