THE MATHEMATICAL PROOFS: The Process Ontology Directory