4 ms·

This has been the semantic web dream for decades now.

• triska 5y ago
  Yes indeed, although the semantic web chose a much more convoluted set of technologies without the syntactic and conceptual coherence and simplicity of actual logic programming languages, thus making reasoning about everything extremely complex and inconvenient in comparison. I think this is a severe handicap when using these technologies in practice. All automated reasoning is by necessity exclusively syntactic in nature since the meaning of processed symbols is inaccessible to a machine, therefore a careful consideration of syntactic aspects is very important to ensure easy analysis and meta-interpretation of logic programs and queries. As I see it, a good formalism for knowledge representation makes it easy to reason about the knowledge and also about all programs and queries that themselves reason about the knowledge, enabling easy meta-interpretation and coherent extension languages.