Proofs and Refutations

The semantic web or an enterprise knowledge graph is a set of statements of logic with global context represented in machine-interpretable form that is also readable and understandable to humans (so that those statements can be verified) that are usable by intelligent software agents . But before you use those statements of logic you want to know the statements are correct. That set of statement of logic forms a theory. Ontological commitment or commitment to a theory specifies what set of statements you commit to. Keeping in mind that everything is miscellaneous , somehow work can get done. " Blind commitment to a theory is not an intellectual virtue: it is an intellectual crime ." That statement is attributed to Imre Lakatos. Lakatos points out the importance of critical thinking and skepticism in intellectual pursuits such as coming up with a theory. He suggests that blindly adhering to a theory without questioning its validity or considering alterna...