Archive for the ‘information flow framework’ Category

I Love it When a Plan Comes Together

Luckily a year ago I made a good choice in programming languages: Haskell. Language trends are harder to read. Think there’s a practical use for Second order Lambda Calculus with Polymorphism? I do. Category theory is embedded in the core libraries of the language which makes incorporating information flow and the logical environment of the Information Flow Framework a natural fit.

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.

Information Sharing and Tomorrow’s Knowledge Workers

Both public and private sectors are currently evaluating various information sharing capabilities based on Model Driven Architecture and the Semantic Web. The supply of knowledge workers for Model Driven Architecture is relatively high. Currently, the private sector reasonably satisfies demand for these capabilities. But knowledge workers for the Semantic Web are currently in short supply.