> This agreement has a name: an ontology. Ontology is a formal specification of types, the properties they carry, and the relationships they may have. Its unit is the triple, one fact expressed as subject, predicate, object.

Er... nope.

In the limited context of OWL and RDF, that's what an ontology is. It has a much larger meaning outside of that context. As M-W puts it, ontology is "the branch of metaphysics concerned with the nature and relations of being."

Projected into computer science, an ontology is a formal model of concepts in a domain, their properties and relationships, along with axioms or constraints that apply to those concepts.

The "triple" described in the quote is an implementation detail, how a particular formalism (OWL and RDF) chooses to represent a rather pale shadow of what an ontology is conceptually.