- UML -- это наше всё. Не комментирую, ибо будет религиозная война.
- ORM2 -- одновременно проще и круче UML. Например, именно он выбран для методологии DEMO. Чаще всего используется для проектирования баз данных. Подробности и софт -- http://www.ormfoundation.org/, теория и сравнение с UML -- http://www.orm.net/
- EXPRESS -- принят в промышленности, закреплен стандартом (http://en.wikipedia.org/wiki/ISO_10303-11). Основа всей системы STEP (семейства ISO 10303), базис для ISO 15926-2.
- OWL/RDF -- это semantic web, но он стремительно захватывает лидерство в промышленности (в том же ISO 15926-7), перешибая EXPRESS. Резон простой: делает то же самое, но бесплатного софта для него будет больше, и программистов будет найти легче.
- Gellish - http://gellish.wiki.sourceforge.net/ -- хвастается, что может переписать в себя то, что сказано на UML, и ORM2, и EXPRESS, ибо содержит в себе более базовые концепты, позволяющие описывать на нем концепты из UML, ORM2 и EXPRESS. Он же и сам себе язык запросов.
Для полноты картины не удержусь привести язык классификаторов и проекций ОргМастера (http://big.spb.ru/bigmaster/), но этот язык никак не специфицирован и разработчики не любят разговоры на эту тему. Хотя язык там вполне полноценный и рабочий, не хуже прочих и внутри более всего похож на Gellish.
Сюда же можно отнести СYCL из www.cyc.com и так далее -- до бесконечности.
И еще куча языков моделирования отдельных аспектов жизни -- типа IDEF0 для описания функций (ибо для описания процессов нужен IDEF3).