The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility