Not documenting failures causes them to be repeated. This repetition is waste because no new information is generated.

Inside black boxes you find programs. There are a lot of programming languages.

URIs are great for namespacing terms. However, the local names — after the last / — could be a free-for-all.

What is the “killer use case” for Reasoning, i.e., inferencing over a semantic graph database?