Ontologies and Logic Reasoning as Tools in Humanities?