Formalized Web-based Knowledge Representation

For quite a few years now, Tim Berners-Lee, the creator of the world-wide web, and others have tried to create a Semantic Web where web documents include actual machine-usable knowledge in the form of facts, relations, and rules. Recently there has been an uptick in interest and activity, so much so that Franz Inc., the home of AllegroLisp, now have a separate set of commercial products for doing Semantic Web processing. Interestingly, much of the interest is coming from social networking application developers, using the network graph processing aspects of these technologies more than the semantic information aspect.

The core problems in decentralizing knowledge on the web are

There are two basic answers to representing structure and relationships

The standard answer for name conflicts is to use Internationalized Resource Identifiers (IRIs), i.e., URL syntax and semantics. What worked for millions of documents on 1000s of web servers can work for concepts!

The combination of JSON and IRI's is called JSON-LD. The combination of triples and IRI's is called RDF.