Couvre l'ontologie comme un dépôt de connaissances avec des significations convenues, évolution, mise à jour continue et conception d'ontologie intelligente.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore le lien entre les théories physiques et les données empiriques, contrastant la mécanique quantique standard avec l'ontologie explicite des particules dans l'espace de Newtonian Mechanics.
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.
