Explore les ontologies populaires et les bases de connaissances telles que WordNet, WikiData, Google Knowledge Graph et Schema.org, ainsi que les ensembles de données ouvertes liées.
Se penche sur les aspects philosophiques de la physique quantique, explorant la non-localité, les problèmes de mesure et l'effondrement de la fonction d'onde.
Explore les systèmes de raisonnement automatisés pratiques comme TPTP, TSTP et CASC, en soulignant l'importance de la cohérence et des développements futurs.
