The Ordered List Ontology (Olo) provides, as its name implies, a small number of terms for use describing ordered lists. This help to rectify the faults of other list‐specification mechanisms in consort with Owl; Lists are hard to reason about and Containers require an implicit understanding of which Owl does not provide.

This ontology interprets Ordered Lists as Aggregations, and their Slots as a kind of Proxy. This makes them an ergonomic extension to the mechanisms specified in .