Без заголовка

да-да. Хотя вебсемантик тоже иногда кличут графовыми, там путаница сильна. Два аспекта: навигация (поиск пути, запросы) и онтологические паттерны (кодирование данных о мире). Оба нужно решать. Большинство работ "программистские", т.е. про навигацию. Но нужны также прорывы в моделировании данных, т.е. представление данных предметной области -- а это паттерны. Мы в .15926 Editor существенно продвинулись с паттернами, и начинаем уже залезать по этой линии в NLP (экстрагирование онтологических паттернов/паттернов данных из текстов). Но затем по полученному на основе паттернов данных графу нужно ползать, "навигировать". В связи с этим пытаемся разобраться с языком этого ползания (языком запросов): логический ли он должен быть, или функциональный, или ещё какой (ибо ООП не предлагать, другая онтологическая парадигма с "объектами и их атрибутами"). "Декларативность" тут слабый термин, я бы его предпочёл не использовать, в него слишком много чего попадает винегретом.