Functional-logic programming for web knowledge representation, Sharing and querying

Abstract

We propose a unified approach to semantically rich knowledge rep- resentation, querying and exchange for the Web, based on functional-logic pro- gramming. JavaScript- and JSON-based so-called information scripts serve as a unified knowledge representation and query format, with logical reasoning being a constraint solving or narrowing task. This way, our framework provides a highly versatile, easy to use and radically different alternative compared to conventional forms of knowledge representation and exchange for the Web.