On the traditional World Wide Web we all know and love, machines are used as brokers of content: they store, organize, request, route, transmit, receive and display content encapsulated as documents. In order for machines to process the content of documents automatically|for whatever purpose| they primarily require two things: machine-readable structure and semantics. Unfortunately, despite various advancements in the area of Natural Language Processing (NLP) down through the decades, modern computers still struggle to meaningfully process the idiosyncratic structure and semantics of natural language due to ambiguities present in grammar, coreference and word-sense.On the traditional World Wide Web we all know and love, machines are used as brokers of content: they store, organize, request, route, transmit, receive and display content encapsulated as documents. In order for machines to process the content of documents automatically|for whatever purpose| they primarily require two things: machine-readable structure and semantics. Unfortunately, despite various advancements in the area of Natural Language Processing (NLP) down through the decades, modern computers still struggle to meaningfully process the idiosyncratic structure and semantics of natural language due to ambiguities present in grammar, coreference and word-sense. Hence, machines require a more \formal" notion of structure and semantics using unambiguous grammar, referencing and vocabulary.