fix(satp): add check in satp to verify smart contract ontology syntax

[Tomas-Silva2187]

fix(satp): add check in satp to verify smart contract ontology syntax

Fixes the expected ontology format to match the format stated in the corresponding issue's description.
Completes the verifyOntology function that validates the existence and validity of all required ontology parameters.

Due to an issue, this new PR is a continuation from PR #3840.

Resolves #3746

Pull Request Requirements

• Rebased onto upstream/main branch and squashed into single commit to help maintainers review it more efficient and to avoid spaghetti git commit graphs that obfuscate which commit did exactly what change, when and, why.
• Have git sign off at the end of commit message to avoid being marked red. You can add -s flag when using git commit command. You may refer to this link for more information.
• Follow the Commit Linting specification. You may refer to this link for more information.

Character Limit

• Pull Request Title and Commit Subject must not exceed 72 characters (including spaces and special characters).
• Commit Message per line must not exceed 80 characters (including spaces and special characters).

A Must Read for Beginners
For rebasing and squashing, here's a must read guide for beginners.

[LordKubaya]

Please change the validators to another file in the ontology-manager folder.

Also, change the ontologies to be in the type of the issue.

[LordKubaya]

LGTM