Posts Tagged ‘curry-howard correspondence’

Values, Types and Foundations

Recaps my Values, Types and Foundations talk at the OMG September Technical Meeting. Describes the computational, logic and philosophical presentation topics. Describes the demonstrations based on Oleg Kiselov and Anton Setzer’s work in Haskell and Agda. Constrasts the approach with ISO 24707 Common Logic.

Peirce’s Semiotics in the Alignment of Formal Specifications Using Shared Concepts

Demonstrates the value of Perice’s semiotics in ontology alignment and unification. It shows that a) OWL SameAs is a degenerate case of using a global semiotic domain ontology based on Peirce’s thirdness or mediation; b) the semiotic domain provides deeper insights into how machine understanding can model human understanding; and c) how to use type inferencing with the Pellet description logic reasoner. There’s much more to be done than what this small example demonstrates. This example is just the beginning of developing a semiotic domain.